POSITIVE FRAGMENTS OF RELEVANCE LOGIC AND ALGEBRAS OF BINARY RELATIONS

DOI10.1017/S1755020310000249zbMath1231.03020MaRDI QIDQ3006000

Szabolcs Mikulás, Robin Hirschl

Publication date: 10 June 2011

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

Mathematics Subject Classification ID

Equational logic, Mal'tsev conditions (08B05) Quasivarieties (08C15) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Cylindric and polyadic algebras; relation algebras (03G15)

Related Items

Algorithmic correspondence for relevance logics, bunched implication logics, and relation algebras via an implementation of the algorithm \textsf{PEARL} ⋮ Axiomatizability of positive algebras of binary relations ⋮ Lower semilattice-ordered residuated semigroups and substructural logics

Cites Work

• Relation algebras by games
• A relational representation of quasi-Boolean algebras
• Lambek calculus and its relational semantics: Completeness and incompleteness
• A completeness theorem for Kleene algebras and the algebra of regular events
• Atom structures of cylindric algebras and relation algebras
• Relation algebras with \(n\)-dimensional relational bases
• Representations of distributive lattice-ordered semigroups with binary relations
• Representable semilattice-ordered monoids
• On representable relation algebras
• Representability is not decidable for finite relation algebras
• Strongly representable atom structures of cylindric algebras
• RELEVANCE LOGIC AND THE CALCULUS OF RELATIONS
• Algebras of Relations and Relevance Logic
• A BRIEF SURVEY OF FRAMES FOR THE LAMBEK CALCULUS
• Complete representations in algebraic logic
• Completely Representable Relation Algebras
• RELEVANCE LOGICS AND RELATION ALGEBRAS
• The Class of Representable Ordered Monoids has a Recursively Enumerable, Universal Axiomatisation but it is Not Finitely Axiomatisable
• Canonical extensions and relational completeness of some substructural logics
• Boolean Algebras with Operators
• Relation algebras from cylindric algebras. II

This page was built for publication: POSITIVE FRAGMENTS OF RELEVANCE LOGIC AND ALGEBRAS OF BINARY RELATIONS