Lattice theory: foundation

GA Gratzer - 2011 - Springer
This book started with Lattice Theory, First Concepts, in 1971. Then came General Lattice
Theory, First Edition, in 1978, and the Second Edition twenty years later. Since the …

[图书][B] Algebraic theory of quasivarieties

VA Gorbunov - 1998 - books.google.com
The theory of quasivarieties constitutes an independent direction in algebra and
mathematical logic and specializes in a fragment of first-order logic-the so-called universal …

[图书][B] Lattice theory: special topics and applications

GA Gratzer, F Wehrung - 2016 - Springer
George Grätzer started writing his General Lattice Theory in 1968. It was published in 1978.
It set out “to discuss in depth the basics of general lattice theory.” Almost 900 exercises, 193 …

𝑄-universal quasivarieties of algebras

ME Adams, W Dziobiak - Proceedings of the American Mathematical …, 1994 - ams.org
A quasivariety of algebras of finite type is $ Q $-universal if its lattice of subquasivarieties
has, as a homomorphic image of a sublattice, the lattice of subquasivarieties of any …

Unreasonable lattices of quasivarieties

AM Nurakunov - International Journal of Algebra and Computation, 2012 - World Scientific
A quasivariety is a universal Horn class of algebraic structures containing the trivial
structure. The set of all subquasivarieties of a quasivariety forms a complete lattice under …

[图书][B] The lattice of subquasivarieties of a locally finite quasivariety

J Hyndman, JB Nation - 2018 - Springer
The book Roads to Quoz, by William Least Heat-Moon, describes that author's search for the
mysterious reward that awaits the curious traveler, as much in the journey as the destination …

Open questions related to the problem of Birkhoff and Maltsev

ME Adams, KV Adaricheva, W Dziobiak… - Studia Logica, 2004 - Springer
Abstract The Birkhoff-Maltsev problem asks for a characterization of those lattices each of
which is isomorphic to the lattice L (K) of all subquasivarieties for some quasivariety K of …

Lattices of quasivarieties of 3-element algebras

ME Adams, W Dziobiak - Journal of Algebra, 1994 - Elsevier
Shafaat showed that if L (Q (A)) is the lattice of subquasivarieties of the quasivariety Q (A)
generated by an algebra A, then, for a 2-element algebra A, L (Q (A)) is a 2-element chain. It …

Lattices of quasi-equational theories as congruence lattices of semilattices with operators: part I

K Adaricheva, JB Nation - International Journal of Algebra and …, 2012 - World Scientific
We show that for every quasivariety 𝒦 of structures (where both functions and relations are
allowed) there is a semilattice S with operators such that the lattice of quasi-equational …

Structurally complete finitary extensions of positive Łukasiewicz logic

P Aglianò, F Manfucci - Logic Journal of the IGPL, 2024 - academic.oup.com
Structurally complete finitary extensions of positive Łukasiewicz logic | Logic Journal of the IGPL
| Oxford Academic Skip to Main Content Advertisement Oxford Academic Journals Books Search …