A De Morgan algebra whose truth carrier Ω is totally ordered; by the chain-normality theorem this is automatically a Kleene lattice. More...

Concept definition

template<typename L>
concept dedekind::category::IsBoundedDeMorganChain = 
    IsDeMorganAlgebra<L> && std::totally_ordered<typename L::Ω> &&
    
    !std::floating_point<typename L::Ω>

Detailed Description

A De Morgan algebra whose truth carrier Ω is totally ordered; by the chain-normality theorem this is automatically a Kleene lattice.