Algebraic completeness results for R-mingle and its extensions

Cited In (71)

Semilinear De Morgan monoids and epimorphisms
Title not available (Why is that?)
Grounding rules for (relevant) implication
Sugihara algebras and Sugihara monoids: Multisorted dualities
R-Mingle is Nice, and so is Arnon Avron
IN MEMORIAM: J. MICHAEL DUNN, 1941–2021
The Weak Variable Sharing Property
On pretabular extensions of relevance logic
2007 Spring Meeting of the Association for Symbolic Logic
Nilpotent Minimum Logic NM and Pretabularity
Semi-implication: a chapter in universal logic
Two pretabular linear extensions of relevance logic R
The structure of finite commutative idempotent involutive residuated lattices
A ``reply to my ``critics
Semantics for relevant logics
A Routley-Meyer type semantics for relevant logics including $\text B_{\text r}$ plus the disjunctive syllogism
Relevant Robinson's arithmetic
Varieties of De Morgan monoids: minimality and irreducible algebras
An alternative semantics for quantified relevant logic
Paraconsistency and the need for infinite semantics
The principle of separation of variables in propositional logics
Epimorphisms in varieties of subidempotent residuated structures
On the lattice of quasivarieties of Sugihara algebras
Natural Language Versus Formal Language
Subprevarieties versus extensions. Application to the logic of paradox
A Kripke-style semantics for R-mingle using a binary accessibility relation
Four-valued expansions of Dunn-Belnap's logic. I: Basic characterizations
$\mathbf{RM}$ and its nice properties
Idempotent residuated structures: Some category equivalences and their applications
The Story of $$\gamma $$ γ
A strongly finite logic with infinite degree of maximality
ASSERTIONALLY EQUIVALENT QUASIVARIETIES
Fragments of R-mingle
Skew metrics valued in Sugihara semigroups
Aggregation and idempotence
Subquasivarieties of implicative locally-finite quasivarieties
Theorems of Alternatives for Substructural Logics
There are $2^{\aleph_ 0}$ logics with the relevance principle between R and RM
Deduction theorems within RM and its extensions
Residuated Structures, Concentric Sums and Finiteness Conditions
Representable idempotent commutative residuated lattices
The completeness of S
Group representation for even and odd involutive commutative residuated chains
Checking admissibility using natural dualities
The existence of matrices strongly adequate for E, R and their fragments
Single axioms and axiom-pairs for the implicational fragments of $\mathbf{R} $, R-Mingle, and some related systems
Many-place sequent calculi for finitely-valued logics
There exists an uncountable set of pretabular extensions of the relevant logic R and each logic of this set is generated by a variety of finite height
A category equivalence for odd Sugihara monoids and its applications
Algebraic Kripke-style semantics for relevance logics
Deduction theorems for RM and its extensions
Varieties of De Morgan monoids: covers of atoms
The Fraser-Horn and Apple Properties
Grounding principles for (relevant) implication
Two maximality results for the lattice of extensions of $\vdash_{\mathbf{RM}}$
$\mathbf R$ and relevance principle revisited
Paraconsistent analytic implication
Simple axiomatizations for pretabular classical relevance logics
Sugihara algebras: admissibility algebras via the test spaces method
RELEVANCE LOGICS AND RELATION ALGEBRAS
A second pretabular classical relevance logic
Two, three, four, infinity: the path to the four-valued logic and beyond
First-degree entailment and structural reasoning
Craig interpolation for semilinear substructural logics
Paraconsistent constructive logic with strong negation as a contraction-free relevant logic
Functions definable in Sugihara algebras and their fragments. I
LC and its pretabular relatives
A pretabular classical relevance logic
Algebraic aspects of deduction theorems
Implicational F-structures and implicational relevance logics
Structure theorems for idempotent residuated lattices

This page was built for publication: Algebraic completeness results for R-mingle and its extensions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5638267)