Categories

Add categories

Keywords

Reprint years

Links

PhilArchive



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

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

Program Extraction from Normalization Proofs.Ulrich Berger, Stefan Berghofer, Pierre Letouzey & Helmut Schwichtenberg - 2006 - Studia Logica 82 (1):25-49.
A Computer Tutor for Formal & Applied Logic: A Proposal to NCR Corporation.Preston K. Covey - unknown
Defeasible reasoning and informal fallacies.Douglas Walton - 2011 - Synthese 179 (3):377 - 407.
O pojęciu prawdy w intuicjonizmie matematycznym.Zbigniew Tworak - 2010 - Filozofia Nauki 18 (4).
Speedith: A Reasoner for Spider Diagrams.Matej Urbas, Mateja Jamnik & Gem Stapleton - 2015 - Journal of Logic, Language and Information 24 (4):487-540.
Evidence, proof, and facts: a book of sources.Peter Murphy (ed.) - 2003 - New York ;: Oxford University Press.
Automatic Learning of Proof Methods in Proof Planning.Mateja Jamnik, Manfred Kerber, Martin Pollet & Christoph Benzmüller - 2003 - Logic Journal of the IGPL 11 (6):647-673.
Encoding modal logics in logical frameworks.Arnon Avron, Furio Honsell, Marino Miculan & Cristian Paravano - 1998 - Studia Logica 60 (1):161-208.
Sequent reconstruction in LLM—A sweepline proof.R. Banach - 1995 - Annals of Pure and Applied Logic 73 (3):277-295.
A proof-centric approach to mathematical assistants.Lucas Dixon & Jacques Fleuriot - 2006 - Journal of Applied Logic 4 (4):505-532.
Automated deduction in a graphical temporal logic.L. E. Moser, P. M. Melliar-Smith, Y. S. Ramakrishna, G. Kutty & L. K. Dillon - 1996 - Journal of Applied Non-Classical Logics 6 (1):29-47.
Computers, justification, and mathematical knowledge.Konstantine Arkoudas & Selmer Bringsjord - 2007 - Minds and Machines 17 (2):185-202.
Proof verification and proof discovery for relativity.Naveen Sundar Govindarajalulu, Selmer Bringsjord & Joshua Taylor - 2015 - Synthese 192 (7):2077-2094.
Proof: Its nature and significance.Michael Detlefsen - 2008 - In Bonnie Gold & Roger A. Simons (eds.), Proof and Other Dilemmas: Mathematics and Philosophy. Mathematical Association of America. pp. 1.
Is Euclid's proof of the infinitude of prime numbers tautological?Zeeshan Mahmud - manuscript

Analytics

Added to PP
2017-12-04

Downloads
9 (#1,261,065)

6 months
2 (#1,206,551)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references