Cargando…

Residuated lattices : an algebraic glimpse at substructural logics /

The book is meant to serve two purposes. The first and more obvious one is to present state of the art results in algebraic research into residuated structures related to substructural logics. The second, less obvious but equally important, is to provide a reasonably gentle introduction to algebraic...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Otros Autores: Galatos, Nikolaos
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Amsterdam ; Boston : Elsevier, 2007.
Edición:1st ed.
Colección:Studies in logic and the foundations of mathematics ; v. 151.
Temas:
Acceso en línea:Texto completo
Tabla de Contenidos:
  • 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. Semisimplicity
  • Bibliography
  • Index.