Computer Environments for Proof Construction

&

Abstract

Richard Scheines and Wilfred Sieg. Computer Environments for Proof Construction

Categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,458

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

Proof Theory.Wilfried Sieg - unknown
Mechanisms and Search: Aspects of Proof Theory.Wilfried Sieg - unknown
Program Transformation and Proof Transformation.Wilfried Sieg & Stanley S. Wainer - unknown
Church's thesis, "consistency", "formalization", "proof theory" : dictionary entries.Wilfried Sieg - unknown
Normal Natural Deduction Proof (In Non-Classical Logics).Wilfried Sieg & Saverio Cittadini - unknown
S. Feferman and W. Sieg Inductive definitions and subsystems of analysis. Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies, by Wilfried Buchholz, Solomon Feferman, Wolfram Pohlers, and Wilfried Sieg. Lecture notes in mathematics, vol. 897, Springer-Verlag, Berlin, Heidelberg, and New York, 1981, pp. 16–77. - Solomon Feferman and Wilfried Sieg. Proof theoretic equivalences between classical and constructive theories for analysis. Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies, by Wilfried Buchholz, Solomon Feferman, Wolfram Pohlers, and Wilfried Sieg. Lecture notes in mathematics, vol. 897, Springer-Verlag, Berlin, Heidelberg, and New York, 1981, pp. 78–142. - Solomon Feferman. Iterated inductive fixed-point theories: application to Hancock's conjecture. Patras logic symposion, Proceedings of the logic symposion held at Patras, Greece, August 18–22, 1980, edited by George Metakides, Studies in logic. [REVIEW]Helmut Pfeiffer - 1994 - Journal of Symbolic Logic 59 (2):668-670.
Simulated Studies of the Reliability of Computer-Aided Model Specification Using the TETRAD, EQS and LISREL Programs.Peter Spirtes, Richard Scheines & Clark Glymour - unknown
An experimental comparison of alternative proof construction environments.Richard Scheines & Wilfried Sieg - unknown
Hilbert's Programs and Beyond.Wilfried Sieg - 2013 - Oxford, England: Oup Usa.
Computer support for collaborative learning environments.Heinz Mandl, Bernhard Ertl & Birgitta Kopp - unknown

Analytics

Added to PP
2010-09-17

Downloads
53 (#410,459)

6 months
7 (#715,360)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Richard Scheines
Carnegie Mellon University
Wilfried Sieg
Carnegie Mellon University

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references