Algebras of Relations and Relevance Logic

DOI10.1093/LOGCOM/EXN099zbMath1173.03048OpenAlexW1964870329MaRDI QIDQ3623220

Szabolcs Mikulás

Publication date: 16 April 2009

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/exn099

zbMATH Keywords

completenessrelation algebrasrelevance logicfinite axiomatizabilityDe Morgan monoids

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Cylindric and polyadic algebras; relation algebras (03G15)

Related Items (6)

Relation algebras of Sugihara, Belnap, Meyer, and Church ⋮ RELEVANCE LOGIC AND THE CALCULUS OF RELATIONS ⋮ POSITIVE FRAGMENTS OF RELEVANCE LOGIC AND ALGEBRAS OF BINARY RELATIONS ⋮ Arrows Pointing at Arrows: Arrow Logic, Relevance Logic, and Relation Algebras ⋮ Lower semilattice-ordered residuated semigroups and substructural logics ⋮ Tarskian Classical Relevant Logic

This page was built for publication: Algebras of Relations and Relevance Logic