Intuitionistic Euler-Venn Diagrams

DOI10.1007/978-3-030-54249-8_21MaRDI QIDQ6485458FDOQ6485458

Authors: Sven Linker 

Publication date: 7 December 2022

Published in: 1514.03036 (Search for Journal in Brave)

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

Mathematics Subject Classification ID

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

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
• Title not available (Why is that?)
• 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)