$$hbox {Venn}{i{o1}}$$ Venn i o 1 : A Diagram System for Universe Without Boundary

, &
Logica Universalis 13 (3):289-346 (2019)
  Copy   BIBTEX

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.

Categories

Add categories

Keywords

Reprint years

DOI

10.1007/s11787-019-00227-z

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,069

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

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.
Valid Reasoning and Visual Representation.Sun-joo Shin - 1991 - Dissertation, Stanford University
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 (eds.), Diagrammatic Representation and Inference. Diagrams 2020. Lecture Notes in Computer Science, vol 12169. 2020. 93413 Cham, Deutschland: pp. 445-460.
A Game Semantics for System P.J. Marti & R. Pinosio - 2016 - Studia Logica 104 (6):1119-1144.
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.
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. J. Blok & J. Rebagliato - 2003 - Studia Logica 74 (1-2):153 - 180.
Algebraic Semantics for Deductive Systems.W. Blok & J. Rebagliato - 2003 - Studia Logica 74 (1-2):153-180.
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
31 (#532,887)

6 months
7 (#491,170)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Citations of this work

No citations found.

Add more citations

References found in this work

Symbolic Logic.John Venn - 1881 - Mind 6 (24):574-581.
Symbolic Logic.Peter Alexander - 1978 - Philosophical Quarterly 28 (113):348.
On extending Venn diagram by augmenting names of individuals.L. Choudhury & Mihir K. Chakraborty - 2004 - In A. Blackwell, K. Marriott & A. Shimojima (eds.), Diagrammatic Representation and Inference. Springer. pp. 142--146.
Review of Sun-Joo Shin: The Logical Status of Diagrams. [REVIEW]Sun-joo Shin - 1997 - British Journal for the Philosophy of Science 48 (2):290-291.

View all 6 references / Add more references