Simple tableaus for simple intuitionistic logics

DOI10.1215/00294527-2025-0024MaRDI QIDQ6834663zbMATH OpenFDO

Authors Melvin Fitting

Publication date 31 March 2026

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

Full work available at URL https://projecteuclid.org/journals/notre-dame-journal-of-formal-logic/volume-67/issue-1/Simple-Tableaus-for-Simple-Intuitionistic-Logics/10.1215/00294527-2025-0024.full

zbMATH Keywords

first-degree entailmentintuitionistic logiclogic of paradoxstrict-tolerant

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Mechanization of proofs and logical operations (03B35) Many-valued logic (03B50) Paraconsistent logics (03B53) Other nonclassical logic (03B60)

Cites work

• A family of strict/tolerant logics
• A hierarchy of classical and paraconsistent logics
• A tableau style proof system for two paraconsistent logics
• A UNIFYING PRINCIPAL IN QUANTIFICATION THEORY
• Classical logic and the strict tolerant hierarchy
• Der Minimalkalkül, ein reduzierter intuitionistischer Formalismus.
• scientific article; zbMATH DE number 3222098 (Why is no real title available?)
• scientific article; zbMATH DE number 3300581 (Why is no real title available?)
• scientific article; zbMATH DE number 3316881 (Why is no real title available?)
• scientific article; zbMATH DE number 7592011 (Why is no real title available?)
• Iterating both and neither: with applications to the paradoxes
• Proof methods for modal and intuitionistic logics
• Simple tableaus for simple logics
• Strict/tolerant logics built using generalized weak Kleene logics
• Sur quelques points de la logique de M. Brouwer.
• The logics of strict-tolerant logic
• The strict/tolerant family continued: quantifiers and modalities
• The strict/tolerant idea and bilattices
• Tolerant, classical, strict
• Untersuchungen über das logische Schliessen. I
• Zum intuitionistischen Aussagekalkül.

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

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