Residuated lattices : an algebraic glimpse at substructural logics /
| Other Authors: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Amsterdam ; Boston :
Elsevier,
2007.
|
| Edition: | 1st ed. |
| Series: | Studies in logic and the foundations of mathematics,
v. 151 |
| Subjects: | |
| Online Access: | http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=196232 |
Table of Contents:
- 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.