Fragments of R-mingle
From MaRDI portal
Publication:1770601
DOI10.1007/S11225-005-0106-8zbMATH Open1067.03029OpenAlexW2048804780MaRDI QIDQ1770601FDOQ1770601
Authors: W. J. Blok, J. G. Raftery
Publication date: 7 April 2005
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11225-005-0106-8
Recommendations
Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Other algebras related to logic (03G25)
Cites Work
- The semantics and proof theory of linear logic
- A propositional calculus with denumerable matrix
- Title not available (Why is that?)
- The undecidability of entailment and relevant implication
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- A structurally complete fragment of relevant logic
- The structure of finite algebras
- Adding involution to residuated structures
- On the structure of varieties with equationally definable principal congruences. I
- Congruence lattices of semilattices
- On conserving positive logics
- Algebraizable logics
- Note on algebraic models for relevance logic
- E, R AND γ
- Congruence distributive quasivarieties whose finitely subdirectly irreducible members form a universal class
- On subtractive varieties. I
- Title not available (Why is that?)
- A Characterization of Varieties with a Difference Term, II: Neutral = Meet Semi-Distributive
- Residually finite, congruence meet-semidistributive varieties of finite type have a finite residual bound
- The Relationship Between Two Commutators
- A finite basis theorem for residually finite, congruence meet-semidistributive varieties
- Algebraic aspects of deduction theorems
- Local deductions theorems
- Title not available (Why is that?)
- Title not available (Why is that?)
- Algebraic completeness results for R-mingle and its extensions
- Whither relevance logic?
- Multiplicative Conjunction as an Extensional Conjunction
- Relevant entailment—semantics and formal systems
- The compatibility of relevance and mingle
- \(n\)-permutable varieties satisfy non trivial congruence identities
- A constructive analysis of RM
- Completeness of relevant quantification theories
- Rules in relevant logic. I: Semantic classification
- Title not available (Why is that?)
- On an implication connective of RM
- On the lattice of quasivarieties of Sugihara algebras
- Title not available (Why is that?)
- Algebraic Completeness Results for Dummett's LC and Its Extensions
- Introduction to the special issue on algebraic logic
- Title not available (Why is that?)
- Varieties with equationally definable principal congruences
- The parameterized local deduction theorem for quasivarieties of algebras and its application
- Conservative extension in relevant implication
- Deduction theorems within RM and its extensions
- Title not available (Why is that?)
- Rules and Derived Rules
- Relevance and paraconsistency - a new approach. II: The formal systems
- Finitely generated congruence distributive quasivarieties of algebras
- Title not available (Why is that?)
- Quasivarieties of algebras with definable principal congruences
- The implicational fragment of $R$-mingle
- Title not available (Why is that?)
- Relevance and paraconsistency—a new approach
- The Fraser-Horn and Apple Properties
- Commutator Theory for Relatively Modular Quasivarieties
- Deduction theorems for RM and its extensions
- Type Preservation In Locally Finite Varieties with the CEP
- On the interpretation of the sign ‘⊃’
- Functions definable in Sugihara algebras and their fragments. I
- Tolerance numbers, congruence $n$-permutability and BCK-algebras
- Independent Axioms for the Implicational Fragment of Sobociński's Three‐Valued Logic
- An alternative formalisation of Sobociński's three‐valued implicational propositional calculus
- Axiomatic System, Deduction and Implication
- Implicational F-structures and implicational relevance logics
- A System for Strict Implication
Cited In (18)
- In memory of Willem Johannes Blok 1947-2003
- Title not available (Why is that?)
- Current trends in substructural logics
- Relative congruence formulas and decompositions in quasivarieties
- Prior's OIC nonconservativity example revisited
- A finite model property for RMImin
- On two open questions concerning the implicational fragment of R-mingle
- Contextual deduction theorems
- ASSERTIONALLY EQUIVALENT QUASIVARIETIES
- Aggregation and idempotence
- R-Mingle is Nice, and so is Arnon Avron
- Representable idempotent commutative residuated lattices
- Single axioms and axiom-pairs for the implicational fragments of \(\mathbf{R} \), R-Mingle, and some related systems
- An Avron rule for fragments of R-mingle
- Some locally tabular logics with contraction and mingle
- On an implication connective of RM
- Craig interpolation for semilinear substructural logics
- Paraconsistent constructive logic with strong negation as a contraction-free relevant logic
This page was built for publication: Fragments of R-mingle
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1770601)