This book addresses Birkhoff and Mal’cev’s problem of describing subquasivariety lattices. The text begins by developing the basics of atomic theories and implicational theories in languages that may, or may not, contain equality. Subquasivariety lattices are represented as lattices of closed algebraic subsets of a lattice with operators, which yields new restrictions on the equaclosure operator. As an application of this new approach, it is shown that completely distributive la...
Spis treści
Preface.- Introduction.- Varieties and quasivarieties in general languages.- Equaclosure operators.- Preclops on finite lattices.- Finite lattices as Sub(S, ∧, 1, ����):...
Kup ten ebook, a 1 kolejny otrzymasz GRATIS!
Język Angielski ● Format PDF ● Strony 290 ● ISBN 9783030980887 ● Rozmiar pliku 10.5 MB ● Wydawca Springer International Publishing ● Miasto Cham ● Kraj CH ● Opublikowany 2022 ● Do pobrania 24 miesięcy ● Waluta EUR ● ID 8511120 ● Ochrona przed kopiowaniem Społeczny DRM