Combining many-valued and intuitionistic tableaux

DOI10.1007/3-540-61208-4_5MaRDI QIDQ4645226zbMATH OpenOpenAlexFDO

Authors Matthias Baaz, Christian G. Fermüller

Publication date 10 January 2019

Published in Theorem Proving with Analytic Tableaux and Related Methods (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-61208-4_5

zbMATH Keywords

intuitionistic logicintuitionistic ruleKripke structurepropositional variablesequent calculus

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Mechanization of proofs and logical operations (03B35) Many-valued logic (03B50)

Recommendations

• On intuitionistic many-valued logics
• From intuitionism to many-valued logics through Kripke models
• Intuitionistic sequent calculi for finitely many-valued logics
• scientific article; zbMATH DE number 4029509
• A uniform tableau method for intuitionistic modal logics. I

Cites work

• An improved refutation system for intuitionistic predicate logic
• scientific article; zbMATH DE number 446843 (Why is no real title available?)
• scientific article; zbMATH DE number 63610 (Why is no real title available?)
• Systematization of finite many-valued logics through the method of tableaux
• The foundations of mathematics. A study in the philosophy of science
• Untersuchungen über das logische Schliessen. I

Cited in

(8)

• A uniform tableau method for intuitionistic modal logics. I
• Maximal weakly-intuitionistic logics
• From intuitionism to many-valued logics through Kripke models
• Extending the Family of Intuitionistic Many-Valued Logics Introduced by Rousseau
• scientific article; zbMATH DE number 1189102 (Why is no real title available?)
• scientific article; zbMATH DE number 1950270 (Why is no real title available?)
• A 4-valued framework encompassing intuitionistic and classical logic
• Many-valued hybrid logic

This page was built for publication: Combining many-valued and intuitionistic tableaux

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