Analytic logic of proofs

&
Annals of Pure and Applied Logic (forthcoming)
  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: 91,219

External links

  • This entry has no external links. Add one.
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

On the importance of being analytic. The paradigmatic case of the logic of proofs.Francesca Poggiolesi - 2012 - Logique Et Analyse 55 (219):443-461.
Why do informal proofs conform to formal norms?Jody Azzouni - 2009 - Foundations of Science 14 (1-2):9-26.
Socratic proofs.Andrzej Wiśniewski - 2004 - Journal of Philosophical Logic 33 (3):299-326.
The logic of proofs, semantically.Melvin Fitting - 2005 - Annals of Pure and Applied Logic 132 (1):1-25.
On analytic filters and prefilters.Samy Zafrany - 1990 - Journal of Symbolic Logic 55 (1):315-322.
Some consistency proofs and a characterization of inconsistency proofs in illative combinatory logic.M. W. Bunder - 1987 - Journal of Symbolic Logic 52 (1):89-110.
Stability proofs and consistency proofs: A loose analogy.Norwood Russell Hanson - 1964 - Philosophy of Science 31 (4):301-318.
An operational logic of proofs with positive and negative information.Duccio Luchi & Franco Montagna - 1999 - Studia Logica 63 (1):7-25.
Analytic cut trees.Carlo Cellucci - 2000 - Logic Journal of the IGPL 8 (6):733-750.
The Complexity of Analytic Tableaux.Noriko H. Arai, Toniann Pitassi & Alasdair Urquhart - 2006 - Journal of Symbolic Logic 71 (3):777 - 790.
Classical logic, intuitionistic logic, and the Peirce rule.Henry Africk - 1992 - Notre Dame Journal of Formal Logic 33 (2):229-235.
Are tableaux an improvement on truth-tables?Marcello D'Agostino - 1992 - Journal of Logic, Language and Information 1 (3):235-252.
Rational episodes: logic for the intermittently reasonable.Keith M. Parsons - 2009 - Amherst, N.Y.: Prometheus Books.
Aspects of analytic deduction.Athanassios Tzouvaras - 1996 - Journal of Philosophical Logic 25 (6):581-596.

Analytics

Added to PP
2013-01-17

Downloads
32 (#473,773)

6 months
1 (#1,459,555)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Add more citations

References found in this work

No references found.

Add more references