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:
Displaying similar documents to “Preface”
A Brief History of Mathematical Logic at the Faculty of Science in Kragujevac
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:
Dialectics and Logic
Svetlana Knjazev Adamović (2012)
Review of the National Center for Digitization
Similarity:
Applications of Algebra in Logic and Computer Science – the Past and the Future
Joanna Grygiel (2018)
Bulletin of the Section of Logic
Similarity:
We present the history of the conference Applications of Algebra in Logic and Computer Science, whose twenty-third edition will be held in March, 2019. At the end we outline some plans for the future.
Doctoral Dissertations in Logic
Mirjana Borisavljević (2012)
Review of the National Center for Digitization
Similarity:
Slovenian Competitions in Logic
Izidor Hafner (2012)
Review of the National Center for Digitization
Similarity:
C.S. Peirce: pragmatism and logicism
Jaime Nubiola (1996)
Philosophia Scientiae
Similarity:
Logic of existence and logic of knowledge. Epistemic and non epistemic aspects of logic
Michel Bourdeau (2003)
Philosophia Scientiae
Similarity:
Contrairement à ce qui a parfois été dit, la logique classique et la logique intuitionniste ne s’opposent pas comme une logique de l’existence à une logique de la connaissance. Les considérations épistémologiques trouvent naturellement leur place dans le cadre de la logique classique, sans qu’il soit nécessaire de faire intervenir aucun principe intuitionniste ; il suffit pour cela de reconnaître que la logique ne peut se passer de la notion d’assertion, ou si l’on préfère de jugement....
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...
Logic in Central and Eastern Europe. The Social Context
Andrew Schumann (2012)
Review of the National Center for Digitization
Similarity: