Szukaj
Wyświetlanie pozycji 1-5 z 5
On the Definability of Leśniewski’s Copula ‘is’ in Some Ontology-Like Theories
(Wydawnictwo Uniwersytetu Łódzkiego, 2018)
We formulate a certain subtheory of Ishimoto’s [1] quantifier-free fragment of Leśniewski’s ontology, and show that Ishimoto’s theory can be reconstructed in it. Using an epimorphism theorem we prove that our theory is ...
A comparison of two systems of point-free topology
(Wydawnictwo Uniwersytetu Łódzkiego, 2018)
This is a spin-off paper to [3, 4] in which we carried out an extensive analysis of Andrzej Grzegorczyk’s point-free topology from [5]. In [1] Loredana Biacino and Giangiacomo Gerla presented an axiomatization which was ...
On Theses Without Iterated Modalities of Modal Logics Between C1 and S5. Part 1
(Wydawnictwo Uniwersytetu Łódzkiego, 2017)
This is the first, out of two papers, in which we identify all logics between C1 and S5 having the same theses without iterated modalities. All these logics canbe divided into certain groups. Each such group depends only ...
On Theses without Iterated Modalities of Modal Logics Between C1 and S5. Part 2
(Wydawnictwo Uniwersytetu Łódzkiego, 2017)
This is the second, out of two papers, in which we identify all logics between C1 and S5 having the same theses without iterated modalities. All these logics can be divided into certain groups. Each such group depends only ...
Some Additional Axioms for T-normal Logics. Defining K45, KB4, KD45 and S5 without Using Modal Rules
(Wydawnictwo Uniwersytetu Łódzkiego, 2024-06-24)
The paper studies extensions of t-normal logics S0.5o and S0.5 obtained by means of some axioms of normal logics. We will prove determination theorems for these extensions by appropriate Kripke-style models. It will allow ...