Abstract
dc:description.abstract<p>We characterize all residuated lattices that have height equal to 3 and show that the variety they generate has continuum-many subvarieties. More generally, we study unilinear residuated lattices: their lattice is a union of disjoint incomparable chains, with bounds added. We give the characterization of all unilinear residuated lattices. By presenting the constructions and axiomatizations for different classes of unilinear residuated lattices, we conclude that the study of unilinear residuated lattices can be reduced to the study of the ⊤-unital ones. Using the classification of unilinear residuated lattices, the idempotent unilinear residuated lattices are studied and amalgamation property and strong amalgamation properties are proved or disproved, depending on if there are extra constants in the language. We give two general constructions of ⊤-unital unilinear residuated lattices, provide an axiomatization and a proof-theoretic calculus for the variety they generate, and prove the finite embeddability property for various subvarieties. Finally, we study the involutive unilinear residuated lattices and give the characterization of a class of commutative 1-involutive compact unilinear residuated lattices. We present some open problems and future work at the end.</p>
Degree
thesis:*- Name thesis:degree_name
- Ph.D.
- Level thesis:degree_level
- Dissertation
- Year dc:date.available
- 2023
Author and committee
dc:creator, dc:contributor.*- Author dc:creator
-
- Zhuang, Xiao
- Contributors dc:contributor
-
- Nikolaos Galatos
- Michael Kinyon
- Andrew Linshaw
- Mark Siemens
- Petr Vojtechovsky
Subjects
dc:subject × 10Rights
dc:rights- Statement dc:rights
-
- <p>Copyright is held by the author. User is responsible for all copyright compliance.</p>
- Language dc:language
- English (eng)
Identifiers
dc:identifier.*- Repository record dc:identifier
- https://digitalcommons.du.edu/etd/2335
- OAI identifier oai:identifier
- oai:digitalcommons.du.edu:etd-3325