Using and parsing the mizar language

Electronic Notes in Theoretical Computer Science

Volumn 93, Issue , 2004, Pages 60-69

  Cairns, Paul ^a   Gow, Jeremy ^a  

^a UNIVERSITY COLLEGE LONDON   (United Kingdom)

Author keywords

Compiler compilers; Context free grammars; Mizar; Parser

Indexed keywords

CONTEXT FREE GRAMMARS; FORMAL LOGIC; ONLINE SYSTEMS; PROGRAM COMPILERS; SEMANTICS; STANDARDIZATION;

COMPILER COMPILERS; FORMAL MATHEMATICS; MIZAR LANGUAGE; PARSER;

FORMAL LANGUAGES;

EID: 18944369176     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2003.12.028     Document Type: Conference Paper

References (15)

1. Aho A.V., Sethi R., Ullman J.D. Compilers: Principles, Techniques and Tools. 1988;Addison-Wesley
2. Asperti A., Buchberger B., Davenport J.H. Proc. of the 2nd International Conference on Mathematical Knowledge Managemen. LNCS. 2594:2003;Springer
3. G. Bancerek & P. Rudnicki, Information retrieval in MML in [2], p119-132, 2003
4. Grundy J. A browsable format for proof presentation. Math. Universalis. 2:1996;http://www.ant.pl/MathUniversalis/2/grundy/mu.html
5. A. G. Hamilton, "Logic for Mathematicians", Cambridge, 1990
6. Irons E.T. A syntax directed compiler for Algol 60. reprinted in Comm. ACM. 26:(1):1983;14-16
7. Java Compiler Compiler. http://javacc.dev.java.net/
8. Journal of Formalized Mathematics. http://www.mizar.org/JFM/
9. Mizar Project Home Page. http://www.mizar.org/
10. Nederpelt R.P., Geuvers J.H., de Vrijer R.C. Selected Papers on Automath. Studies in Logic and the Foundations of Mathematics. Volume 133:1994;North-Holland
11. Rudnicki P. An overview of the Mizar project. Proceedings of 1992 Workshop on Types and Proofs for Programs. 1992
12. Thimbleby H., Ladkin P.B. A proper explanation when you need one. People and Computers X (HCI'95). 1995;107-118 Cambridge University Press
13. F. Wiedijk, "Comparing mathematical provers," in [2], pp188-202, 2003
14. Wenzel M. Isar - a generic interpretative approach to readable formal proof documents. Bertot Y., Dowek G., Hirschowitz A., Paulin C., Thery L. 12th International Conference on Theorem Proving in Higher Order Logics. LNCS. 1690:1999;Springer
15. Wenzel M., Wiedijk F. A comparison of the mathematical proof languages Mizar and Isar. Journal of Automated Reasoning. 29:(3-4):2002;389-411