Possibilistic logic for intelligent business agents.
Lau, Raymond, Wong, On (2000)
Novi Sad Journal of Mathematics
Similarity:
Lau, Raymond, Wong, On (2000)
Novi Sad Journal of Mathematics
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...
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.
Slobodan Vujošević (2012)
Review of the National Center for Digitization
Similarity:
R. Kulesza (1970)
Applicationes Mathematicae
Similarity:
Newton C.A. da Costa (1989)
Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Lincei. Matematica e Applicazioni
Similarity:
The Author describes new systems of logic (called "nonalethic") which are both paraconsistent and paracomplete. These systems are connected with the logic of vagueness and with certain philosophical problems (e.g. with some aspects of Hegel's logic).
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.
Dale Jacquette (2005)
Philosophia Scientiae
Similarity:
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....
Jan Woleński (2017)
Bulletin of the Section of Logic
Similarity:
This paper deals with the problem of universality property of logic. At first, this property is analyzed in the context of first-order logic. Three senses of the universality property are distinguished: universal applicability, topical neutrality and validity (truth in all models). All theses senses can be proved to be justified. The fourth understanding, namely the amount of expressive power, is connected with the criticism of the first-order thesis: first-order logic is the logic....
M.-A. Nait Abdallah (1988)
Banach Center Publications
Similarity:
Jan Woleński (2009)
Banach Center Publications
Similarity:
Miodrag Kapetanović, Aleksandar Krapež (1989)
Publications de l'Institut Mathématique
Similarity:
Newton C.A. da Costa (1989)
Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti
Similarity:
The Author describes new systems of logic (called "nonalethic") which are both paraconsistent and paracomplete. These systems are connected with the logic of vagueness and with certain philosophical problems (e.g. with some aspects of Hegel's logic).
H. T. Goranson, Sirius-Beta (1999)
Visual Mathematics
Similarity:
De Freitas, Antonio (2002)
Boletín de la Asociación Matemática Venezolana
Similarity:
(2021)
Bulletin of the Section of Logic
Similarity: