Przeglądaj Bulletin of the Section of Logic 48/1 (2019) według tytułu
Wyświetlanie pozycji 4-5 z 5
-
Positive Implicative Soju Ideals in BCK-Algebras
(Wydawnictwo Uniwersytetu Łódzkiego, 2019)The notion of positive implicative soju ideal in BCK-algebra is introduced, and several properties are investigated. Relations between soju ideal and positive implicative soju ideal are considered, and characterizations ... -
Two Infinite Sequences of Pre-Maximal Extensions of the Relevant Logic E
(Wydawnictwo Uniwersytetu Łódzkiego, 2019)The only maximal extension of the logic of relevant entailment E is the classical logic CL. A logic L ⊆ [E,CL] called pre-maximal if and only if L is a coatom in the interval [E,CL]. We present two denumerable infinite ...