Algebraic completeness results for R-mingle and its extensions
From MaRDI portal
(Redirected from Publication:5638267)
Cited in
(78)- Structure theorems for idempotent residuated lattices
- Two pretabular linear extensions of relevance logic R
- Implicational F-structures and implicational relevance logics
- The structure of finite commutative idempotent involutive residuated lattices
- A ``reply to my ``critics
- A Routley-Meyer type semantics for relevant logics including \(\text B_{\text r}\) plus the disjunctive syllogism
- Semantics for relevant logics
- Relevant Robinson's arithmetic
- Varieties of De Morgan monoids: minimality and irreducible algebras
- Semilinear De Morgan monoids and epimorphisms
- An alternative semantics for quantified relevant logic
- The principle of separation of variables in propositional logics
- Paraconsistency and the need for infinite semantics
- Epimorphisms in varieties of subidempotent residuated structures
- Variable domain first-order first-degree entailment and some of its children
- On the lattice of quasivarieties of Sugihara algebras
- Natural Language Versus Formal Language
- A Kripke-style semantics for R-mingle using a binary accessibility relation
- Subprevarieties versus extensions. Application to the logic of paradox
- scientific article; zbMATH DE number 7536428 (Why is no real title available?)
- Piggybacking over unbounded distributive lattices
- \(\mathbf{RM}\) and its nice properties
- Four-valued expansions of Dunn-Belnap's logic. I: Basic characterizations
- The Story of \gamma γ
- Idempotent residuated structures: Some category equivalences and their applications
- A strongly finite logic with infinite degree of maximality
- Grounding rules for (relevant) implication
- Fragments of R-mingle
- ASSERTIONALLY EQUIVALENT QUASIVARIETIES
- Skew metrics valued in Sugihara semigroups
- Sugihara algebras and Sugihara monoids: Multisorted dualities
- Subquasivarieties of implicative locally-finite quasivarieties
- Entailment, mingle and binary accessibility
- There are \(2^{\aleph_ 0}\) logics with the relevance principle between R and RM
- Aggregation and idempotence
- Left variable inclusion logics associated with classical logic
- Theorems of Alternatives for Substructural Logics
- Deduction theorems within RM and its extensions
- Residuated Structures, Concentric Sums and Finiteness Conditions
- Totally ordered inverse commutative residuated lattices
- R-Mingle is Nice, and so is Arnon Avron
- Representable idempotent commutative residuated lattices
- The completeness of S
- Group representation for even and odd involutive commutative residuated chains
- The existence of matrices strongly adequate for E, R and their fragments
- Checking admissibility using natural dualities
- 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
- IN MEMORIAM: J. MICHAEL DUNN, 1941–2021
- The Weak Variable Sharing Property
- Representing Sugihara monoids via weakening relations
- On pretabular extensions of relevance logic
- Algebraic Kripke-style semantics for relevance logics
- A category equivalence for odd Sugihara monoids and its 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
- Deduction theorems for RM and its extensions
- 2007 Spring Meeting of the Association for Symbolic Logic
- Nilpotent Minimum Logic NM and Pretabularity
- Is \(\mathbf{MIAL} (=SL^\ell)\) the weakest substructural core fuzzy logic?
- 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}}\)
- R and relevance principle revisited
- Paraconsistent analytic implication
- Semi-implication: a chapter in universal logic
- Simple axiomatizations for pretabular classical relevance logics
- Sugihara algebras: admissibility algebras via the test spaces method
- 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
- RELEVANCE LOGICS AND RELATION ALGEBRAS
- Craig interpolation for semilinear substructural logics
- Functions definable in Sugihara algebras and their fragments. I
- Paraconsistent constructive logic with strong negation as a contraction-free relevant logic
- Algebraic aspects of deduction theorems
- A pretabular classical relevance logic
- LC and its pretabular relatives
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)
