\mathbf {RM} RM and its Nice Properties
From MaRDI portal
Publication:3305418
DOI10.1007/978-3-319-29300-4_2zbMATH Open1439.03047OpenAlexW2467350725MaRDI QIDQ3305418FDOQ3305418
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
Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Fuzzy logic; logic of vagueness (03B52) Paraconsistent logics (03B53)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- The undecidability of entailment and relevant implication
- Handbook of mathematical fuzzy logic. Volume 2
- E, R AND γ
- Algebraic completeness results for R-mingle and its extensions
- Handbook of philosophical logic. Vol. 6
- A note on R-Mingle and Sobociński's three-valued logic
- Multiplicative Conjunction as an Extensional Conjunction
- Relevant entailment—semantics and formal systems
- What is relevance logic?
- The Gentzenization and decidability of RW
- A constructive analysis of RM
- On an implication connective of RM
- Algebraic Completeness Results for Dummett's LC and Its Extensions
Cited In (10)
- Relation algebras of Sugihara, Belnap, Meyer, and Church
- REXPANSIONS OF NONDETERMINISTIC MATRICES AND THEIR APPLICATIONS IN NONCLASSICAL LOGICS
- Paraconsistency and the need for infinite semantics
- A generalized proof-theoretic approach to logical argumentation based on hypersequents
- Logical argumentation by dynamic proof systems
- Introduction: Non-classical Logics—Between Semantics and Proof Theory (In Relation to Arnon Avron’s Work)
- THE PERIPATETIC PROGRAM IN CATEGORICAL LOGIC: LEIBNIZ ON PROPOSITIONAL TERMS
- Paraconsistent constructive logic with strong negation as a contraction-free relevant logic
- A logic for best explanations
- Two pretabular linear extensions of relevance logic R
This page was built for publication: $$\mathbf {RM}$$ RM and its Nice Properties
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3305418)
