Fragments of R-mingle

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

• On an implication connective of RM
• A constructive analysis of RM
• An Avron rule for fragments of R-mingle
• Single axioms and axiom-pairs for the implicational fragments of \(\mathbf{R} \), R-Mingle, and some related systems
• \(\mathbf{RM}\) and its nice properties

zbMATH Keywords

relevance logicfragmentmingleRMSugihara algebra

Mathematics Subject Classification ID

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)