A relational representation of quasi-Boolean algebras
From MaRDI portal
Publication:1153906
DOI10.1305/ndjfl/1093870147zbMath0464.03052MaRDI QIDQ1153906
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
03G10: Logical aspects of lattices and related structures
06D30: De Morgan algebras, ?ukasiewicz algebras (lattice-theoretic aspects)
08A02: Relational systems, laws of composition
Related Items
RELEVANCE LOGICS AND RELATION ALGEBRAS, A Weakening of Alpha Graphs: Quasi-Boolean Algebras, 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