Combining many-valued and intuitionistic tableaux

DOI10.1007/3-540-61208-4_5zbMath1415.03016OpenAlexW1504271387MaRDI QIDQ4645226

Christian G. Fermüller, Matthias Baaz

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

sequent calculusintuitionistic logicKripke structurepropositional variableintuitionistic rule

Mathematics Subject Classification ID

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

Related Items (1)

A 4-valued framework encompassing intuitionistic and classical logic

Cites Work

• Unnamed Item
• Unnamed Item
• The foundations of mathematics. A study in the philosophy of science
• An improved refutation system for intuitionistic predicate logic
• Untersuchungen über das logische Schliessen. I
• Systematization of finite many-valued logics through the method of tableaux

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