Relevant entailment—semantics and formal systems

DOI10.2307/2274169zbMath0586.03017MaRDI QIDQ3712316

Arnon Avron

Publication date: 1984

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2274169

zbMATH Keywords

relevance; Scroggs property; many-valued relevant implication/negation logics

Mathematics Subject Classification ID

03B45: Modal logic (including the logic of norms)

03B50: Many-valued logic

Related Items

Relevant logic as a basis for paraconsistent epistemic logics, RELEVANCE FOR THE CLASSICAL LOGICIAN, THE PERIPATETIC PROGRAM IN CATEGORICAL LOGIC: LEIBNIZ ON PROPOSITIONAL TERMS, Semi-implication: A Chapter in Universal Logic, What is relevance logic?, A general characterization of the variable-sharing property by means of logical matrices, Maximal and premaximal paraconsistency in the framework of three-valued semantics, Simple consequence relations, The semantics and proof theory of linear logic, Fragments of R-mingle, Combining classical logic, paraconsistency and relevance, Curry's paradox, generalized modus ponens axiom and depth relevance, The classical constraint on relevance, Paraconsistency and the need for infinite semantics, $$\mathbf {RM}$$ RM and its Nice Properties

Cites Work

• A note on R-Mingle and Sobociński's three-valued logic
• An alternative formalisation of Sobociński's three‐valued implicational propositional calculus
• On Entailment
• The implicational fragment of $R$-mingle
• Independent Axioms for the Implicational Fragment of Sobociński's Three‐Valued Logic
• Proof theory