Categoricity without equality
H. Jerome Keisler, Arnold W. Miller (2001)
Fundamenta Mathematicae
Similarity:
We study categoricity in power for reduced models of first order logic without equality.
H. Jerome Keisler, Arnold W. Miller (2001)
Fundamenta Mathematicae
Similarity:
We study categoricity in power for reduced models of first order logic without equality.
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....
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.
R. Kulesza (1970)
Applicationes Mathematicae
Similarity:
Mariusz Giero (2015)
Formalized Mathematics
Similarity:
In the article [10] a formal system for Propositional Linear Temporal Logic (in short LTLB) with normal semantics is introduced. The language of this logic consists of “until” operator in a very strict version. The very strict “until” operator enables to express all other temporal operators. In this article we construct a formal system for LTLB with the initial semantics [12]. Initial semantics means that we define the validity of the formula in a model as satisfaction in the initial...
M.-A. Nait Abdallah (1988)
Banach Center Publications
Similarity:
Slobodan Vujošević (2012)
Review of the National Center for Digitization
Similarity:
Jan Woleński (2009)
Banach Center Publications
Similarity:
T. Traczyk (1964)
Colloquium 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).
H. T. Goranson, Sirius-Beta (1999)
Visual 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...
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...
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).
(2021)
Bulletin of the Section of Logic
Similarity:
Miodrag Rašković, Radosav Đorđević, Zoran Marković (2001)
Publications de l'Institut Mathématique
Similarity:
Mateusz Klonowski (2018)
Bulletin of the Section of Logic
Similarity:
One of the logic defined by Richard Epstein in a context of an analysis of subject matter relationship is Symmetric Relatedness Logic S. In the monograph [2] we can find some open problems concerning relatedness logic, a Post-style completeness theorem for logic S is one of them. Our paper introduces a solution of this metalogical issue.
Zoran Ognjanović, Miodrag Rašković (1996)
Publications de l'Institut Mathématique
Similarity: