Buscar
Mostrando ítems 1-10 de 9352
l-Hemi-Implicative Semilattices
(Springer, 2017-10)
An l-hemi-implicative semilattice is an algebra A=(A,∧,→,1) such that (A,∧,1) is a semilattice with a greatest element 1 and satisfies: (1) for every a,b,c∈A , a≤b→c implies a∧b≤c and (2) a→a=1 . An ...
The population crisis. Implications and plans for action
(Revista Mensaje, 2018)
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 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 ...
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 ...
Quasivarieties and congruence permutability of Lukasiewicz implication algebras
(Springer, 2011-07)
In this paper we study some questions concerning Łukasiewicz implication algebras. In particular, we show that every subquasivariety of Łukasiewicz implication algebras is, in fact, a variety. We also derive some ...
Frontal operators in distributive lattices with a generalized implication
(WorldScientific Open Access, 2015-09)
We introduce a family of extensions of bounded distributive lattices. These extensions are obtained by adding two operations: an internal unary operation, and a function (called generalized implication) that maps pair of ...