Positive fragments of relevance logic and algebras of binary relations
From MaRDI portal
Publication:3006000
Recommendations
Cites work
- A BRIEF SURVEY OF FRAMES FOR THE LAMBEK CALCULUS
- A completeness theorem for Kleene algebras and the algebra of regular events
- A relational representation of quasi-Boolean algebras
- Algebras of Relations and Relevance Logic
- Atom structures of cylindric algebras and relation algebras
- Boolean Algebras with Operators
- Canonical extensions and relational completeness of some substructural logics
- Complete representations in algebraic logic
- Completely Representable Relation Algebras
- Lambek calculus and its relational semantics: Completeness and incompleteness
- On representable relation algebras
- RELEVANCE LOGIC AND THE CALCULUS OF RELATIONS
- RELEVANCE LOGICS AND RELATION ALGEBRAS
- Relation algebras by games
- Relation algebras from cylindric algebras. II
- Relation algebras with \(n\)-dimensional relational bases
- Representability is not decidable for finite relation algebras
- Representable semilattice-ordered monoids
- Representations of distributive lattice-ordered semigroups with binary relations
- Strongly representable atom structures of cylindric algebras
- The Class of Representable Ordered Monoids has a Recursively Enumerable, Universal Axiomatisation but it is Not Finitely Axiomatisable
Cited in
(8)- Axiomatizability of positive algebras of binary relations
- On Positive Relational Calculi
- Weakly associative relation algebras hold the key to the universe
- Relation algebras and \(\mathbf{R}\)
- Positive Sugihara monoids
- Lower semilattice-ordered residuated semigroups and substructural logics
- RELEVANCE LOGICS AND RELATION ALGEBRAS
- Algorithmic correspondence for relevance logics, bunched implication logics, and relation algebras via an implementation of the algorithm \textsf{PEARL}
This page was built for publication: Positive fragments of relevance logic and algebras of binary relations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3006000)