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...
Saved in:
| Other Authors: | |
|---|---|
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Amsterdam ; Boston :
Elsevier,
2007.
|
| Edition: | 1st ed. |
| Series: | Studies in logic and the foundations of mathematics ;
v. 151. |
| Subjects: | |
| Online Access: | CONNECT CONNECT |
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.
