A note on FDE ``all the way up

DOI10.1215/00294527-2020-0007zbMath1481.03008OpenAlexW3015474802WikidataQ123128489 ScholiaQ123128489MaRDI QIDQ778734

Caleb Camrud, J. C. Beall

Publication date: 20 July 2020

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://projecteuclid.org/euclid.ndjfl/1586397617

zbMATH Keywords

logical consequenceparaconsistent logicfirst-degree entailmentFDEparacomplete logicplurivalent logic

Mathematics Subject Classification ID

Many-valued logic (03B50) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Paraconsistent logics (03B53)

Related Items (1)

Two, Three, Four, Infinity: The Path to the Four-Valued Logic and Beyond

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Some useful 16-valued logics: How a computer network should think
• Hyper-contradictions, generalized truth values and logics of truth and falsehood
• Four-valued logic
• 40 years of FDE: an introductory overview
• First-degree entailment and its relatives
• Intuitive semantics for first-degree entailments and `coupled trees'
• Paraconsistency and analyticity
• Two, Three, Four, Infinity: The Path to the Four-Valued Logic and Beyond
• On Williamson's new Quinean argument against nonclassical logic
• Protoalgebraic logics

This page was built for publication: A note on FDE ``all the way up