Fragments of R-mingle
type: Item
instance of: scholarly article
title: Fragments of R-mingle
zbMATH Open document ID: 1067.03029
published in: Studia Logica
publication date: 2005-04-07T00:00:00Z
Mathematics Subject Classification ID: 03B47
Mathematics Subject Classification ID: 03G25
zbMATH DE Number: 2153437
zbMATH Keywords: Sugihara algebra
zbMATH Keywords: mingle
zbMATH Keywords: RM
zbMATH Keywords: fragment
zbMATH Keywords: relevance logic
author: W. J. Blok
author: J. G. Raftery
MaRDI profile type: Publication
full work available at URL: s11225-005-0106-8
OpenAlex ID: W2048804780
cites work: Q4085699
cites work: Q4297115
cites work: Relevant entailment—semantics and formal systems
cites work: On an implication connective of RM
cites work: A constructive analysis of RM
cites work: The semantics and proof theory of linear logic
cites work: Relevance and paraconsistency—a new approach
cites work: Relevance and paraconsistency - a new approach. II: The formal systems
cites work: Axiomatic System, Deduction and Implication
cites work: Whither relevance logic?
cites work: Multiplicative Conjunction as an Extensional Conjunction
cites work: Implicational F-structures and implicational relevance logics
cites work: The Fraser-Horn and Apple Properties
cites work: On the lattice of quasivarieties of Sugihara algebras
cites work: On the structure of varieties with equationally definable principal congruences. I
cites work: Algebraizable logics
cites work: Q4029628
cites work: Introduction to the special issue on algebraic logic
cites work: Q4249027
cites work: Rules in relevant logic. I: Semantic classification
cites work: Q3934450
cites work: Algebraic aspects of deduction theorems
cites work: Local deductions theorems
cites work: Congruence distributive quasivarieties whose finitely subdirectly irreducible members form a universal class
cites work: The parameterized local deduction theorem for quasivarieties of algebras and its application
cites work: Deduction theorems within RM and its extensions
cites work: A propositional calculus with denumerable matrix
cites work: Algebraic completeness results for R-mingle and its extensions
cites work: Q4342081
cites work: Algebraic Completeness Results for Dummett's LC and Its Extensions
cites work: Finitely generated congruence distributive quasivarieties of algebras
cites work: Q4517140
cites work: Note on algebraic models for relevance logic
cites work: Congruence lattices of semilattices
cites work: Q4698607
cites work: Adding involution to residuated structures
cites work: The structure of finite algebras
cites work: Type Preservation In Locally Finite Varieties with the CEP
cites work: Commutator Theory for Relatively Modular Quasivarieties
cites work: The Relationship Between Two Commutators
cites work: Residually finite, congruence meet-semidistributive varieties of finite type have a finite residual bound
cites work: Varieties with equationally definable principal congruences
cites work: \(n\)-permutable varieties satisfy non trivial congruence identities
cites work: A Characterization of Varieties with a Difference Term, II: Neutral = Meet Semi-Distributive
cites work: Q3268305
cites work: Q4532199
cites work: The compatibility of relevance and mingle
cites work: Conservative extension in relevant implication
cites work: On conserving positive logics
cites work: Q4077983
cites work: Q4428879
cites work: E, R AND γ
cites work: Completeness of relevant quantification theories
cites work: Independent Axioms for the Implicational Fragment of Sobociński's Three‐Valued Logic
cites work: Q4103076
cites work: On the interpretation of the sign ‘⊃’
cites work: Quasivarieties of algebras with definable principal congruences
cites work: A System for Strict Implication
cites work: Tolerance numbers, congruence $n$-permutability and BCK-algebras
cites work: An alternative formalisation of Sobociński's three‐valued implicational propositional calculus
cites work: Q4077984

Fragments of R-mingle (cites work)
cites work: Q3701398

Fragments of R-mingle (cites work)
cites work: Rules and Derived Rules

Fragments of R-mingle (cites work)
cites work: A structurally complete fragment of relevant logic

Fragments of R-mingle (cites work)
cites work: The implicational fragment of $R$-mingle

Fragments of R-mingle (cites work)
cites work: Functions definable in Sugihara algebras and their fragments. I

Fragments of R-mingle (cites work)
cites work: Deduction theorems for RM and its extensions

Fragments of R-mingle (cites work)
cites work: Q3898495

Fragments of R-mingle (cites work)
cites work: Q4495851

Fragments of R-mingle (cites work)
cites work: The undecidability of entailment and relevant implication

Fragments of R-mingle (cites work)
cites work: On subtractive varieties. I

Fragments of R-mingle (cites work)
cites work: A finite basis theorem for residually finite, congruence meet-semidistributive varieties

Fragments of R-mingle (DOI)
DOI: 10.1007/S11225-005-0106-8