Algebraic completeness results for R-mingle and its extensions
From MaRDI portal
Publication:5638267
DOI10.2307/2271149zbMath0231.02024OpenAlexW1976553883MaRDI QIDQ5638267
Publication date: 1970
Published in: The Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2271149
Related Items (70)
Deduction theorems within RM and its extensions ⋮ IN MEMORIAM: J. MICHAEL DUNN, 1941–2021 ⋮ Representable idempotent commutative residuated lattices ⋮ Algebraic aspects of deduction theorems ⋮ Group representation for even and odd involutive commutative residuated chains ⋮ RELEVANCE LOGICS AND RELATION ALGEBRAS ⋮ \(\mathbf R\) and relevance principle revisited ⋮ Structure theorems for idempotent residuated lattices ⋮ Paraconsistent constructive logic with strong negation as a contraction-free relevant logic ⋮ Many-place sequent calculi for finitely-valued logics ⋮ Unnamed Item ⋮ Relevant Robinson's arithmetic ⋮ A category equivalence for odd Sugihara monoids and its applications ⋮ A pretabular classical relevance logic ⋮ VARIETIES OF DE MORGAN MONOIDS: COVERS OF ATOMS ⋮ Semilinear De Morgan monoids and epimorphisms ⋮ Semantics for relevant logics ⋮ The Weak Variable Sharing Property ⋮ Skew metrics valued in Sugihara semigroups ⋮ Grounding principles for (relevant) implication ⋮ ASSERTIONALLY EQUIVALENT QUASIVARIETIES ⋮ A second pretabular classical relevance logic ⋮ Nilpotent Minimum Logic NM and Pretabularity ⋮ Checking Admissibility Using Natural Dualities ⋮ Residuated Structures, Concentric Sums and Finiteness Conditions ⋮ Epimorphisms in varieties of subidempotent residuated structures ⋮ Varieties of De Morgan monoids: minimality and irreducible algebras ⋮ Sugihara algebras and Sugihara monoids: Multisorted dualities ⋮ Algebraic Kripke-style semantics for relevance logics ⋮ $$\mathbf {RM}$$ RM and its Nice Properties ⋮ Single Axioms and Axiom-Pairs for the Implicational Fragments of $$\mathbf {R}$$ R , R-Mingle, and Some Related Systems ⋮ LC and Its Pretabular Relatives ⋮ The Story of $$\gamma $$ γ ⋮ A “Reply” to My “Critics” ⋮ Natural Language Versus Formal Language ⋮ Two, Three, Four, Infinity: The Path to the Four-Valued Logic and Beyond ⋮ First-Degree Entailment and Structural Reasoning ⋮ The structure of finite commutative idempotent involutive residuated lattices ⋮ Two pretabular linear extensions of relevance logic R ⋮ AGGREGATION AND IDEMPOTENCE ⋮ A Routley-Meyer type semantics for relevant logics including \(\text B_{\text r}\) plus the disjunctive syllogism ⋮ Fragments of R-mingle ⋮ A Kripke-style semantics for R-mingle using a binary accessibility relation ⋮ Functions definable in Sugihara algebras and their fragments. I ⋮ 2007 Spring Meeting of the Association for Symbolic Logic ⋮ The principle of separation of variables in propositional logics ⋮ A strongly finite logic with infinite degree of maximality ⋮ Subquasivarieties of implicative locally-finite quasivarieties ⋮ Deduction theorems for RM and its extensions ⋮ The completeness of S ⋮ The Fraser-Horn and Apple Properties ⋮ The existence of matrices strongly adequate for E, R and their fragments ⋮ Sugihara algebras: admissibility algebras via the test spaces method ⋮ Simple axiomatizations for pretabular classical relevance logics ⋮ An alternative semantics for quantified relevant logic ⋮ On the lattice of quasivarieties of Sugihara algebras ⋮ Paraconsistency and the need for infinite semantics ⋮ Two maximality results for the lattice of extensions of \(\vdash_{\mathbf{RM}}\) ⋮ Four-valued expansions of Dunn-Belnap's logic (I): Basic characterizations ⋮ Grounding rules for (relevant) implication ⋮ Idempotent residuated structures: Some category equivalences and their applications ⋮ 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 ⋮ There are \(2^{\aleph_ 0}\) logics with the relevance principle between R and RM ⋮ Semi-implication: A Chapter in Universal Logic ⋮ Paraconsistent analytic implication ⋮ Theorems of Alternatives for Substructural Logics ⋮ R-Mingle is Nice, and so is Arnon Avron ⋮ Subprevarieties versus extensions. Application to the logic of paradox ⋮ Implicational F-structures and implicational relevance logics ⋮ Craig interpolation for semilinear substructural logics
This page was built for publication: Algebraic completeness results for R-mingle and its extensions
