The following pages link to (Q3861449):
Displayed 23 items.
- Reductio ad contradictionem: an algebraic perspective (Q295913) (← links)
- Super-De Morgan functions and free De Morgan quasilattices (Q403200) (← links)
- A functional completeness theorem for De Morgan functions. (Q741709) (← links)
- Congruence lattices of symmetric extended De Morgan algebras. (Q745935) (← links)
- Expansions of semi-Heyting algebras. I: Discriminator varieties (Q763318) (← links)
- Principal congruences on some lattice-ordered algebras (Q914716) (← links)
- III-homomorphisms and III-congruences on posets (Q947825) (← links)
- A necessary and sufficient condition for a product relation to be total (Q1057295) (← links)
- De Morgan algebras are universal (Q1089017) (← links)
- Coherent De Morgan algebras (Q1102309) (← links)
- Congruence relations on De Morgan algebras (Q1121298) (← links)
- Universal algebras (Q1173984) (← links)
- A non-finitely based quasi-variety of De Morgan algebras (Q1770609) (← links)
- On the structure of varieties with equationally definable principal congruences. I (Q1839272) (← links)
- On Ockham algebras: Congruence lattices and subdirectly irreducible algebras (Q1902556) (← links)
- A subclass of Ockham algebras (Q1928139) (← links)
- The lattice of kernel ideals of a balanced pseudocomplemented Ockham algebra. (Q2016063) (← links)
- De Morgan functions and free De Morgan algebras. (Q2248023) (← links)
- Compatibly involutive residuated lattices and the Nelson identity (Q2317520) (← links)
- (Q4606689) (← links)
- (Q4612556) (← links)
- THE LATTICE OF SUPER-BELNAP LOGICS (Q5880424) (← links)
- (Q5886680) (← links)