Mechanisms and Search: Aspects of Proof Theory

Abstract

Wilfred Sieg. Mechanisms and Search: Aspects of Proof Theory

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,592

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

  • Only published works are available at libraries.

My notes

Similar books and articles

Reductive logic and proof-search: proof theory, semantics, and control.David J. Pym - 2004 - New York: Oxford University Press. Edited by Eike Ritter.
Proof Theory.Wilfried Sieg - unknown
Intuitionistic Logic Freed of All Metarules.Giovanna Corsi & Gabriele Tassi - 2007 - Journal of Symbolic Logic 72 (4):1204 - 1218.
Cut-elimination and proof-search for bi-intuitionistic logic using nested sequents.Rajeev Goré, Linda Postniece & Alwen Tiu - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 43-66.
Handbook of proof theory.Samuel R. Buss (ed.) - 1998 - New York: Elsevier.
In Search of Mechanisms in Neuroscience.Sasan Haghighi - manuscript
Church's thesis, "consistency", "formalization", "proof theory" : dictionary entries.Wilfried Sieg - unknown
The cost of a cycle is a square.A. Carbone - 2002 - Journal of Symbolic Logic 67 (1):35-60.
On different proof-search strategies for orthologic.Uwe Egly & Hans Tompits - 2003 - Studia Logica 73 (1):131 - 152.
A Shell for Generic Interactive Proof Search.Aleksey Novodvorsky & Aleksey Smirnov - 1998 - Journal of Applied Non-Classical Logics 8 (1-2):123-140.
Foundations for analysis and proof theory.Wilfried Sieg - 1984 - Synthese 60 (2):159 - 200.
Hilbert's Proof Theory.Wilfried Sieg - 2009 - In Dov Gabbay (ed.), The Handbook of the History of Logic. Elsevier. pp. 5--321.
Научный поиск как творческий процесс.Niginahon Shermuhamedova - 2008 - Proceedings of the Xxii World Congress of Philosophy 53:367-375.
Proof theory: a selection of papers from the Leeds Proof Theory Programme, 1990.Peter Aczel, Harold Simmons & Stanley S. Wainer (eds.) - 1992 - New York: Cambridge University Press.

Analytics

Added to PP
2014-04-05

Downloads
13 (#1,029,505)

6 months
2 (#1,192,610)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Wilfried Sieg
Carnegie Mellon University

Citations of this work

Add more citations

References found in this work

No references found.

Add more references