Varieties of Implicative Semilattices
نویسندگان
چکیده
منابع مشابه
Lattices and semilattices having an antitone involution in every upper interval
We study ∨-semilattices and lattices with the greatest element 1 where every interval [p,1] is a lattice with an antitone involution. We characterize these semilattices by means of an induced binary operation, the so called sectionally antitone involution. This characterization is done by means of identities, thus the classes of these semilattices or lattices form varieties. The congruence prop...
متن کاملOn Heyting algebras and dual BCK-algebras
A Heyting algebra is a distributive lattice with implication and a dual $BCK$-algebra is an algebraic system having as models logical systems equipped with implication. The aim of this paper is to investigate the relation of Heyting algebras between dual $BCK$-algebras. We define notions of $i$-invariant and $m$-invariant on dual $BCK$-semilattices and prove that a Heyting semilattice is equiva...
متن کاملMinimal Varieties and Quasivarieties of Semilattices with One Automorphism
We describe all minimal quasivarieties and all minimal varieties of semilattices with one automorphism (considered as algebras with one binary and two unary operations).
متن کاملSome regular quasivarieties of commutative binary modes
Irregular (quasi)varieties of groupoids are (quasi)varieties that do not contain semilattices. The regularization of a (strongly) irregular variety V of groupoids is the smallest variety containing V and the variety S of semilattices. Its quasiregularization is the smallest quasivariety containing V and S. In an earlier paper the authors described the lattice of quasivarieties of cancellative c...
متن کاملCategorical Equivalence of Modes
A description of all varieties categorically equivalent to a fixed finitely generated variety of modes is provided. The characterization is in terms of a set of basic operations symbols and identities. For the special case of semilattices, a one-to-one correspondence between the categorically equivalent varieties and the isomorphism types of finite posets is exhibited. Applications to rectangul...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2012