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)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,875 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesRobert W. Burch (1994). Game-Theoretical Semantics for Peirce's Existential Graphs. Synthese 99 (3):361 - 375.
Jesse Norman (2003). Provability in Peirce's Alpha Graphs. Transactions of the Charles S. Peirce Society 39 (1):23 - 41.
B. H. Slater (1998). Peirce's Graphs Amended. History and Philosophy of Logic 19 (2):101-106.
Carlos Areces, Patrick Blackburn, Antonia Huertas & María Manzano (forthcoming). Completeness in Hybrid Type Theory. Journal of Philosophical Logic:1-30.
Esther Ramharter & Christian Gottschall (2011). Peirce's Search for a Graphical Modal Logic (Propositional Part). History and Philosophy of Logic 32 (2):153 - 176.
George Bealer (1989). On the Identification of Properties and Propositional Functions. Linguistics and Philosophy 12 (1):1 - 14.
Jerome Frazee (1988). A New Symbolic Representation of the Basic Truth-Functions of the Propositional Calculus. History and Philosophy of Logic 9 (1):87-91.
Albert Visser (1981). A Propositional Logic with Explicit Fixed Points. Studia Logica 40 (2):155 - 175.
Eric M. Hammer (1998). Semantics for Existential Graphs. Journal of Philosophical Logic 27 (5):489-503.
Richard Zach (1999). Completeness Before Post: Bernays, Hilbert, and the Development of Propositional Logic. Bulletin of Symbolic Logic 5 (3):331-366.
P. N. Johnson-Laird (2002). Peirce, Logic Diagrams, and the Elementary Operations of Reasoning. Thinking and Reasoning 8 (1):69 – 95.
Kevin C. Klement, Propositional Logic. Internet Encyclopedia of Philosophy.
Merlijn Sevenster (2006). On the Computational Consequences of Independence in Propositional Logic. Synthese 149 (2):257 - 283.
Paul Oppenheimer & Edward N. Zalta (2011). Relations Vs Functions at the Foundations of Logic: Type-Theoretic Considerations. Journal of Logic and Computation 21:351-374.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2011-05-29Total downloads0Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
