Intuitionistic Euler-Venn Diagrams

DOI10.1007/978-3-030-54249-8_21MaRDI QIDQ6485458zbMATH OpenFDO

Authors Sven Linker

Publication date 7 December 2022

Published in 1514.03036 (Search for Journal in Brave)

Mathematics Subject Classification ID

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

Recommendations

• Natural deduction for intuitionistic Euler-Venn diagrams
• Abstractions of Euler diagrams
• Set visualisations with Euler and Hasse diagrams
• Euler-type diagrams and the quantification of the predicate
• scientific article; zbMATH DE number 1670605
• Diagram Construction in Intuitionistic Logic
• Sequent Calculus for Euler Diagrams
• A diagrammatic inference system with Euler circles
• Intuitionistic N-graphs

Cited in

(7)

• Special issue on Euler and Venn diagrams: Guest editors' introduction
• Sequent Calculus for Euler Diagrams
• Natural deduction for intuitionistic Euler-Venn diagrams
• scientific article; zbMATH DE number 1670605 (Why is no real title available?)
• Abstractions of Euler diagrams
• Venn diagrams with ``most: a natural logic approach
• Euler’s visual logic

This page was built for publication: Intuitionistic Euler-Venn Diagrams

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