Peircean graphs for propositional logic

In Gerard Allwein & Jon Barwise (eds.), Logical Reasoning with Diagrams. Oxford University Press (1996)
  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,611

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.
On the expressiveness of frame satisfiability and fragments of second-order logic.Thomas Eiter & Georg Gottlob - 1998 - Journal of Symbolic Logic 63 (1):73-82.
Propositional discourse logic.Sjur Dyrkolbotn & Michał Walicki - 2014 - Synthese 191 (5):863-899.
Semantics for existential graphs.Eric M. Hammer - 1998 - Journal of Philosophical Logic 27 (5):489-503.
Interpolants, cut elimination and flow graphs for the propositional calculus.Alessandra Carbone - 1997 - Annals of Pure and Applied Logic 83 (3):249-299.
Expansions of Ultrahomogeneous Graphs.J. E. Helmreich - 1995 - Notre Dame Journal of Formal Logic 36 (3):414-424.
Small universal families for graphs omitting cliques without GCH.Katherine Thompson - 2010 - Archive for Mathematical Logic 49 (7-8):799-811.
Axiomatization of 'peircean' branching-time logic.Alberto Zanardo - 1990 - Studia Logica 49 (2):183 - 195.
Peirce's Alpha Graphs: The Completeness of Propositional Logic and the Fast Simplification of Truth-Functions.Richard B. White - 1984 - Transactions of the Charles S. Peirce Society 20 (4):351 - 361.
A propositional dynamic logic with qualitative probabilities.Dimitar P. Guelev - 1999 - Journal of Philosophical Logic 28 (6):575-604.
Simplified Lower Bounds for Propositional Proofs.Alasdair Urquhart & Xudong Fu - 1996 - Notre Dame Journal of Formal Logic 37 (4):523-544.
On Interpreting the S5 Propositional Calculus: an essay in philosophical logic.Michael J. Carroll - 1976 - Dissertation, University of Iowa

Analytics

Added to PP
2014-01-28

Downloads
25 (#638,434)

6 months
15 (#174,673)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Notational Differences.Francesco Bellucci & Ahti-Veikko Pietarinen - 2020 - Acta Analytica 35 (2):289-314.

View all 6 citations / Add more citations

References found in this work

No references found.

Add more references