Buscar
Mostrando ítems 11-20 de 57514
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 ...
Kleene algebras with implication
(Springer, 2017-07)
Inspired by an old construction due to J. Kalman that relates distributive lattices and centered Kleene algebras, in this paper we study an equivalence for certain categories whose objects are algebras with implication ...
Continuous families of Holder functions that are not of bounded variation
(Akademiai KiadoBudapestHungria, 2004)
On the free frontal implicative semilattice extension of a frontal Hilbert algebra
(Springer Verlag, 2019-11)
In this paper, we define a functor which is left adjoint to the forgetful functor from the category of frontal implicative semilattices to that of frontal Hilbert algebras.
On implicator groupoids
(Birkhauser Verlag Ag, 2017-04)
In a paper published in 2012, the second author extended the well-known fact that Boolean algebras can be defined using only implication and a constant, to De Morgan algebras—this result led him to introduce, and investigate ...
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. ...
Chinese Cultural Implications for ERP Implementation
(Universidad Alberto Hurtado. Facultad de Economía y Negocios, 2014)
Location genealogic of Expert Psychology in judicial system: ethical implications
(Univ Autonoma Barcelona, Dept Psicologia Salut, 2016-01-01)
This work is an essay from the writings of our Master's thesis in Psychology and Society of UNESP / Assis, who intends to problematize the interfaces present in the relationship between psychology and law when inserting ...
Monadic MV-algebras II: Monadic implicational subreducts
(Springer, 2014-03)
In this paper, we study the class of all monadic implicational subreducts, that is, the {→, ∀, 1}-subreducts of the class of monadic MV-algebras. We prove that this class is an equational class, which we denote by ML, and ...