Cargando…

Residuated Lattices : an Algebraic Glimpse at Substructural Logics.

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:
Acceso en línea:Texto completo

MARC

LEADER 00000cam a2200000Mi 4500
001 EBOOKCENTRAL_ocn469589702
003 OCoLC
005 20240329122006.0
006 m o d
007 cr mn|---|||||
008 091116s2007 vtu o 000 0 eng d
040 |a MERUC  |b eng  |e pn  |c MERUC  |d EBLCP  |d OCLCQ  |d IDEBK  |d UKDOC  |d OCLCQ  |d DEBSZ  |d OCLCQ  |d ZCU  |d OCLCQ  |d MERUC  |d NLE  |d OCLCO  |d OCLCF  |d U3W  |d OCLCQ  |d ICG  |d OCLCQ  |d UKMGB  |d DKC  |d AU@  |d OCLCQ  |d OCLCO  |d OCLCQ  |d OCLCO  |d OCLCQ  |d OCLCO  |d OCLCL 
015 |a GBB6H3776  |2 bnb 
016 7 |a 017581803  |2 Uk 
019 |a 476058129 
020 |a 9780080489643  |q (electronic bk.) 
020 |a 0080489648  |q (electronic bk.) 
029 1 |a DEBBG  |b BV044124217 
029 1 |a DEBSZ  |b 430398697 
029 1 |a UKMGB  |b 017581803 
035 |a (OCoLC)469589702  |z (OCoLC)476058129 
037 |a 9780080489643  |b Ingram Content Group 
050 4 |a QA10.R47 2007  |a QA10 .R47 2007eb 
082 0 4 |a 511.33 
049 |a UAMI 
100 1 |a Galatos, Nikolaos. 
245 1 0 |a Residuated Lattices :  |b an Algebraic Glimpse at Substructural Logics. 
260 |a Burlington :  |b Elsevier,  |c 2007. 
300 |a 1 online resource (533 pages) 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
490 1 |a Studies in Logic & the Foundations of Mathematics 
505 0 |a 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. 
505 8 |a Chapter 11. SemisimplicityBibliography; Index. 
520 |a 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 researchers from other fields. 
588 0 |a Print version record. 
590 |a ProQuest Ebook Central  |b Ebook Central Academic Complete 
650 0 |a Algebraic logic. 
650 0 |a Lattice theory. 
650 6 |a Logique algébrique. 
650 6 |a Théorie des treillis. 
650 7 |a Algebraic logic  |2 fast 
650 7 |a Lattice theory  |2 fast 
700 1 |a Jipsen, Peter. 
700 1 |a Kowalski, Tomasz. 
700 1 |a Ono, Hiroakira. 
758 |i has work:  |a Residuated lattices (Text)  |1 https://id.oclc.org/worldcat/entity/E39PCGFbyQbDCRkK8ybfG3jGMd  |4 https://id.oclc.org/worldcat/ontology/hasWork 
776 1 |z 9780444521415 
830 0 |a Studies in Logic & the Foundations of Mathematics. 
856 4 0 |u https://ebookcentral.uam.elogim.com/lib/uam-ebooks/detail.action?docID=294345  |z Texto completo 
938 |a 123Library  |b 123L  |n 36519 
938 |a ProQuest Ebook Central  |b EBLB  |n EBL294345 
938 |a ProQuest MyiLibrary Digital eBook Collection  |b IDEB  |n 105106 
994 |a 92  |b IZTAP