Fragments of R-mingle
From MaRDI portal
Publication:1770601
DOI10.1007/s11225-005-0106-8zbMath1067.03029OpenAlexW2048804780MaRDI QIDQ1770601
James G. Raftery, Willem J. Blok
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
Other algebras related to logic (03G25) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)
Related Items (11)
Current trends in substructural logics ⋮ Representable idempotent commutative residuated lattices ⋮ Prior’s OIC nonconservativity example revisited ⋮ Paraconsistent constructive logic with strong negation as a contraction-free relevant logic ⋮ Relative congruence formulas and decompositions in quasivarieties ⋮ In memory of Willem Johannes Blok 1947-2003 ⋮ ASSERTIONALLY EQUIVALENT QUASIVARIETIES ⋮ Contextual deduction theorems ⋮ AGGREGATION AND IDEMPOTENCE ⋮ R-Mingle is Nice, and so is Arnon Avron ⋮ Craig interpolation for semilinear substructural logics
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A structurally complete fragment of relevant logic
- Relevance and paraconsistency - a new approach. II: The formal systems
- Completeness of relevant quantification theories
- Congruence distributive quasivarieties whose finitely subdirectly irreducible members form a universal class
- Algebraic aspects of deduction theorems
- On an implication connective of RM
- Local deductions theorems
- The compatibility of relevance and mingle
- The semantics and proof theory of linear logic
- Varieties with equationally definable principal congruences
- Introduction to the special issue on algebraic logic
- Whither relevance logic?
- Functions definable in Sugihara algebras and their fragments. I
- Deduction theorems for RM and its extensions
- On subtractive varieties. I
- Rules in relevant logic. I: Semantic classification
- Adding involution to residuated structures
- On the lattice of quasivarieties of Sugihara algebras
- On the structure of varieties with equationally definable principal congruences. I
- \(n\)-permutable varieties satisfy non trivial congruence identities
- Congruence lattices of semilattices
- The parameterized local deduction theorem for quasivarieties of algebras and its application
- Conservative extension in relevant implication
- Quasivarieties of algebras with definable principal congruences
- On conserving positive logics
- Multiplicative Conjunction as an Extensional Conjunction
- Tolerance numbers, congruence $n$-permutability and BCK-algebras
- An alternative formalisation of Sobociński's three‐valued implicational propositional calculus
- A propositional calculus with denumerable matrix
- Finitely generated congruence distributive quasivarieties of algebras
- Note on algebraic models for relevance logic
- Relevance and paraconsistency—a new approach
- The undecidability of entailment and relevant implication
- Relevant entailment—semantics and formal systems
- The Fraser-Horn and Apple Properties
- A constructive analysis of RM
- Algebraizable logics
- Axiomatic System, Deduction and Implication
- Type Preservation In Locally Finite Varieties with the CEP
- Commutator Theory for Relatively Modular Quasivarieties
- The structure of finite algebras
- Rules and Derived Rules
- A Characterization of Varieties with a Difference Term, II: Neutral = Meet Semi-Distributive
- Deduction theorems within RM and its extensions
- Residually finite, congruence meet-semidistributive varieties of finite type have a finite residual bound
- The Relationship Between Two Commutators
- Implicational F-structures and implicational relevance logics
- A finite basis theorem for residually finite, congruence meet-semidistributive varieties
- E, R AND γ
- A System for Strict Implication
- The implicational fragment of $R$-mingle
- Algebraic completeness results for R-mingle and its extensions
- Algebraic Completeness Results for Dummett's LC and Its Extensions
- Independent Axioms for the Implicational Fragment of Sobociński's Three‐Valued Logic
- On the interpretation of the sign ‘⊃’
This page was built for publication: Fragments of R-mingle