\(\mathrm{Venn}_{i_{o1}} \): a diagram system for universe without boundary

DOI10.1007/s11787-019-00227-zzbMath1456.03057OpenAlexW2965441457MaRDI QIDQ2011376

Lopamudra Choudhury, Reetu Bhattacharjee, Mihir Kumar Chakraborty

Publication date: 6 December 2019

Published in: Logica Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11787-019-00227-z

zbMATH Keywords

recursive enumerabilitydiagram logicempty termpositive and negative propertyproperty and its extensionVenn's system

Mathematics Subject Classification ID

General logic (03B99)

Related Items (1)

The Representation of Negative Terms with Euler Diagrams

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Venn diagram with names of individuals and their absence: a non-classical diagram logic
• Minimizing clutter using absence in Venn-\(\text i^{\text e}\)
• Gamma graph calculi for modal logics
• Peirce’s Sequent Proofs of Distributivity
• Spider Diagrams
• Diagrammatic Representation and Inference

This page was built for publication: \(\mathrm{Venn}_{i_{o1}} \): a diagram system for universe without boundary