A note on FDE ``all the way up

DOI10.1215/00294527-2020-0007MaRDI QIDQ778734zbMATHOpenAlexWikidataFDO

Authors Caleb Camrud, Jc 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

paraconsistent logiclogical consequencefirst-degree entailmentFDEparacomplete logicplurivalent logic

Mathematics Subject Classification ID

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

Recommendations

• Hilbert-style axiomatization of first-degree entailment and a family of its extensions
• scientific article; zbMATH DE number 3959372
• Nothing but the truth
• A natural deduction system for first degree entailment
• Natural deduction systems for logics in the FDE family
• First-degree entailment and structural reasoning
• Intuitionistic sets and ordinals
• Do inferential processes affect uncertainty frameworks?
• scientific article; zbMATH DE number 2109541
• First-degree entailment and binary consequence systems

Cites work

• scientific article; zbMATH DE number 3882408 (Why is no real title available?)
• scientific article; zbMATH DE number 3504935 (Why is no real title available?)
• scientific article; zbMATH DE number 596497 (Why is no real title available?)
• scientific article; zbMATH DE number 6868317 (Why is no real title available?)
• scientific article; zbMATH DE number 3399177 (Why is no real title available?)
• 40 years of FDE: an introductory overview
• An introduction to non-classical logic. From if to is
• First-degree entailment and its relatives
• Four-valued logic
• Hyper-contradictions, generalized truth values and logics of truth and falsehood
• Intuitive semantics for first-degree entailments and `coupled trees'
• On Williamson's new Quinean argument against nonclassical logic
• Paraconsistency and analyticity
• Plurivalent logics
• Protoalgebraic logics
• Some useful 16-valued logics: How a computer network should think
• Two, three, four, infinity: the path to the four-valued logic and beyond

Cited in

(9)

• \(\mathrm{LP}^{+}\), \(\mathrm{K3}^{+}\), \(\mathrm{FDE}^{+}\), and their `classical collapse'
• FDE as the one true logic
• Plurivalent logics
• Vojshvillo-style semantics for some extensions of FDE. I
• First degree entailment, symmetry and paradox
• Coinduction All the Way Up
• Two, three, four, infinity: the path to the four-valued logic and beyond
• 40 years of FDE: an introductory overview
• Logics of generalized classical truth values

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

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