### Recent Submissions

• #### Neighbourhood Semantics for Graded Modal Logic ﻿

(Wydawnictwo Uniwersytetu Łódzkiego, 2021-07-14)
We introduce a class of neighbourhood frames for graded modal logic embedding Kripke frames into neighbourhood frames. This class of neighbourhood frames is shown to be first-order definable but not modally definable. We ...
• #### A General Model of Neutrosophic Ideals in BCK/BCI-algebras Based on Neutrosophic Points ﻿

(Wydawnictwo Uniwersytetu Łódzkiego, 2020-08-15)
More general form of (∈, ∈ ∨q)-neutrosophic ideal is introduced, and their properties are investigated. Relations between (∈, ∈)-neutrosophic ideal and (∈, ∈ ∨q(kT ,kI ,kF ))-neutrosophic ideal are discussed. Characterizations ...
• #### Falling Shadow Theory with Applications in Hoops ﻿

(Wydawnictwo Uniwersytetu Łódzkiego, 2021-01-20)
The falling shadow theory is applied to subhoops and filters in hoops. The notions of falling fuzzy subhoops and falling fuzzy filters in hoops are introduced, and several properties are investigated. Relationship between ...
• #### Tense Operators on BL-algebras and Their Applications ﻿

(Wydawnictwo Uniwersytetu Łódzkiego, 2021-05-28)
In this paper, the notions of tense operators and tense filters in $$BL$$-algebras are introduced and several characterizations of them are obtained. Also, the relation among tense $$BL$$-algebras, tense $$MV$$-algebras ...
• #### A Note on Gödel-Dummet Logic LC ﻿

(Wydawnictwo Uniwersytetu Łódzkiego, 2021-07-01)
• #### Omitting Types in Fragments and Extensions of First Order Logic ﻿

(Wydawnictwo Uniwersytetu Łódzkiego, 2021-05-28)
Fix $$2 < n < \omega$$. Let $$L_n$$ denote first order logic restricted to the first n variables. Using the machinery of algebraic logic, positive and negative results on omitting types are obtained for $$L_n$$ and for ...