Equivalence proof for intuitionistic existential alpha graphs

DOI10.1007/978-3-030-86062-2_16OpenAlexW3199967992MaRDI QIDQ2671599

Arnold Oostra

Publication date: 3 June 2022

Full work available at URL: https://doi.org/10.1007/978-3-030-86062-2_16

zbMATH Keywords

stringsexistential graphsintuitionistic proposicional calculus

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Topoi. The categorial analysis of logic. Rev. ed
• Intuitionism. An introduction. 3rd revised ed
• Der Aussagenkalkül und die Topologie

This page was built for publication: Equivalence proof for intuitionistic existential alpha graphs