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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,322

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.
Proof in Mathematics: An Introduction.James Franklin - 1996 - Sydney, Australia: Quakers Hill Press.
Argument and explanation in mathematics.Michel Dufour - 2013 - In Dima Mohammed and Marcin Lewiński (ed.), Virtues of Argumentation. Proceedings of the 10th International Conference of the Ontario Society for the Study of Argumentation (OSSA), 22-26 May 2013. pp. pp. 1-14..
Proof, Logic and Formalization.Michael Detlefsen (ed.) - 1992 - London, England: Routledge.
Proof in mathematics ("if", "then" and "perhaps"): a collection of material illustrating the nature and variety of the idea of proof in mathematics.P. R. Baxandall (ed.) - 1978 - [Keele]: University of Keele, Institute of Education.
First‐year secondary school mathematics students' conceptions of mathematical proofs and proving.Savas Basturk - 2010 - Educational Studies 36 (3):283-298.
Formalizing Darwinism, Naturalizing Mathematics.Fabio Sterpetti - 2015 - Paradigmi. Rivista di Critica Filosofica 33 (2):133-160.
The strength of some Martin-Löf type theories.Edward Griffor & Michael Rathjen - 1994 - Archive for Mathematical Logic 33 (5):347-385.
Proofs and arguments: The special case of mathematics.Jean Paul Van Bendegem - 2005 - Poznan Studies in the Philosophy of the Sciences and the Humanities 84 (1):157-169.
Introduction to proof in abstract mathematics.Andrew Wohlgemuth - 2011 - Mineola, N.Y.: Dover Publications.
On the roles of proof in mathematics.Joseph Auslander - 2008 - In Bonnie Gold & Roger Simons (eds.), Proof and Other Dilemmas: Mathematics and Philosophy. Mathematical Association of America. pp. 61--77.
An Introduction to Mathematical Reasoning: Lectures on Numbers, Sets, and Functions.Peter J. Eccles - 1997 - Cambridge University Press.
Gabriele Lolli. Fenomenologia della dimostrazione. Turin: Il Mulino, 2005. ISBN 88-339-1588-3. Pp. 182.V. Giardino - 2007 - Philosophia Mathematica 15 (1):132-134.
A Note on the Relation Between Formal and Informal Proof.Jörgen Sjögren - 2010 - Acta Analytica 25 (4):447-458.
Proof theory in philosophy of mathematics.Andrew Arana - 2010 - Philosophy Compass 5 (4):336-347.

Analytics

Added to PP
2016-06-30

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
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