Fragments of R-mingle

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

zbMATH Keywords

relevance logicfragmentmingleRMSugihara algebra

Mathematics Subject Classification ID

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