dedekind::category::IsBooleanLogic Concept Reference

A bounded De Morgan chain whose reflection is a genuine complement (a∧¬a=⊥, a∨¬a=⊤); on a chain this forces the 2-element case 𝔹. More...

Concept definition

template<typename L>
concept dedekind::category::IsBooleanLogic = 
    IsBoundedDeMorganChain<L> && logic_is_complemented_v<L>

Detailed Description

A bounded De Morgan chain whose reflection is a genuine complement (a∧¬a=⊥, a∨¬a=⊤); on a chain this forces the 2-element case 𝔹.