Fragments of R-mingle
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 3150809 (Why is no real title available?)
- scientific article; zbMATH DE number 3926879 (Why is no real title available?)
- scientific article; zbMATH DE number 3706448 (Why is no real title available?)
- scientific article; zbMATH DE number 3751028 (Why is no real title available?)
- scientific article; zbMATH DE number 139647 (Why is no real title available?)
- scientific article; zbMATH DE number 3496099 (Why is no real title available?)
- scientific article; zbMATH DE number 3496100 (Why is no real title available?)
- scientific article; zbMATH DE number 3504935 (Why is no real title available?)
- scientific article; zbMATH DE number 3525100 (Why is no real title available?)
- scientific article; zbMATH DE number 1302497 (Why is no real title available?)
- scientific article; zbMATH DE number 596497 (Why is no real title available?)
- scientific article; zbMATH DE number 1028818 (Why is no real title available?)
- scientific article; zbMATH DE number 1984514 (Why is no real title available?)
- scientific article; zbMATH DE number 1489627 (Why is no real title available?)
- scientific article; zbMATH DE number 1534353 (Why is no real title available?)
- scientific article; zbMATH DE number 1749198 (Why is no real title available?)
- scientific article; zbMATH DE number 753774 (Why is no real title available?)
- A Characterization of Varieties with a Difference Term, II: Neutral = Meet Semi-Distributive
- A System for Strict Implication
- A constructive analysis of RM
- A finite basis theorem for residually finite, congruence meet-semidistributive varieties
- A propositional calculus with denumerable matrix
- A structurally complete fragment of relevant logic
- Adding involution to residuated structures
- Algebraic Completeness Results for Dummett's LC and Its Extensions
- Algebraic aspects of deduction theorems
- Algebraic completeness results for R-mingle and its extensions
- Algebraizable logics
- An alternative formalisation of Sobociński's three‐valued implicational propositional calculus
- Axiomatic System, Deduction and Implication
- Commutator Theory for Relatively Modular Quasivarieties
- Completeness of relevant quantification theories
- Congruence distributive quasivarieties whose finitely subdirectly irreducible members form a universal class
- Congruence lattices of semilattices
- Conservative extension in relevant implication
- Deduction theorems for RM and its extensions
- Deduction theorems within RM and its extensions
- E, R AND γ
- Finitely generated congruence distributive quasivarieties of algebras
- Functions definable in Sugihara algebras and their fragments. I
- Implicational F-structures and implicational relevance logics
- Independent Axioms for the Implicational Fragment of Sobociński's Three‐Valued Logic
- Introduction to the special issue on algebraic logic
- Local deductions theorems
- Multiplicative Conjunction as an Extensional Conjunction
- Note on algebraic models for relevance logic
- On an implication connective of RM
- On conserving positive logics
- On subtractive varieties. I
- On the interpretation of the sign ‘⊃’
- On the lattice of quasivarieties of Sugihara algebras
- On the structure of varieties with equationally definable principal congruences. I
- Quasivarieties of algebras with definable principal congruences
- Relevance and paraconsistency - a new approach. II: The formal systems
- Relevance and paraconsistency—a new approach
- Relevant entailment—semantics and formal systems
- Residually finite, congruence meet-semidistributive varieties of finite type have a finite residual bound
- Rules and Derived Rules
- Rules in relevant logic. I: Semantic classification
- The Fraser-Horn and Apple Properties
- The Relationship Between Two Commutators
- The compatibility of relevance and mingle
- The implicational fragment of $R$-mingle
- The parameterized local deduction theorem for quasivarieties of algebras and its application
- The semantics and proof theory of linear logic
- The structure of finite algebras
- The undecidability of entailment and relevant implication
- Tolerance numbers, congruence $n$-permutability and BCK-algebras
- Type Preservation In Locally Finite Varieties with the CEP
- Varieties with equationally definable principal congruences
- Whither relevance logic?
- n-permutable varieties satisfy non trivial congruence identities
Cited in
(18)- In memory of Willem Johannes Blok 1947-2003
- Current trends in substructural logics
- scientific article; zbMATH DE number 2024621 (Why is no real title available?)
- Relative congruence formulas and decompositions in quasivarieties
- Prior's OIC nonconservativity example revisited
- A finite model property for RMImin
- Contextual deduction theorems
- On two open questions concerning the implicational fragment of R-mingle
- 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)