Overview
Generator
L & P
Proof Tutor
Proof Lab
Participants
automated proof search
Overview
Connections
Evolution
Direction
References
References
Wilfried Sieg, Richard Scheines.
Search for Proofs (in Sentential Logic).
Philosophy and the Computer (L. Burkholder, editor), 137-159, 1992
Richard Scheines, Wilfried Sieg.
Computer Environments for Proof Construction.
Interactive Learning environments Vol. 4 Issue (2), 159-169, 1994.
Wilfried Sieg, John Byrnes.
Normal Natural Deduction Proofs (in classical logic)
. Studia Logica 60, 67-106, 1998.
Wilfried Sieg, Saverio Cittadini.
Normal Natural Deduction Proofs (in Non-classical logics)
. Mechanizing Mathematical Reasoning, LNAI 2605, 169-191, 2005.
Wilfried Sieg, Clinton Field.
Automated search for Gödel's proofs
Wilfried Sieg.
AProS Project: Strategic Thinking & Computational Logic