An application of Mizar MSE in a course in logic

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

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



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

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. M. Nijhoff. pp. 224.
The Mizar Project.Andrzej Trybulec - 1991 - Bulletin of the Section of Logic 20 (3/4):90-91.
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.
Logika i jej zastosowanie w świetle wczesnej filozofii Ludwiga Wittgensteina. Ideografia logiczna a język naturalny.Mateusz Marek Radzki - 2010 - Filozofia Nauki 18 (1).
Interactive Logic in the Middle Ages.Sara L. Uckelman - 2012 - Logic and Logical Philosophy 21 (4):439-471.
Relevance logic as a conservative extension of classical logic.David C. Makinson - 2014 - In Sven Ove Hansson (ed.), David Makinson on Classical Methods for Non-Classical Problems. Series: Outstanding Contributions to Logic. Springer.
Conceptual completeness for first-order Intuitionistic logic: an application of categorical logic.Andrew M. Pitts - 1989 - Annals of Pure and Applied Logic 41 (1):33-81.
An Alternative Propositional Calculus for Application to Empirical Sciences.Paul Weingartner - 2010 - Studia Logica 95 (1-2):233 - 257.
Buddhist logic and apologetics in 17th century China: An analysis of the use of Buddhist syllogisms in an anti-Christian polemic.Jiang Wu - 2003 - Dao: A Journal of Comparative Philosophy 2 (2):273-289.
A formalization of kant’s transcendental logic.Theodora Achourioti & Michiel van Lambalgen - 2011 - Review of Symbolic Logic 4 (2):254-289.
The logic of conditionals: an application of probability to deductive logic.Ernest Wilcox Adams - 1996 - Boston: D. Reidel Pub. Co..
The nature and application of inductive logic.Rudolf Carnap - 1951 - Chicago,: University of Chicago Press.
Review: H. Rasiowa, R. Sikorski, An Application of Lattices to Logic. [REVIEW]Donald Monk - 1970 - Journal of Symbolic Logic 35 (1):137-137.
Review: Rudolf Carnap, On the Application of Inductive Logic. [REVIEW]C. West Churchman - 1948 - Journal of Symbolic Logic 13 (2):120-121.

Analytics

Added to PP
2014-01-28

Downloads
8 (#1,291,989)

6 months
3 (#1,002,413)

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

No references found.

Add more references