MizarMode—an integrated proof assistance tool for the Mizar way of formalizing mathematics

Journal of Applied Logic 4 (4):414-427 (2006)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.jal.2005.10.004

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 102,661

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

An example of formalizing recent mathematical results in Mizar.Adam Naumowicz - 2006 - Journal of Applied Logic 4 (4):396-413.
The curious inference of Boolos in MIZAR and OMEGA.Christoph Benzmüller & Chad Brown - 2007 - In Matuszewski Roman & Zalewska Anna (eds.), From Insight to Proof -- Festschrift in Honour of Andrzej Trybulec. The University of Bialystok, Polen. pp. 299-388.
On the proof-theoretic strength of monotone induction in explicit mathematics.Thomas Glass, Michael Rathjen & Andreas Schlüter - 1997 - Annals of Pure and Applied Logic 85 (1):1-46.
Computer supported mathematics with Ωmega.Jörg Siekmann, Christoph Benzmüller & Serge Autexier - 2006 - Journal of Applied Logic 4 (4):533-559.
DIALOG: Tutorial Dialog with an Assistance System for Mathematics.Pinkal Manfred, Siekmann Jörg & Benzmüller Christoph - 2004
The Mizar Project.Andrzej Trybulec - 1991 - Bulletin of the Section of Logic 20 (3/4):90-91.
Proof Theory: History and Philosophical Significance.Vincent F. Hendricks, Stig Andur Pedersen & Klaus Frovin Jørgensen (eds.) - 2000 - Dordrecht and Boston: Kluwer Academic Publishers.
Formalization of Propositional Linear Temporal Logic in the Mizar System.Mariusz Giero - 2010 - Studies in Logic, Grammar and Rhetoric 22 (35).
An application of Mizar MSE in a course in logic.Anna Zalewska - 1987 - In Jan T. J. Srzednicki (ed.), Initiatives in logic. Boston: M. Nijhoff. pp. 224--230.
Logic of proofs.Sergei Artëmov - 1994 - Annals of Pure and Applied Logic 67 (1-3):29-59.

Analytics

Added to PP
2016-06-30

Downloads
9 (#1,549,197)

6 months
4 (#1,064,894)

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

A Brief History of Natural Deduction.Francis Jeffry Pelletier - 1999 - History and Philosophy of Logic 20 (1):1-31.
The nature of heuristics.Douglas B. Lenat - 1982 - Artificial Intelligence 19 (2):189-249.

Add more references