scientific article; zbMATH DE number 1501646

MaRDI QIDQ4500396zbMATH OpenFDO

Authors Jean-Yves Béziau

Publication date 14 November 2000

zbMATH Keywords

De Morgan latticelaw of excluded middleparaconsistent De Morgan logicparaconsistent lattice

Mathematics Subject Classification ID

Paraconsistent logics (03B53) Logical aspects of lattices and related structures (03G10)

Recommendations

• A lattice of the paracomplete calculi
• De Morgan almost distributive lattices
• Constructive logic and the Medvedev lattice
• Implicational classes of De Morgan lattices
• Lattices of Intermediate Theories via Ruitenburg's Theorem
• The Paraconsistent Logics PJ
• Paraconsistent logic and model theory
• scientific article; zbMATH DE number 1471993
• scientific article; zbMATH DE number 4002342
• Negations and contrapositions of complete lattices

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4500396)