Simple tableaus for simple logics

DOI10.1215/00294527-2024-0021MaRDI QIDQ7034191zbMATH OpenFDO

Authors Melvin Fitting

Publication date 31 January 2025

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

Full work available at URL https://doi.org/10.1215/00294527-2024-0021

zbMATH Keywords

De Morgan latticeDunn logicsfirst degree entailmentinterpolationlogic of paradoxmany-valued logicstableau

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Many-valued logic (03B50) Paraconsistent logics (03B53) Other nonclassical logic (03B60) Proof theory in general (including proof-theoretic semantics) (03F03)

Cites work

• (I can't get no) antisatisfaction
• A calculus of antinomics
• A family of strict/tolerant logics
• A non-classical refinement of the interpolation property for classical propositional logic
• A tableau style proof system for two paraconsistent logics
• An introduction to non-classical logic. From if to is
• Classical logic and the strict tolerant hierarchy
• First-order modal logic
• First-order modal logic
• scientific article; zbMATH DE number 3648682 (Why is no real title available?)
• scientific article; zbMATH DE number 3504935 (Why is no real title available?)
• scientific article; zbMATH DE number 559756 (Why is no real title available?)
• scientific article; zbMATH DE number 596497 (Why is no real title available?)
• scientific article; zbMATH DE number 2012391 (Why is no real title available?)
• scientific article; zbMATH DE number 837700 (Why is no real title available?)
• scientific article; zbMATH DE number 3274715 (Why is no real title available?)
• scientific article; zbMATH DE number 3300581 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• Interpolation and three-valued logics
• Interpolation methods for Dunn logics and their extensions
• Linear reasoning. A new form of the Herbrand-Gentzen theorem
• Notes on the model theory of DeMorgan logics
• Proof methods for modal and intuitionistic logics
• Reasoning with logical bilattices
• Saving truth from paradox

Cited in

(2)

• Simple tableaus for simple intuitionistic logics
• Tableaux for metainferential logics

This page was built for publication: Simple tableaus for simple logics

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