Buscar
Mostrando ítems 1-10 de 64
Free algebras in varieties of BL-algebras generated by BLn-chains
(Cambridge University Press, 2006-06)
Free algebras with an arbitrary number of free generators in varieties of BL-algebras generated by one BL-chain that is an ordinal sum of a finite MV-chain Ln and a generalized BL-chain B are described in terms of weak ...
Dually hemimorphic semi-Nelson algebras
(Oxford University Press, 2019-11)
Extending the relation between semi-Heyting algebras and semi-Nelson algebras to dually hemimorphic semi-Heyting algebras, we introduce and study the variety of dually hemimorphic semi-Nelson algebras and some of its ...
Hilbert algebras with a necessity modal operator
(Jagiellonian University, 2014-10)
We introduce the variety of Hilbert algebras with a modal operator , called H -algebras. The variety of H -algebras is the algebraic counterpart of the f!; g-fragment of the intuitionitic modal logic IntK . We will study ...
Semi-Heyting Algebras and Identities of Associative Type
(University of Lodz, 2019-06-30)
An algebra A = ⟨A, ∨, ∧, →, 0, 1⟩ is a semi-Heyting algebra if ⟨A, ∨, ∧, 0, 1⟩ is a bounded lattice, and it satisfies the identities: x ∧ (x → y) ≈ x ∧ y, x ∧ (y → z) ≈ x ∧ [(x ∧ y) → (x ∧ z)], and x → x ≈ 1. ℋ denotes the ...
On the relation of negations in Nelson algebras
(Jagiellonian University Press, 2021-11)
The aim of this paper is to investigate the relation between the strong and the “weak” or intuitionistic negation in Nelson algebras. To do this, we define the variety of Kleene algebras with intuitionistic negation and ...
A view toward the geometry of normalizing sequences in finitely semi-graded algebras
(Bogotá - Ciencias - Maestría en Ciencias - MatemáticasDepartamento de MatemáticasUniversidad Nacional de Colombia - Sede Bogotá, 2020-05-15)
En este trabajo vemos el comportamiento de la sucesión normalizadora en
álgebras semi-graduadas. Primero, definimos la sucesión regular y el complejo de Koszul
en el caso conmutativo. Usando la variedad de ideales máximos, ...
On the variety of Heyting algebras with successor generated by all finite chains
(Jagiellonian University Press, 2010-03)
Contrary to the variety of Heyting algebras, finite Heyting algebras with successor only generate a proper subvariety of that of all Heyting algebras with successor. In particular, all finite chains generate a proper ...
Gk Dimension Of The Relatively Free Algebra For Sl2
(Springer-Verlag Wien, 2014)
Left invariant Lorentzian, hyperbolic and Riemannian metrics on Lie groups
(Medellín, Colombia, 2021)