Implication algebras and implication semigroups of binary relations

DOI10.1007/978-3-031-28083-2_12arXiv2301.02266OpenAlexW4323527369MaRDI QIDQ6174423

Jaš Šemrl, Andrew Lewis-Smith

Publication date: 17 August 2023

Published in: Relational and Algebraic Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2301.02266

zbMATH Keywords

implication algebrasimplication semigroupsrepresentability as binary relations

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites Work

• Unnamed Item
• Relation algebras by games
• The structure of generalized BI-algebras and weakening relation algebras
• An algebraic approach to non-classical logics
• Relation algebras as residuated Boolean algebras
• Undecidability of representability for lattice-ordered semigroups and ordered complemented semigroups
• Undecidability of representability as binary relations
• Undecidability of Algebras of Binary Relations
• Weakening Relation Algebras and FL$$^2$$-algebras
• Embeddability and the Word Problem

This page was built for publication: Implication algebras and implication semigroups of binary relations