Abstract
This paper describes WinKE, an interactive proof assistant, which is based on the KE calculus. The software has been designed to serve as a tutoring system supporting the teaching of logic and theorem proving through KE.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
J. Barwise and J. Etchemendy. Tarski’s World. CSLI Publications, Stanford, 1991.
J. Barwise and J. Etchemendy. Hyperproof. CSLI Publications, Stanford, 1994.
K. Broda, M. D’Agostino, and M. Mondadori. A solution to a problem of Popper. In The Epistemology of Karl Popper. Kluwer Academic Publishers. To appear.
M. D’Agostino and M. Mondadori. The taming of the cut. Classical refutations with analytic cut. Journal of Logic and Computation, 3:285–319, 1994.
M. Mondadori and M. D’Agostino. Logica. Edizioni Scolastiche Bruno Mondadori, Milan, 1997. English translation in preparation.
J. Pitt. MacKE: Yet another proof assistant & automated pedagogic tool. In P. Baumgärtner et al., editors, Theorem Proving with Analytic Tableaux and Related Methods (TABLEAUX’95), vol. 918 of LNAI, pages 324–337. Springer-Verlag, 1995.
M. Potter and D. Watt. Tableau II: A logic teaching program. Technical report, Oxford University Computing Services, Learning and Resource Centre, Oxford, 1988.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Endriss, U. (1999). An Interactive Theorem Proving Assistant. In: Murray, N.V. (eds) Automated Reasoning with Analytic Tableaux and Related Methods. TABLEAUX 1999. Lecture Notes in Computer Science(), vol 1617. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48754-9_26
Download citation
DOI: https://doi.org/10.1007/3-540-48754-9_26
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-66086-6
Online ISBN: 978-3-540-48754-8
eBook Packages: Springer Book Archive