Doctoral Dissertations in Logic

Mirjana Borisavljević

Displaying similar documents to “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:

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.

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...

Preface

Zoran Ognjanović (2009)

Zbornik Radova

Similarity:

Aleksandar Kron in Relevance Logic

Slobodan Vujošević (2012)

Review of the National Center for Digitization

Similarity:

Helena Rasiowa, 1917-1994

Wiktor Bartol, Ewa Orłowska, Andrzej Skowron (1999)

Banach Center Publications

Similarity:

Deontic Paradoxes and Tableau System for Kalinowski’s Deontic Logic K1

Janusz Ciuciura (2017)

Bulletin of the Section of Logic

Similarity:

In 1953, Jerzy Kalinowski published his paper on the logic of normative sentences. The paper is recognized as one of the first publications on the formal system of deontic logic. The aim of this paper is to present a tableau system for Kalinowski’s deontic logic and to discuss some of the topics related to the paradoxes of deontic logic.

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: