FDE: a logic of clutters

DOI10.1007/978-94-007-4438-7_10MaRDI QIDQ4912990zbMATH OpenOpenAlexFDO

Authors

Publication date 2 April 2013

Published in Paraconsistency: Logic and Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-94-007-4438-7_10

zbMATH Keywords

articular logicparaconsistencyrelevance

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) Paraconsistent logics (03B53)

Recommendations

• Inconsistency Tolerance
• A natural deduction system for first degree entailment
• Natural deduction systems for logics in the FDE family
• First-degree entailment and structural reasoning
• 40 years of FDE: an introductory overview

Cites work

• An axiomatization of family resemblance
• scientific article; zbMATH DE number 3497860 (Why is no real title available?)
• Inference and necessity
• On a new idiom in the study of entailment
• Semantic analysis of orthologic
• The logic of paradox
• The preservation of coherence

Cited in

(1)

• HYPE: a system of hyperintensional logic (with an application to semantic paradoxes)

This page was built for publication: FDE: a logic of clutters

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