A certain Galois connection and weak automorphisms
A dual space characterization of - and -lattices of order ω+
A note on Post algebras
An equivalence between varieties of cyclic Post algebras and varieties generated by a finite field
In this paper we give a term equivalence between the simple k-cyclic Post algebra of order p, L p,k, and the finite field F(p k) with constants F(p). By using Lagrange polynomials, we give an explicit procedure to obtain an interpretation Φ1 of the variety V(L p,k) generated by L p,k into the variety V(F(p k)) generated by F(p k) and an interpretation Φ2 of V(F(p k)) into V(L p,k) such that Φ2Φ1(B) = B for every B ε V(L p,k) and Φ1Φ2(R) = R for every R ε V(F(p k)).
Coproducts of Boolean algebras and chains with applications to Post algebras
Hu's Primal Algebra Theorem revisited
It is shown how Lawvere's one-to-one translation between Birkhoff's description of varieties and the categorical one (see [6]) turns Hu's theorem on varieties generated by a primal algebra (see [4], [5]) into a simple reformulation of the classical representation theorem of finite Boolean algebras as powerset algebras.
Modal extensions of Heyting algebras
On Postian equations
On some numerical representation of Post algebras
Post algebras in 3-rings.
Representation of certain classes of distributive lattices by sections of sheaves.
Rings in Post algebras.
Structures floues et algèbres de Post
Subdirectly irreducible MV-algebras
In this note we characterize the one-generated subdirectly irreducible MV-algebras and use this characterization to prove that a quasivariety of MV-algebras has the relative congruence extension property if and only if it is a variety.
Sur l'axiome d'Ivo Thomas
Sur les algèbres de Heyting symétriques
Бесконечные примальные алгебры многообразия Поста
Инварианты квазиклеток итеративных алгебр Поста.
Индуктивные представления булевых функций и конечная порождаемость классов Поста.
К существованию конечных базисов в замкнутых классах булевых функций.