Residuated Lattices: An Algebraic Glimpse At Substructural Logics - An Algebraic Glimpse At Substructural Logics

Klappentext Presents results in algebraic research into residuated structures related to substructural logics amd provides an introduction to algebraic logic. This book contains chapters covering universal algebra for logicians! a crash course in nonclassical logics for algebraists! and an introduction to residuated structures. Zusammenfassung Presents results in algebraic research into residuated structures related to substructural logics amd provides an introduction to algebraic logic. This book contains chapters covering universal algebra for logicians! a crash course in nonclassical logics for algebraists! and an introduction to residuated structures.

Sommario

1. Getting started
2. Substructural logics and residuated lattices
3. Residuation and structure theory
4. Decidability
5. Logical and algebraic properties
6. completions and finite embeddability
7. Algebraic aspects of cut elimination
8. Glivenko theorems
9. Lattices of logics and varieties
10. Splittings
11. Semisimplicity

Dettagli sul prodotto

• Autori: Nikolaos Galatos, Nikolaos (School of Information Science Galatos, Peter (Chapman University Jipsen, Tomasz (Australian National University Kowalski, Hiroakira (Japan Advanced Institute of Science and Technology Ono
• Editore: ELSEVIER SCIENCE BV
• Formato: Copertina rigida
• Pubblicazione: 25.04.2007
• EAN: 9780444521415
• ISBN: 978-0-444-52141-5
• Pagine: 532
• Serie: Studies in Logic and the Foundations of Mathematics
• Categoria: Scienze naturali, medicina, informatica, tecnica > Matematica > Aritmetica, algebra