Bulletin of the Section of Logic 49/1 (2020)http://hdl.handle.net/11089/320772024-03-29T00:43:39Z2024-03-29T00:43:39ZA Topological Approach to Tense LMn×m-AlgebrasFigallo, Aldo V.Pascual, InésPelaitay, Gustavohttp://hdl.handle.net/11089/353702021-05-06T01:12:51Z2020-03-30T00:00:00ZA Topological Approach to Tense LMn×m-Algebras
Figallo, Aldo V.; Pascual, Inés; Pelaitay, Gustavo
In 2015, tense n × m-valued Lukasiewicz–Moisil algebras (or tense LMn×m-algebras) were introduced by A. V. Figallo and G. Pelaitay as an generalization of tense n-valued Łukasiewicz–Moisil algebras. In this paper we continue the study of tense LMn×m-algebras. More precisely, we determine a Priestley-style duality for these algebras. This duality enables us not only to describe the tense LMn×m-congruences on a tense LMn×m-algebra, but also to characterize the simple and subdirectly irreducible tense LMn×m-algebras.
2020-03-30T00:00:00ZMay the Sea-Battle Tommorow Not Happen?Pięta, Bożenahttp://hdl.handle.net/11089/353732021-05-06T01:12:50Z2020-03-30T00:00:00ZMay the Sea-Battle Tommorow Not Happen?
Pięta, Bożena
This note provides a review of the book 'On the Sea-Battle Tomorrow That May Not Happen' by Tomasz Jarmużek.
2020-03-30T00:00:00ZThe Dynamic Epistemic Logic for Actual KnowledgeWójcik, Arkadiuszhttp://hdl.handle.net/11089/353722021-05-06T01:12:49Z2020-03-30T00:00:00ZThe Dynamic Epistemic Logic for Actual Knowledge
Wójcik, Arkadiusz
The dynamic epistemic logic for actual knowledge models the phenomenon of actual knowledge change when new information is received. In contrast to the systems of dynamic epistemic logic which have been discussed in the past literature, our system is not burdened with the problem of logical omniscience, that is, an idealized assumption that the agent explicitly knows all classical tautologies and all logical consequences of his or her knowledge. We provide a sound and complete axiomatization for this logic.
2020-03-30T00:00:00ZInf-Hesitant Fuzzy Ideals in BCK/BCI-AlgebrasJun, Young BaeSong, Seok-Zunhttp://hdl.handle.net/11089/353712021-05-06T01:12:51Z2020-03-30T00:00:00ZInf-Hesitant Fuzzy Ideals in BCK/BCI-Algebras
Jun, Young Bae; Song, Seok-Zun
Based on the hesitant fuzzy set theory which is introduced by Torra in the paper [12], the notions of Inf-hesitant fuzzy subalgebras, Inf-hesitant fuzzy ideals and Inf-hesitant fuzzy p-ideals in BCK/BCI-algebras are introduced, and their relations and properties are investigated. Characterizations of an Inf-hesitant fuzzy subalgebras, an Inf-hesitant fuzzy ideals and an Inf-hesitant fuzzy p-ideal are considered. Using the notion of BCK-parts, an Inf-hesitant fuzzy ideal is constructed. Conditions for an Inf-hesitant fuzzy ideal to be an Inf-hesitant fuzzy p-ideal are discussed. Using the notion of Inf-hesitant fuzzy (p-) ideals, a characterization of a p-semisimple BCI-algebra is provided. Extension properties for an Inf-hesitant fuzzy p-ideal is established.
2020-03-30T00:00:00Z