- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
$$hbox {Venn}{i{o1}}$$ Venn i o 1 : A Diagram System for Universe Without Boundary
Logica Universalis 13 (3):289-346 (2019)
Abstract
A new diagram system \ where properties are fundamental and an object exists only w.r.t a property is presented. This work modifies both in syntax and semantics the system \ proposed by Choudhury and Chakraborty to picturise and address issues connected with open universe. Semantics for the current system is given. Soundness and completeness w.r.t the semantics are established.Author Profiles
Other Versions
No versions found
My notes
Similar books and articles
Venn Diagram with Names of Individuals and Their Absence: A Non-classical Diagram Logic.Reetu Bhattacharjee, Mihir Kr Chakraborty & Lopamudra Choudhury - 2018 - Logica Universalis 12 (1-2):141-206.
Set Venn Diagrams Applied to Inclusions and Non-inclusions.Renata de Freitas & Petrucio Viana - 2015 - Journal of Logic, Language and Information 24 (4):457-485.
Calculus CL as a Formal System.Jens Lemanski & Ludger Jansen - 2020 - In Ahti Veikko Pietarinen, Peter Chapman, Leonie Bosveld-de Smet, Valeria Giardino, James Corter & Sven Linker, Diagrammatic Representation and Inference. Diagrams 2020. Lecture Notes in Computer Science, vol 12169. 2020. pp. 445-460.
A Brief Proof of the Full Completeness of Shin’s Venn Diagram Proof System.Nathaniel Miller - 2006 - Journal of Philosophical Logic 35 (3):289-291.
Algebraic semantics for deductive systems.W. Blok & J. Rebagliato - 2003 - Studia Logica 74 (1-2):153 - 180.
A Kripke semantics for the logic of Gelfand quantales.Gerard Allwein & Wendy MacCaull - 2001 - Studia Logica 68 (2):173-228.
Interpretability logics and generalised Veltman semantics.Luka Mikec & Mladen Vuković - 2020 - Journal of Symbolic Logic 85 (2):749-772.
Analytics
Added to PP
2019-08-09
Downloads
48 (#545,871)
6 months
14 (#314,789)
2019-08-09
Downloads
48 (#545,871)
6 months
14 (#314,789)
Historical graph of downloads
Author Profiles
References found in this work
Gamma graph calculi for modal logics.Minghui Ma & Ahti-Veikko Pietarinen - 2018 - Synthese 195 (8):3621-3650.
Venn Diagram with Names of Individuals and Their Absence: A Non-classical Diagram Logic.Reetu Bhattacharjee, Mihir Kr Chakraborty & Lopamudra Choudhury - 2018 - Logica Universalis 12 (1-2):141-206.
On extending Venn diagram by augmenting names of individuals.L. Choudhury & Mihir K. Chakraborty - 2004 - In A. Blackwell, K. Marriott & A. Shimojima, Diagrammatic Representation and Inference. Springer. pp. 142--146.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-6dc498764b-4pdvg uwo