Residuated Lattices : an Algebraic Glimpse at Substructural Logics.

Mostrar otras versiones (2)

Considers both the algebraic and logical perspective within a common framework. This is a book about residuated lattices and their connection with substructural logics. It provides a concise introduction to the subject and leads directly to research topics. It is accessible to graduate students and...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Galatos, Nikolaos
Otros Autores: Jipsen, Peter, Kowalski, Tomasz, Ono, Hiroakira
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Burlington : Elsevier, 2007.
Colección:Studies in Logic & the Foundations of Mathematics.
Temas:
Algebraic logic.
Lattice theory.
Logique algébrique.
Théorie des treillis.
Algebraic logic
Lattice theory
Acceso en línea:Texto completo
Tabla de Contenidos:
  • Front Cover; Residuated Lattices: An Algebraic Glimpse at Substructural Logics; Copyright Page; Table of Contents; Detailed Contents; List of Figures; List of Tables; Introduction; Chapter 1. Getting started; Chapter 2. Substructural logics and residuated lattices; Chapter 3. Residuation and structure theory; Chapter 4. Decidability; Chapter 5. Logical and algebraic properties; Chapter 6. Completions and finite embeddability; Chapter 7. Algebraic aspects of cut elimination; Chapter 8. Glivenko theorems; Chapter 9. Lattices of logics and varieties; Chapter 10. Splittings.
  • Chapter 11. SemisimplicityBibliography; Index.

Ejemplares similares