An example of formalizing recent mathematical results in Mizar

Journal of Applied Logic 4 (4):396-413 (2006)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.jal.2005.10.003

Links

PhilArchive



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

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

MizarMode—an integrated proof assistance tool for the Mizar way of formalizing mathematics.Josef Urban - 2006 - Journal of Applied Logic 4 (4):414-427.
Formalizing falsification: Three delete operations.Rüdiger Schätz - 1990 - Mathematical Logic Quarterly 36 (5):455-470.
The Argument from Agreement and Mathematical Realism.Pieranna Garavaso - 1992 - Journal of Philosophical Research 17:173-187.
Probabilistic Regresses and the Availability Problem for Infinitism.Adam C. Podlaskowski & Joshua A. Smith - 2014 - Metaphilosophy 45 (2):211-220.
The use of Mizar MSE in a course in foundations of geometry.Lesław W. Szczerba - 1987 - In Jan T. J. Srzednicki (ed.), Initiatives in Logic. M. Nijhoff. pp. 231--232.
The Mizar Project.Andrzej Trybulec - 1991 - Bulletin of the Section of Logic 20 (3/4):90-91.
Topological reasoning and the logic of knowledge.Andrew Dabrowski, Lawrence S. Moss & Rohit Parikh - 1996 - Annals of Pure and Applied Logic 78 (1-3):73-110.
Mathematical intelligence, infinity and machines: beyond Godelitis.Giuseppe Longo - 1999 - Journal of Consciousness Studies 6 (11-12):11-12.
Formalizing Medieval Logic: Suppositio, Consequentiae and Obligationes : Dutilh NovaesCatarina.Formalizing medieval logical theories: suppositio, consequentiae and obligationes. [REVIEW]Mary Sirridge - 2009 - Journal of the History of Philosophy 47 (3):469-470.
From Practice to New Concepts: Geometric Properties of Groups.Irina Starikova - 2012 - Philosophia Scientiae 16 (1):129-151.
Understanding and Mathematical Fictionalism.B. Armour-Garb - 2011 - Philosophia Mathematica 19 (3):335-344.
An application of Mizar MSE in a course in logic.Anna Zalewska - 1987 - In Jan T. J. Srzednicki (ed.), Initiatives in Logic. M. Nijhoff. pp. 224--230.
Steps toward formalizing context.Varol Akman & Mehmet Surav - 1996 - AI Magazine 17 (3):55-72.
Formalizing context (expanded notes).John McCarthy & Sasa Buvac - 1998 - CSLI Lecture Notes 81:13-50.
Some observations on the substructure lattice of a 1 ultrapower.Thomas G. McLaughlin - 2010 - Mathematical Logic Quarterly 56 (3):323-330.

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

No references found.

Add more references