RM and its nice properties

DOI10.1007/978-3-319-29300-4_2MaRDI QIDQ3305418zbMATH OpenOpenAlexFDO

Authors Arnon Avron

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

zbMATH Keywords

paraconsistent logicsrelevant logicsfuzzy logicsdegrees of truthsemi-relevance

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Fuzzy logic; logic of vagueness (03B52) Paraconsistent logics (03B53)

Recommendations

• Relevance and paraconsistency - a new approach. II: The formal systems
• The quasi-relevant 3-valued logic RM3 and some of its sublogics lacking the variable-sharing property
• A constructive analysis of RM
• On an implication connective of RM
• On purely relevant logics

Cites work

• scientific article; zbMATH DE number 3150809 (Why is no real title available?)
• scientific article; zbMATH DE number 3504935 (Why is no real title available?)
• A constructive analysis of RM
• A logic for vagueness
• A note on R-Mingle and Sobociński's three-valued logic
• Algebraic Completeness Results for Dummett's LC and Its Extensions
• Algebraic completeness results for R-mingle and its extensions
• E, R AND γ
• Handbook of mathematical fuzzy logic. Volume 2
• Handbook of philosophical logic. Vol. 6
• Multiplicative Conjunction as an Extensional Conjunction
• On an implication connective of RM
• Relevant entailment—semantics and formal systems
• The Gentzenization and decidability of RW
• The undecidability of entailment and relevant implication
• What is relevance logic?

Cited in

(17)

• Two pretabular linear extensions of relevance logic R
• 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
• Maximality of the minimal R-logic
• Variable domain first-order first-degree entailment and some of its children
• A finite model property for RMImin
• A generalized proof-theoretic approach to logical argumentation based on hypersequents
• Fragments of R-mingle
• Logical argumentation by dynamic proof systems
• A note on \textbf{R}-mingle and the danger of safety
• Introduction: Non-classical Logics—Between Semantics and Proof Theory (In Relation to Arnon Avron’s Work)
• Relevance and paraconsistency - a new approach. II: The formal systems
• On an implication connective of RM
• 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

This page was built for publication: \(\mathbf{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)