Venn_i_o1 : a diagram system for universe without boundary

DOI10.1007/S11787-019-00227-ZzbMATH Open1456.03057OpenAlexW2965441457MaRDI QIDQ2011376FDOQ2011376

Authors: Reetu Bhattacharjee, Lopamudra Choudhury, Mihir K. 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

Recommendations

• Universism and extensions of \(V\)
• scientific article; zbMATH DE number 3959489
• On the diagrammatic representation of existential statements with Venn diagrams
• Ordinal diagrams for recursively Mahlo universes
• Systems on universe spaces
• Universes in explicit mathematics
• scientific article
• scientific article; zbMATH DE number 2247252
• Towards a theory of universes: structure theory and the mathematical universe hypothesis
• scientific article; zbMATH DE number 4057512

zbMATH Keywords

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

Mathematics Subject Classification ID

General logic (03B99)

Cites Work

• Gamma graph calculi for modal logics
• Title not available (Why is that?)
• Title not available (Why is that?)
• Diagrammatic Representation and Inference
• Title not available (Why is that?)
• Spider Diagrams
• Venn diagram with names of individuals and their absence: a non-classical diagram logic
• Minimizing clutter using absence in Venn-\(\text i^{\text e}\)
• A survey of reasoning systems based on Euler diagrams
• Peirce’s Sequent Proofs of Distributivity

Cited In (1)

• The Representation of Negative Terms with Euler Diagrams

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

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