Relevance and paraconsistency—a new approach

DOI10.2307/2274660zbMath0705.03007OpenAlexW1981545987MaRDI QIDQ3484811

Arnon Avron

Publication date: 1990

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

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

zbMATH Keywords

relevancealgebraic semanticsadjunctionrelevant logicsminglelogic RMIrelevant disjunction lattice

Mathematics Subject Classification ID

Logical aspects of lattices and related structures (03G10) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Paraconsistent logics (03B53)

Related Items (6)

ASSERTIONALLY EQUIVALENT QUASIVARIETIES ⋮ The classical constraint on relevance ⋮ Fragments of R-mingle ⋮ Paraconsistency and the need for infinite semantics ⋮ Introduction: Non-classical Logics—Between Semantics and Proof Theory (In Relation to Arnon Avron’s Work) ⋮ Relevance Domains and the Philosophy of Science

Cites Work

• Unnamed Item
• On an implication connective of RM
• Relevance: A fallacy?
• On purely relevant logics
• On the theory of inconsistent formal systems
• Begründung einer strengen Implikation
• A constructive analysis of RM

This page was built for publication: Relevance and paraconsistency—a new approach