Peirce's Alpha Graphs: The Completeness of Propositional Logic and the Fast Simplification of Truth-Functions

Transactions of the Charles S. Peirce Society 20 (4):351 - 361 (1984)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



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

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

Game-theoretical semantics for Peirce's existential graphs.Robert W. Burch - 1994 - Synthese 99 (3):361 - 375.
Provability in Peirce's Alpha Graphs.Jesse Norman - 2003 - Transactions of the Charles S. Peirce Society 39 (1):23 - 41.
Peirce’s graphs amended.B. H. Slater - 1998 - History and Philosophy of Logic 19 (2):101-106.
Completeness in Hybrid Type Theory.Carlos Areces, Patrick Blackburn, Antonia Huertas & María Manzano - 2013 - Journal of Philosophical Logic (2-3):1-30.
Peirce's Search for a Graphical Modal Logic (Propositional Part).Esther Ramharter & Christian Gottschall - 2011 - History and Philosophy of Logic 32 (2):153 - 176.
On the identification of properties and propositional functions.George Bealer - 1989 - Linguistics and Philosophy 12 (1):1 - 14.
.Jay Zeman - unknown
A new symbolic representation of the basic truth-functions of the propositional calculus.Jerome Frazee - 1988 - History and Philosophy of Logic 9 (1):87-91.
A propositional logic with explicit fixed points.Albert Visser - 1981 - Studia Logica 40 (2):155 - 175.
Semantics for existential graphs.Eric M. Hammer - 1998 - Journal of Philosophical Logic 27 (5):489-503.
Completeness before Post: Bernays, Hilbert, and the development of propositional logic.Richard Zach - 1999 - Bulletin of Symbolic Logic 5 (3):331-366.
Peirce, logic diagrams, and the elementary operations of reasoning.P. N. Johnson-Laird - 2002 - Thinking and Reasoning 8 (1):69 – 95.
Propositional logic.Kevin C. Klement - 2004 - Internet Encyclopedia of Philosophy.
Relations vs functions at the foundations of logic: type-theoretic considerations.Paul Oppenheimer & Edward N. Zalta - 2011 - Journal of Logic and Computation 21:351-374.

Analytics

Added to PP
2011-05-29

Downloads
32 (#515,092)

6 months
5 (#710,646)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Truth Diagrams Versus Extant Notations for Propositional Logic.Peter C.-H. Cheng - 2020 - Journal of Logic, Language and Information 29 (2):121-161.

Add more citations

References found in this work

No references found.

Add more references