Linear notation for existential graphs

Semiotica 2011 (186):129-140 (2011)
  Copy   BIBTEX

Abstract

A linear notation for Charles S. Peirce's alpha and beta diagrammatic systems of existential graphs is presented. These two systems are equivalent to propositional and first-order logic. Some differences between the linear and graphical notation are analyzed, revealing some of the strengths and weaknesses of Peirce's system

Categories

Keywords

Reprint years

DOI

10.1515/semi.2011.049

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,100

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

Semantics for existential graphs.Eric M. Hammer - 1998 - Journal of Philosophical Logic 27 (5):489-503.
.Jay Zeman - unknown
Game-theoretical semantics for Peirce's existential graphs.Robert W. Burch - 1994 - Synthese 99 (3):361 - 375.
Reachability is harder for directed than for undirected finite graphs.Miklos Ajtai & Ronald Fagin - 1990 - Journal of Symbolic Logic 55 (1):113-150.
The hardness of the iconic must: can Peirce’s existential graphs assist modal epistemology.Catherine Legg - 2012 - Philosophia Mathematica 20 (1):1-24.
A new correctness criterion for the proof nets of non-commutative multiplicative linear logics.Misao Nagayama & Mitsuhiro Okada - 2001 - Journal of Symbolic Logic 66 (4):1524-1542.
E-type interpretation without E-type pronoun: how Peirce’s Graphs capture the uniqueness implication of donkey pronouns in discourse anaphora.Chuansheng He - 2015 - Synthese 192 (4):1-20.
Interpolation in fragments of classical linear logic.Dirk Roorda - 1994 - Journal of Symbolic Logic 59 (2):419-444.
Explicit graphs and computer-aided notation.Wolfram Kahl - 1999 - Semiotica 125 (1-3):143-154.
Planar and braided proof-nets for multiplicative linear logic with mix.G. Bellin & A. Fleury - 1998 - Archive for Mathematical Logic 37 (5-6):309-325.
Compositionality, Relevance, and Peirce’s Logic of Existential Graphs.Ahti-Veikko Pietarinen - 2005 - Axiomathes 15 (4):513-540.
Peirce’s Contributions to Possible-Worlds Semantics.Ahti-Veikko Pietarinen - 2006 - Studia Logica 82 (3):345 - 369.
Towards a characterization of order-invariant queries over tame graphs.Michael A. Benedikt & Luc Segoufin - 2009 - Journal of Symbolic Logic 74 (1):168-186.
Syllogistic logic in linear notation.Samuel M. Thompson - 1942 - Philosophy of Science 9 (4):362-366.
Ligatures in Peirce's existential graphs.Frithjof Dau - 2011 - Semiotica 2011 (186):89-109.

Analytics

Added to PP
2013-12-17

Downloads
39 (#409,882)

6 months
21 (#127,002)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references