|
|
|
|
| LEADER |
00000cam a2200000Mi 4500 |
| 001 |
ocn469589702 |
| 003 |
OCoLC |
| 005 |
20241006213017.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
|d NUI
|
| 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.)
|
| 035 |
|
|
|a (OCoLC)469589702
|z (OCoLC)476058129
|
| 037 |
|
|
|a 9780080489643
|b Ingram Content Group
|
| 050 |
|
4 |
|a QA10.R47 2007
|a QA10 .R47 2007eb
|
| 049 |
|
|
|a HCDD
|
| 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.
|
| 650 |
|
0 |
|a Algebraic logic.
|
| 650 |
|
0 |
|a Lattice theory.
|
| 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.proquest.com/lib/holycrosscollege-ebooks/detail.action?docID=294345
|y Click for online access
|
| 903 |
|
|
|a EBC-AC
|
| 994 |
|
|
|a 92
|b HCD
|