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 ...

An algebra A=⟨A,→,0⟩, where → is binary and 0 is a constant, is called an implication zroupoid (I-zroupoid, for short) if A satisfies the identities: (x→y)→z≈[(z′→x)→(y→z)′]′ and 0′′≈0, where x′:=x→0, and I denotes the ...

An algebra A= ⟨ A, → , 0 ⟩ , where → is binary and 0 is a constant, is called an implication zroupoid (I-zroupoid, for short) if A satisfies the identities: (x→y)→z≈((z′→x)→(y→z)′)′ and 0 ′ ′≈ 0 , where x′: = x→ 0. An ...

The problem of the description of an effective base for some algebra A over a field F is to find a base B for the vector space A over F with a certain algorithm of multiplication of the elements from B that in consequence ...

RESUMEN: La alta incidencia de cáncer cérvico-uterino (CaCu) y su alta tasa de mortalidad en México pudieran explicarse por la asociación a una particular diversidad prevalente de los virus del papiloma humano (VPH). Las ...

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, ...