Tableaus and dual Tableaus

DOI10.1007/978-3-319-97879-6_5zbMATH Open1544.03017MaRDI QIDQ6599611

Melvin Fitting

Publication date: 6 September 2024

zbMATH Keywords

intuitionistic logiclogictableauproof methodsdual tableau

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20)

Cites Work

• The foundations of mathematics. A study in the philosophy of science
• Unnamed Item
• Unnamed Item

Related Items (1)

Machine-checked meta-theory of dual-tableaux for intuitionistic logic

This page was built for publication: Tableaus and dual Tableaus