Relevant entailment—semantics and formal systems

DOI10.2307/2274169zbMath0586.03017OpenAlexW2160727829MaRDI 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

relevanceScroggs propertymany-valued relevant implication/negation logics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Many-valued logic (03B50)

Related Items (18)

Relevant logic as a basis for paraconsistent epistemic logics ⋮ The semantics and proof theory of linear logic ⋮ What is relevance logic? ⋮ RELEVANCE FOR THE CLASSICAL LOGICIAN ⋮ Maximal and premaximal paraconsistency in the framework of three-valued semantics ⋮ A general characterization of the variable-sharing property by means of logical matrices ⋮ $$\mathbf {RM}$$ RM and its Nice Properties ⋮ The classical constraint on relevance ⋮ Fragments of R-mingle ⋮ Curry's paradox, generalized modus ponens axiom and depth relevance ⋮ Combining classical logic, paraconsistency and relevance ⋮ THE PERIPATETIC PROGRAM IN CATEGORICAL LOGIC: LEIBNIZ ON PROPOSITIONAL TERMS ⋮ Paraconsistency and the need for infinite semantics ⋮ Implicational Logic, Relevance, and Refutability ⋮ Semi-implication: A Chapter in Universal Logic ⋮ Introduction: Non-classical Logics—Between Semantics and Proof Theory (In Relation to Arnon Avron’s Work) ⋮ Interpretations of Weak Positive Modal Logics ⋮ Simple consequence relations

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

This page was built for publication: Relevant entailment—semantics and formal systems