Buscar
Mostrando ítems 1-10 de 16
A topological duality for tense θ -valued Łukasiewicz–Moisil algebras
(Springer Verlag Berlín, 2018-07)
In 2011, tense θ-valued Łukasiewicz–Moisil algebras (or tense LM θ -algebras) were introduced by Chiriţă as an algebraic counterpart of the tense θ-valued Moisil propositional logic. In this paper we develop a topological ...
Free Łukasiewicz implication algebras
(Springer, 2008-06)
Łukasiewicz implication algebras are the {→,1}-subreducts of MV- algebras. They are the algebraic counterpart of Super-Łukasiewicz Implicational Logics investigated in Komori (Nogoya Math J 72:127-133, 1978). In this paper ...
Completeness for monadic fuzzy logics via functional algebras
(Elsevier Science, 2021-03-01)
We study S5-modal (monadic) expansions of extensions of Hájek's basic logic . Hájek proposed Hilbert-style systems axiomatizing these logics and we prove that completeness theorems for these logics follow from algebraic ...
The Lattice of Subvarieties of Monadic Lukasiewicz Algebras
(Old City Publishing, Inc, 2007-12-28)
In this paper we describe the lattice of subvarieties of the variety ofmonadic Łukasiewicz-Moisil algebras. We then characterize all these subvarieties by means of identities.
Geometry of Robinson consistency in Łukasiewicz logic
(Elsevier Science, 2007-06)
We establish the Robinson joint consistency theorem for the infinite-valued propositional logic of Łukasiewicz. As a corollary we easily obtain the amalgamation property for MV-algebras-the algebras of Łukasiewicz logic: ...
A topological duality for tense LMn-algebras and applications
(Oxford University Press, 2018-03)
In 2007, tense n-valued Lukasiewicz-Moisil algebras (or tense LMn-algebras) were introduced by Diaconescu and Georgescu as an algebraic counterpart of the tense n-valued Moisil logic. In this article we continue the study ...
Sorites, curry and suitable models
(Nicolaus Copernicus University, 2020-02-28)
In this paper we present two new approaches for dealing with semantic paradoxes and soritical predicates based on fuzzy logic. We show that both of them have conceptual advantages over the more traditional Łukasiewicz ...
Free three-valued Closure Lukasiewicz Algebras
(Jagiellonian University Press, 2007-12)
In this paper, the structure of finitely generated free objects in the variety of three-valued closure Lukasiewicz algebras is determined. We describe their indecomposable factors and we give their cardinality.
Non-deterministic Conditionals and Transparent Truth
(Springer, 2015-11)
Theories where truth is a naive concept fall under the following dilemma: either the theory is subject to Curry’s Paradox, which engenders triviality, or the theory is not trivial but the resulting conditional is too weak. ...
Implicative subreducts of MV-algebras: free and weakly projective objects
(Birkhauser Verlag Ag, 2017-12)
In this article, we explore in some detail the free and weakly projective objects of the variety of Łukasiewicz implication algebras (the implicative subreducts of MV-algebras). We review the two already known descriptions ...