Relevance and paraconsistency—a new approach

DOI10.2307/2274660MaRDI QIDQ3484811zbMATH OpenOpenAlexFDO

Authors 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

adjunctionalgebraic semanticslogic RMIminglerelevancerelevant disjunction latticerelevant logics

Mathematics Subject Classification ID

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

Recommendations

• Operational semantics for positive R
• A finite model property for RMImin
• Note on algebraic models for relevance logic
• There are \(2^{\aleph_ 0}\) logics with the relevance principle between R and RM
• Adding the disjunctive syllogism to relevant logics including TW plus the contraction and reductio rules
• Weakly associative relation algebras hold the key to the universe
• A Routley-Meyer semantics for relevant logics including TWR plus the disjunctive syllogism
• Natural deduction and sequent calculus for intuitionistic relevant logic
• Relevance and conformity

Cites work

• A constructive analysis of RM
• Begründung einer strengen Implikation
• On an implication connective of RM
• On purely relevant logics
• On the theory of inconsistent formal systems
• Relevance: A fallacy?
• The development of lattice theory until 1948.

Cited in

(21)

• Operational semantics for positive R
• Fragments of R-mingle
• The classical constraint on relevance
• Paraconsistency and the need for infinite semantics
• A generative theory of relevance
• Note on algebraic models for relevance logic
• ASSERTIONALLY EQUIVALENT QUASIVARIETIES
• scientific article; zbMATH DE number 4083584 (Why is no real title available?)
• scientific article; zbMATH DE number 16514 (Why is no real title available?)
• scientific article; zbMATH DE number 1735916 (Why is no real title available?)
• scientific article; zbMATH DE number 1163994 (Why is no real title available?)
• scientific article; zbMATH DE number 2019884 (Why is no real title available?)
• Introduction: Non-classical Logics—Between Semantics and Proof Theory (In Relation to Arnon Avron’s Work)
• Relevance Domains and the Philosophy of Science
• The algebra of intensional logics. With an introductory essay by Katalin Bimbó
• A SIMPLE APPROACH TOWARDS RECAPTURING CONSISTENT THEORIES IN PARACONSISTENT SETTINGS
• Semantics for a basic relevant logic with intensional conjunction and disjunction (and some of its extensions)
• Relevance through topical unconnectedness
• Inside classical logic: truth, contradictions, fractionality
• Relevance and paraconsistency - a new approach. II: The formal systems
• Paraconsistency in categories: case of relevance logic

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

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