Add to ORKGThis formalization introduces and collects some algebraic structures based on lattices and complete lattices for use in other developments. The structures introduced are modular, and lattice ordered groups. In addition to the results proved for the new lattices, this formalizatio
The study of lattice varieties is a field that has experienced rapid growth in the last 30 years, bu...
Proof-theoretic methods are developed and exploited to establish properties of the variety of lattic...
This book presents the foundations of a general theory of algebras. Often called "universal algebra"...
This formalization introduces and collects some algebraic structures based on lattices and complete ...
Because lattice theory is so vast, the primary purpose of this paper will be to present some of the ...
Lattice Theory presents an elementary account of a significant branch of contemporary mathematics co...
Since its original publication in 1940, this book has been revised and modernized several times, mos...
This book is an introduction to residuated structures, viewed as a common thread binding together al...
Residuation is a fundamental concept of ordered structures and categories. In this survey we conside...
Abstract. Residuation is a fundamental concept of ordered structures and categories. In this survey ...
The theory of complete lattices is described in the language of set theory. The use of Hasse diagram...
The theory of complete lattices is described in the language of set theory. The use of Hasse diagram...
SIGLEAvailable from British Library Document Supply Centre- DSC:DX86858 / BLDSC - British Library Do...
This indispensable reference source contains a wealth of information on lattice theory. The book pre...
summary:In this paper we deal with the notions of projectability, spliting property and Dedekind com...
The study of lattice varieties is a field that has experienced rapid growth in the last 30 years, bu...
Proof-theoretic methods are developed and exploited to establish properties of the variety of lattic...
This book presents the foundations of a general theory of algebras. Often called "universal algebra"...
This formalization introduces and collects some algebraic structures based on lattices and complete ...
Because lattice theory is so vast, the primary purpose of this paper will be to present some of the ...
Lattice Theory presents an elementary account of a significant branch of contemporary mathematics co...
Since its original publication in 1940, this book has been revised and modernized several times, mos...
This book is an introduction to residuated structures, viewed as a common thread binding together al...
Residuation is a fundamental concept of ordered structures and categories. In this survey we conside...
Abstract. Residuation is a fundamental concept of ordered structures and categories. In this survey ...
The theory of complete lattices is described in the language of set theory. The use of Hasse diagram...
The theory of complete lattices is described in the language of set theory. The use of Hasse diagram...
SIGLEAvailable from British Library Document Supply Centre- DSC:DX86858 / BLDSC - British Library Do...
This indispensable reference source contains a wealth of information on lattice theory. The book pre...
summary:In this paper we deal with the notions of projectability, spliting property and Dedekind com...
The study of lattice varieties is a field that has experienced rapid growth in the last 30 years, bu...
Proof-theoretic methods are developed and exploited to establish properties of the variety of lattic...
This book presents the foundations of a general theory of algebras. Often called "universal algebra"...