A note on FDE ``all the way up

DOI10.1215/00294527-2020-0007zbMATH Open1481.03008OpenAlexW3015474802WikidataQ123128489 ScholiaQ123128489MaRDI QIDQ778734FDOQ778734

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

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

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)

Cites Work

• Some useful 16-valued logics: How a computer network should think
• Four-valued logic
• An introduction to non-classical logic. From if to is
• Title not available (Why is that?)
• Title not available (Why is that?)
• Intuitive semantics for first-degree entailments and `coupled trees'
• Protoalgebraic logics
• Hyper-contradictions, generalized truth values and logics of truth and falsehood
• Title not available (Why is that?)
• 40 years of FDE: an introductory overview
• First-degree entailment and its relatives
• Paraconsistency and analyticity
• Title not available (Why is that?)
• Two, Three, Four, Infinity: The Path to the Four-Valued Logic and Beyond
• Title not available (Why is that?)
• Title not available (Why is that?)
• On Williamson's new Quinean argument against nonclassical logic

Cited In (3)

• Two, Three, Four, Infinity: The Path to the Four-Valued Logic and Beyond
• Coinduction All the Way Up
• \(\mathrm{LP}^{+}\), \(\mathrm{K3}^{+}\), \(\mathrm{FDE}^{+}\), and their `classical collapse'

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)