Tableaux for intuitionistic logics

MaRDI QIDQ2753600zbMATH OpenFDO

Authors Arild Waaler, Lincoln Wallen

Publication date 14 November 2001

Mathematics Subject Classification ID

General reference works (handbooks, dictionaries, bibliographies, etc.) pertaining to mathematical logic and foundations (03-00) Subsystems of classical logic (including intuitionistic logic) (03B20) Mechanization of proofs and logical operations (03B35) Structure of proofs (03F07)

Review text

See the review of the entire collection (Zbl 0956.03001).NEWLINENEWLINEFor the entire collection see [Zbl 0956.03001].

Recommendations

• A tableaux calculus for default intuitionistic logic
• Tableaux for nonmonotonic logics
• Tableaux for many-valued logics
• Tableaux for free logics with descriptions
• scientific article; zbMATH DE number 1189102
• Tableaux and hypersequents for justification logics
• scientific article; zbMATH DE number 1341482
• Tableaux for Łukasiewicz infinite-valued logic
• A tableau calculus for Propositional Intuitionistic Logic with a refined treatment of nested implications
• Tableaux and Hypersequents for Justification Logic

Cited in

(18)

• A tableau style proof system for two paraconsistent logics
• Contraction-free linear depth sequent calculi for intuitionistic propositional logic with the subformula property and minimal depth counter-models
• Tableaux for constructive concurrent dynamic logic
• Simplification Rules for Intuitionistic Propositional Tableaux
• Intuitionistic Decision Procedures Since Gentzen
• A tableau calculus for Propositional Intuitionistic Logic with a refined treatment of nested implications
• Automating theories in intuitionistic logic
• scientific article; zbMATH DE number 3908410 (Why is no real title available?)
• scientific article; zbMATH DE number 1950252 (Why is no real title available?)
• scientific article; zbMATH DE number 2024622 (Why is no real title available?)
• A Tableau Calculus for Hajek's Logic BL
• Tabular Logics with no Finite Bases for Inference Rules
• scientific article; zbMATH DE number 1361525 (Why is no real title available?)
• scientific article; zbMATH DE number 6316278 (Why is no real title available?)
• scientific article; zbMATH DE number 5592264 (Why is no real title available?)
• Tableau Development for a Bi-intuitionistic Tense Logic
• Tableau Systems for Logics of Subinterval Structures over Dense Orderings
• scientific article; zbMATH DE number 5230352 (Why is no real title available?)

This page was built for publication: Tableaux for intuitionistic logics

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