A relational representation of quasi-Boolean algebras

DOI10.1305/NDJFL/1093870147MaRDI QIDQ1153906zbMATH OpenOpenAlexFDO

Authors J. Michael Dunn

Publication date 1982

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1305/ndjfl/1093870147

Mathematics Subject Classification ID

Logical aspects of lattices and related structures (03G10) De Morgan algebras, ?ukasiewicz algebras (lattice-theoretic aspects) (06D30) Relational systems, laws of composition (08A02)

Cited in

(9)

• Sequent calculi for semi-De Morgan and De Morgan algebras
• Basic quasi-Boolean expansions of relevance logics
• Positive fragments of relevance logic and algebras of binary relations
• Mereocompactness and Duality for Mereotopological Spaces
• RELEVANCE LOGICS AND RELATION ALGEBRAS
• A Weakening of Alpha Graphs: Quasi-Boolean Algebras
• Finite model property in normal extensions of Euclidean quasi-Boolean modal logics
• Representing Sugihara monoids via weakening relations
• Kripke-completeness and sequent calculus for quasi-Boolean modal logic

This page was built for publication: A relational representation of quasi-Boolean algebras

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