Bulletin of the Section of Logic 47/3 (2018)
Browse by
SPIS TREŚCI
1. Identity, equality, nameability and completeness. Part IIMaría Manzano, Manuel Crescencio Moreno
2. On interpolation in „NEXT” (KB.Alt(2))
Zofia Kostrzycka
3. B-almost distributive fuzzy lattice
Berhanu Assaye, Mihret Alemneh, Gerima Tefera
4. A comparison of two systems of point-free topology
Rafał Gruszczyński, Andrzej Pietruszczak
5. A post-style proof of completeness theorem for symmetric relatedness Logic S
Mateusz Klonowski
Recent Submissions
-
A post-style proof of completeness theorem for symmetric relatedness Logic S
(Wydawnictwo Uniwersytetu Łódzkiego, 2018)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 ... -
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 ... -
B-almost distributive fuzzy lattice
(Wydawnictwo Uniwersytetu Łódzkiego, 2018)The paper introduces the concept of B-Almost distributive fuzzy lattice (BADFL) in terms of its principal ideal fuzzy lattice. Necessary and sufficient conditions for an ADFL to become a B-ADFL are investigated. We also ... -
On interpolation in next (kb.alt(2))
(Wydawnictwo Uniwersytetu Łódzkiego, 2018)We prove that there is infinitely many tabular modal logics extending KB.Alt(2) which have interpolation. -
Identity, equality, nameability and completeness. Part II
(Wydawnictwo Uniwersytetu Łódzkiego, 2018)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 ...