$$\mathbf {RM}$$ RM and its Nice Properties
From MaRDI portal
Publication:3305418
DOI10.1007/978-3-319-29300-4_2zbMath1439.03047OpenAlexW2467350725MaRDI QIDQ3305418
Publication date: 7 August 2020
Published in: Outstanding Contributions to Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-29300-4_2
Fuzzy logic; logic of vagueness (03B52) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Paraconsistent logics (03B53)
Related Items
Paraconsistent constructive logic with strong negation as a contraction-free relevant logic ⋮ Logical argumentation by dynamic proof systems ⋮ Relation algebras of Sugihara, Belnap, Meyer, and Church ⋮ A logic for best explanations ⋮ REXPANSIONS OF NONDETERMINISTIC MATRICES AND THEIR APPLICATIONS IN NONCLASSICAL LOGICS ⋮ Two pretabular linear extensions of relevance logic R ⋮ A generalized proof-theoretic approach to logical argumentation based on hypersequents ⋮ THE PERIPATETIC PROGRAM IN CATEGORICAL LOGIC: LEIBNIZ ON PROPOSITIONAL TERMS ⋮ Paraconsistency and the need for infinite semantics ⋮ Introduction: Non-classical Logics—Between Semantics and Proof Theory (In Relation to Arnon Avron’s Work)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- What is relevance logic?
- The Gentzenization and decidability of RW
- On an implication connective of RM
- Handbook of philosophical logic. Vol. 6
- A note on R-Mingle and Sobociński's three-valued logic
- Multiplicative Conjunction as an Extensional Conjunction
- The undecidability of entailment and relevant implication
- Relevant entailment—semantics and formal systems
- A constructive analysis of RM
- E, R AND γ
- Algebraic completeness results for R-mingle and its extensions
- Algebraic Completeness Results for Dummett's LC and Its Extensions
This page was built for publication: $$\mathbf {RM}$$ RM and its Nice Properties