Natural deduction for intuitionistic Euler-Venn diagrams

DOI10.1007/978-3-030-86062-2_54OpenAlexW3201263531MaRDI QIDQ2671627

Sven Linker

Publication date: 3 June 2022

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

zbMATH Keywords

proof theoryintuitionistic logicEuler-Venn diagrams

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Untersuchungen über das logische Schliessen. I
• Assertive graphs

This page was built for publication: Natural deduction for intuitionistic Euler-Venn diagrams