Venn_i_o1 : a diagram system for universe without boundary
From MaRDI portal
Publication:2011376
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; zbMATH DE number 67681
- scientific article; zbMATH DE number 2247252
- Towards a theory of universes: structure theory and the mathematical universe hypothesis
- scientific article; zbMATH DE number 4057512
Cites work
- scientific article; zbMATH DE number 1237648 (Why is no real title available?)
- scientific article; zbMATH DE number 794693 (Why is no real title available?)
- scientific article; zbMATH DE number 918108 (Why is no real title available?)
- A survey of reasoning systems based on Euler diagrams
- Diagrammatic Representation and Inference
- Gamma graph calculi for modal logics
- Minimizing clutter using absence in Venn-\(\text i^{\text e}\)
- Peirce's sequent proofs of distributivity
- Spider Diagrams
- Venn diagram with names of individuals and their absence: a non-classical diagram logic
Cited in
(2)
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)
