Anna Zalewska an application of mizar mse in a course in logic

In Jan T. J. Srzednicki (ed.), Initiatives in Logic. M. Nijhoff. pp. 224 (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,219

External links

  • This entry has no external links. Add one.
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 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.
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.
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..
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.
An Alternative Propositional Calculus for Application to Empirical Sciences.Paul Weingartner - 2010 - Studia Logica 95 (1-2):233 - 257.
Is calpain activity regulated by membranes and autolysis or by calcium and calpastatin?Darrel E. Goll, Valery F. Thompson, Richard G. Taylor & Teresa Zalewska - 1992 - Bioessays 14 (8):549-556.
Two kinds of unexpected problems in writings on logic.Anna Pietryga - 2006 - Logic and Logical Philosophy 15 (2):155-162.
The nature and application of inductive logic.Rudolf Carnap - 1951 - Chicago,: University of Chicago Press.

Analytics

Added to PP
2014-01-28

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