Buscar
Mostrando ítems 11-16 de 16
Decomposability of free Łukasiewicz implication algebras
(Springer, 2006-11)
Łukasiewicz implication algebras are {→,1}-subreducts of Wajsberg algebras (MV-algebras). They are the algebraic counterpart of Super-Łukasiewicz Implicational logics investigated in Komori, Nogoya Math J 72:127-133, 1978. ...
Inconsistency-tolerant query answering for existential rules
(Elsevier Science, 2022-06)
Querying inconsistent knowledge bases is an intriguing problem that gave rise to a flourishing research activity in the knowledge representation and reasoning community during the last years. It has been extensively studied ...
Monadic Wajsberg hoops
(Unión Matemática Argentina, 2016-06-28)
Wajsberg hoops are the { , →, 1}-subreducts (hoop-subreducts)
of Wajsberg algebras, which are term equivalent to MV-algebras and are the
algebraic models of Lukasiewicz infinite-valued logic. Monadic MV-algebras
were ...
The logic Ł•
(Wiley VCH Verlag, 2014)
Truth without standard models: some conceptual problems reloaded
(Taylor & Francis, 2018-01)
A theory of truth is usually demanded to be consistent, but w -consistency is less frequently requested. Recently, Yatabe has argued in favour of w-inconsistent first-order theories of truth, minimising their odd consequences. ...
Monadic k x j-rough Heyting algebras
(Springer, 2021-11-13)
In this paper, we introduce the variety of algebras, which we call monadic kxj-rough Heyting algebras. These algebras constitute an extension of monadic Heyting algebras and in 3x2 case they coincide with monadic 3-valued ...