scientific article; zbMATH DE number 1749198

MaRDI QIDQ4532199zbMATH OpenFDO

Authors Robert K. Meyer, Edwin D. Mares

Publication date 28 November 2002

zbMATH Keywords

relevant logicssemantics

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Review text

This chapter provides an excellent and up-to-date introduction to relevant logics and their semantics. Motivation for these logics is given and some of the main technical and philosophical aspects are considered. A large number of references are provided. For the entire collection see [Zbl 0983.03001].

Recommendations

• scientific article; zbMATH DE number 2101978
• Relevant connexive logic
• Relevant justification logic
• scientific article; zbMATH DE number 1028818
• Inconsistency Tolerance
• On purely relevant logics
• Relevant logic programming
• scientific article; zbMATH DE number 4047689
• scientific article; zbMATH DE number 2226185
• Algorithms for relevant logic

Cited in

(22)

• Process and action: Relevant theory and logics
• Varieties of De Morgan monoids: minimality and irreducible algebras
• Fragments of R-mingle
• Handbook of philosophical logic. Vol. 6
• What is a relevant connective?
• Combinatory logic and the semantics of substructural logics
• A plea for KR
• scientific article; zbMATH DE number 4200171 (Why is no real title available?)
• scientific article; zbMATH DE number 4055572 (Why is no real title available?)
• scientific article; zbMATH DE number 48206 (Why is no real title available?)
• Noisy vs. merely equivocal logics
• Tracking reasons with extensions of relevant logics
• Aristotle's assertoric syllogistic and modern relevance logic
• Dynamic Epistemic Logic as a Substructural Logic
• Conjunctive paraconsistency
• New consecution calculi for \(R^{t}_{\to}\)
• Withered relevance. Evaluating the Anderson-Belnap account of relevant logics
• Importing logics
• Hyperintensional epistemic justification: a ground-theoretic topic-sensitive semantics
• General information in relevant logic
• Recognizable logics
• A Routley-Meyer type semantics for relevant logics including \(\text B_{\text r}\) plus the disjunctive syllogism

This page was built for publication:

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