Dark age (but not obscure) logic -- a brief excursion.
De Freitas, Antonio (2002)
Boletín de la Asociación Matemática Venezolana
Similarity:
De Freitas, Antonio (2002)
Boletín de la Asociación Matemática Venezolana
Similarity:
Slobodan Vujošević (2012)
Review of the National Center for Digitization
Similarity:
Dale Jacquette (2005)
Philosophia Scientiae
Similarity:
Svetlana Knjazev Adamović (2012)
Review of the National Center for Digitization
Similarity:
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...
Javier Legris, Jorge A. Molina (2001)
Philosophia Scientiae
Similarity:
In this paper we analyze the consideration of intuitionistic logic as an extension of classical logic. This — at first sight surprising — point of view has been sustained explicitly by Jan Łukasiewicz on the basis of a mapping of classical propositional logic into intuitionistic propositional logic by Kurt Gödel in 1933. Simultaneously with Gödel, Gerhard Gentzen had proposed another mapping of Peano´s arithmetic into Heyting´s arithmetic. We shall discuss these mappings in connection...
Dick de Jongh, Paul van Ulsen (1998-1999)
Philosophia Scientiae
Similarity:
Miodrag Kapetanović (2007)
Publications de l'Institut Mathématique
Similarity:
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.
Arkadiusz Wójcik (2020)
Bulletin of the Section of Logic
Similarity:
The dynamic epistemic logic for actual knowledge models the phenomenon of actual knowledge change when new information is received. In contrast to the systems of dynamic epistemic logic which have been discussed in the past literature, our system is not burdened with the problem of logical omniscience, that is, an idealized assumption that the agent explicitly knows all classical tautologies and all logical consequences of his or her knowledge. We provide a sound and complete axiomatization...
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.
María Manzano, Manuel Crescencio Moreno (2018)
Bulletin of the Section of Logic
Similarity:
This article is a continuation of our promenade along the winding roads of identity, equality, nameability and completeness. We continue looking for a place where all these concepts converge. We assume that identity is a binary relation between objects while equality is a symbolic relation between terms. Identity plays a central role in logic and we have looked at it from two different points of view. In one case, identity is a notion which has to be defined and, in the other case, identity...
M.-A. Nait Abdallah (1988)
Banach Center Publications
Similarity:
R. Kulesza (1970)
Applicationes Mathematicae
Similarity: