Buscar
Mostrando ítems 11-20 de 56
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. ...
Bouligand-Severi tangents in MV-algebras
(Universidad Autónoma de Madrid, 2014-04)
In their recent seminal paper published in the Annals of Pure and Applied Logic, Dubuc and Poveda call an MV-algebra A strongly semisimple if all principal quotients of A are semisimple. All boolean algebras are strongly ...
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 ...
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. ...
On The Set Of Intermediate Logics Between The Truth- And Degree-preserving Aukasiewicz Logics
(OXFORD UNIV PRESSOXFORD, 2016)