Relevant entailment—semantics and formal systems

DOI10.2307/2274169zbMATH Open0586.03017OpenAlexW2160727829MaRDI QIDQ3712316FDOQ3712316

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)

Cites Work

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

Cited In (22)

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

   Recommendations

• Relevance and paraconsistency - a new approach. II: The formal systems 👍 👎
• Title not available (Why is that?) 👍 👎
• What is relevance logic? 👍 👎
• ``Four-valued semantics for the relevant logic R 👍 👎
• A theory of logical relevance 👍 👎

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3712316)