Doctoral Dissertations in Logic
Mirjana Borisavljević (2012)
Review of the National Center for Digitization
Similarity:
Displaying similar documents to “Helena Rasiowa, 1917-1994”
Doctoral Dissertations in Logic
A Brief History of Mathematical Logic at the Faculty of Science in Kragujevac
Nebojša Ikodinović (2012)
Review of the National Center for Digitization
Similarity:
Dialectics and Logic
Svetlana Knjazev Adamović (2012)
Review of the National Center for Digitization
Similarity:
Aleksandar Kron (1937—2000)
Miodrag Kapetanović (2007)
Publications de l'Institut Mathématique
Similarity:
Dark age (but not obscure) logic -- a brief excursion.
De Freitas, Antonio (2002)
Boletín de la Asociación Matemática Venezolana
Similarity:
Addendum to the Paper “Doctoral Dissertations in Logic from Virtual Library of Faculty of Mathematics in Belgrade”
Mirjana Borisavljević (2010)
Review of the National Center for Digitization
Similarity:
Doctoral Dissertations in Logic from Virtual Library of the Faculty of Mathematics in Belgrade
Mirjana Borisavljević (2010)
Review of the National Center for Digitization
Similarity:
Deduction in many-valued logics: a survey.
Reiner Hähnle, Gonzalo Escalada-Imaz (1997)
Mathware and Soft Computing
Similarity:
On the Leibniz congruences
Josep Font (1993)
Banach Center Publications
Similarity:
The aim of this paper is to discuss the motivation for a new general algebraic semantics for deductive systems, to introduce it, and to present an outline of its main features. Some tools from the theory of abstract logics are also introduced, and two classifications of deductive systems are analysed: one is based on the behaviour of the Leibniz congruence (the maximum congruence of a logical matrix) and the other on the behaviour of the Frege operator (which associates to every theory...
Preface, Contents
Damian Niwiński, Marek Zawadowski (1999)
Banach Center Publications
Similarity:
Grzegorczyk’s Logics. Part I
Taneli Huuskonen (2015)
Formalized Mathematics
Similarity:
This article is the second in a series formalizing some results in my joint work with Prof. Joanna Golinska-Pilarek ([9] and [10]) concerning a logic proposed by Prof. Andrzej Grzegorczyk ([11]). This part presents the syntax and axioms of Grzegorczyk’s Logic of Descriptions (LD) as originally proposed by him, as well as some theorems not depending on any semantic constructions. There are both some clear similarities and fundamental differences between LD and the non-Fregean logics introduced...