• About
    • Login
    View Item 
    •   Institutional Repository Home
    • Electronic Theses and Dissertations
    • Electronic Theses and Dissertations
    • View Item
    •   Institutional Repository Home
    • Electronic Theses and Dissertations
    • Electronic Theses and Dissertations
    • View Item
    JavaScript is disabled for your browser. Some features of this site may not work without it.

    Browse

    All of Institutional RepositoryCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsThis CollectionBy Issue DateAuthorsTitlesSubjects

    My Account

    LoginRegister

    Varieties of residuated lattices

    Galatos, Nikolaos
    : https://etd.library.vanderbilt.edu/etd-03312003-141423
    http://hdl.handle.net/1803/11794
    : 2003-04-14

    Abstract

    A residuated lattice is an algebraic structure that has a lattice and a monoid reduct, such that multiplication is residuated with respect to the order. Residuated lattices generalize many well studied algebras including lattice-ordered groups, Brouwerian algebras and generalized MV-algebras. Moreover, they are connected to sub-structural logic, since they constitute algebraic semantics for the unbounded full Lambek calculus. Residuated lattices form a variety. We investigate the lattice of its subvarieties and concentrate on a number of interesting subvarieties. In particular, we construct a continuum of atomic varieties and prove that the join of two finitely based commutative residuated-lattice varieties is also finitely based. Moreover, we study the varieties of cancellative and of distributive residuated lattices and present a duality theory for the bounded members of the latter. Finally, we generalize standard MV-algebras and describe a representation theorem and a categorical equivalence about them. As a corollary we obtain the decidablility of their equational theory.
    Show full item record

    Files in this item

    Icon
    Name:
    NGdissertation.pdf
    Size:
    561.5Kb
    Format:
    PDF
    View/Open

    This item appears in the following collection(s):

    • Electronic Theses and Dissertations

    Connect with Vanderbilt Libraries

    Your Vanderbilt

    • Alumni
    • Current Students
    • Faculty & Staff
    • International Students
    • Media
    • Parents & Family
    • Prospective Students
    • Researchers
    • Sports Fans
    • Visitors & Neighbors

    Support the Jean and Alexander Heard Libraries

    Support the Library...Give Now

    Gifts to the Libraries support the learning and research needs of the entire Vanderbilt community. Learn more about giving to the Libraries.

    Become a Friend of the Libraries

    Quick Links

    • Hours
    • About
    • Employment
    • Staff Directory
    • Accessibility Services
    • Contact
    • Vanderbilt Home
    • Privacy Policy