An application of Mizar MSE in a course in logic

In Jan T. J. Srzednicki (ed.), Initiatives in logic. Boston: M. Nijhoff. pp. 224--230 (1987)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,173

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

Anna Zalewska an application of mizar mse in a course in logic.A. Course In Logic - 1987 - In Jan T. J. Srzednicki (ed.), Initiatives in logic. Boston: M. Nijhoff. pp. 224.
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. Boston: M. Nijhoff. pp. 231--232.
The Mizar Project.Andrzej Trybulec - 1991 - Bulletin of the Section of Logic 20 (3/4):90-91.
Formalization of Propositional Linear Temporal Logic in the Mizar System.Mariusz Giero - 2010 - Studies in Logic, Grammar and Rhetoric 22 (35).
How to Define Terms in Mizar Effectively.Artur Korniłowicz - 2009 - Studies in Logic, Grammar and Rhetoric 18 (31).
An example of formalizing recent mathematical results in Mizar.Adam Naumowicz - 2006 - Journal of Applied Logic 4 (4):396-413.
MizarMode—an integrated proof assistance tool for the Mizar way of formalizing mathematics.Josef Urban - 2006 - Journal of Applied Logic 4 (4):414-427.
Enhanced Processing of Adjectives in Mizar.Adam Naumowicz - 2009 - Studies in Logic, Grammar and Rhetoric 18 (31).
Combining Mizar and TPTP Semantic Presentation and Verification Tools.Josef Urban, Geoff Sutcliffe, Steven Trac & Yury Puzis - 2009 - Studies in Logic, Grammar and Rhetoric 18 (31).
Improving Represntations of Knowledge within the Mizar Library.Adam Grabowski & Christoph Schwarzweller - 2009 - Studies in Logic, Grammar and Rhetoric 18 (31).

Analytics

Added to PP
2014-01-28

Downloads
11 (#1,415,873)

6 months
2 (#1,686,184)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Anna Zalewska
University of Lodz

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references