Browsing Bulletin of the Section of Logic 50/3 (2021) by Title
Now showing items 17 of 7

Falling Shadow Theory with Applications in Hoops
(Wydawnictwo Uniwersytetu Łódzkiego, 20210120)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 ... 
A General Model of Neutrosophic Ideals in BCK/BCIalgebras Based on Neutrosophic Points
(Wydawnictwo Uniwersytetu Łódzkiego, 20200815)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 ... 
Neighbourhood Semantics for Graded Modal Logic
(Wydawnictwo Uniwersytetu Łódzkiego, 20210714)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 firstorder definable but not modally definable. We ... 
A Note on 3×3valued Łukasiewicz Algebras with Negation
(Wydawnictwo Uniwersytetu Łódzkiego, 20210527)In 2004, C. Sanza, with the purpose of legitimizing the study of \(n\times m\)valued Łukasiewicz algebras with negation (or \(\mathbf{NS}_{n\times m}\)algebras) introduced \(3 \times 3\)valued Łukasiewicz algebras with ... 
A Note on GödelDummet Logic LC
(Wydawnictwo Uniwersytetu Łódzkiego, 20210701)Let \(A_{0},A_{1},...,A_{n}\) be (possibly) distintict wffs, \(n\) being an odd number equal to or greater than 1. Intuitionistic Propositional Logic IPC plus the axiom \((A_{0}\rightarrow A_{1})\vee ...\vee (A_{n1}\rightarrow ... 
Omitting Types in Fragments and Extensions of First Order Logic
(Wydawnictwo Uniwersytetu Łódzkiego, 20210528)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 ... 
Tense Operators on BLalgebras and Their Applications
(Wydawnictwo Uniwersytetu Łódzkiego, 20210528)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 ...