Browse / Mathematics
Residuated Lattices 9780444521415

Residuated Lattices

An Algebraic Glimpse at Substructural Logics

ISBN-10: 0444521410
ISBN-13: 9780444521415
AUTHOR:
PUBLISHER: Elsevier Science & Technology Books
Also available at Amazon.com
Note: Not guaranteed to come with supplemental materials (access codes, CDs, DVDs)
Product Description:

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 logic. At the beginning, the second objective is predominant. Thus, in the first few chapters the reader will find a primer of universal algebra for logicians, a crash course in nonclassical logics for algebraists, an introduction to residuated structures, an outline of Gentzen-style calculi as well as some titbits of proof theory - the celebrated Hauptsatz, or cut elimination theorem, among them. These lead naturally to a discussion of interconnections between logic and algebra, where we try to demonstrate how they form two sides of the same coin. We envisage that the initial chapters could be used as a textbook for a graduate course, perhaps entitled Algebra and Substructural Logics.

As the book progresses the first objective gains predominance over the second. Although the precise point of equilibrium would be difficult to specify, it is safe to say that we enter the technical part with the discussion of various completions of residuated structures. These include Dedekind-McNeille completions and canonical extensions. Completions are used later in investigating several finiteness properties such as the finite model property, generation of varieties by their finite members, and finite embeddability. The algebraic analysis of cut elimination that follows, also takes recourse to completions. Decidability of logics, equational and quasi-equational theories comes next, where we show how proof theoretical methods like cut elimination are preferable for small logics/theories, but semantic tools like Rabin''s theorem work better for big ones. Then we turn to Glivenko''s theorem, which says that a formula is an intuitionistic tautology if and only if its double negation is a classical one. We generalise it to the substructural setting, identifying for each substructural logic its Glivenko equivalence class with smallest and largest element. This is also where we begin investigating lattices of logics and varieties, rather than particular examples. We continue in this vein by presenting a number of results concerning minimal varieties/maximal logics. A typical theorem there says that for some given well-known variety its subvariety lattice has precisely such-and-such number of minimal members (where values for such-and-such include, but are not limited to, continuum, countably many and two). In the last two chapters we focus on the lattice of varieties corresponding to logics without contraction. In one we prove a negative result: that there are no nontrivial splittings in that variety. In the other, we prove a positive one: that semisimple varieties coincide with discriminator ones.

Within the second, more technical part of the book another transition process may be traced. Namely, we begin with logically inclined technicalities and end with algebraically inclined ones. Here, perhaps, algebraic rendering of Glivenko theorems marks the equilibrium point, at least in the sense that finiteness properties, decidability and Glivenko theorems are of clear interest to logicians, whereas semisimplicity and discriminator varieties are universal algebra par exellence. It is for the reader to judge whether we succeeded in weaving these threads into a seamless fabric.



  • Considers both the algebraic and logical perspective within a common framework
  • Written by experts in the area
  • Easily accessible to graduate students and researchers from other fields
  • Results summarized in tables and diagrams to provide an overview of the area
  • Useful as a textbook for a course in algebraic logic, with exercises and suggested research directions
  • Provides a concise introduction to the subject and leads directly to research topics
  • The ideas from algebra and logic are developed hand-in-hand and the connections are shown in every level

Additional Details


PUBLICATION DATE:
532
CATEGORY: Mathematics
Star

21 Day Unconditional Guarantee

any book, any reason

Rent This Book Now:

Price guaranteed for 45 minutes
Due May 15 $131.47
130 days (due Jun 29) $144.47
85 days (due May 15) $131.47
55 days (due Apr 15) $125.69
Select Your Own Date
--

Buy this book used:

$158.92

List Price: $165.00
Your Savings:
Total Price:
 

REVIEWS for Residuated Lattices


Select a star rating

FAQ'S

1. How do textbook rentals work?
It’s simple. Begin by searching for your textbook by ISBN (10 or 13-digit number that can be found on the back cover of each book), title, author or keyword. Next select how long you would like to rent the book then add it to your cart. Repeat for each book you’re looking for. After completing the order we’ll ship them to you and you’ll also receive a prepaid mailer. Return your books in the mailer by your rental due date.
2. Is renting a textbook better than purchasing it?
We offer both! You can buy or rent the book through Campus Book Rentals. It’s up to you to decide which option best meets your educational needs.
3. How do I track my order?
Login to your account here, you’ll see your current rentals listed textbook rentals listed with a yellow box that says “track”. Click the box to view the tracking number. *Not all books will have a tracking number since they may be sent from one of our partners. Tracking numbers will be updated as they become available.
4. How do I return my books?
When you rent textbooks from Campus Book Rentals you’ll receive a prepaid mailer. When it’s nearing your due date you’ll place your books inside the mailer and take it to the nearest USPS drop box or Post Office. If you don’t receive a mailer you can print a return label from your account. Return shipping is prepaid so please use either of the two methods to ensure they arrive at the correct facility.
5. Can I write or highlight in my book?
Of course! Just remember that future students will rent the same book after you, so please be respectful.
6. How much money can renting my books save?
It depends on the book. Generally renting textbooks can save you up to 80% compared to a new textbook.
7. Are Campus Book Rentals’ books the same as my bookstore’s?
Yes! We only ship US edition textbooks, which are the same as your campus bookstore.
8. Do access codes or other supplements come with a textbook rental?
One time use access codes and other supplemental materials are NOT included with rental books and must be purchased separately.
9. What if I don’t return my rental?
If your book rental is not returned by the due date, your credit card will be charged a non-return fee, equal to the replacement value for the book.
10. Can I purchase my book after I rent it?
Certainty! You’re only charged the difference between what you already paid and the value of the book at the time you initially rented. Login to your account and choose to purchase your book and it’ll walk you through the checkout process.

Textbook Rentals

We know that textbook rentals are the best way currently to distribute high quality textbooks, and we want to have you on board! Join over a million students that have saved money by renting! Not only is it better for you, but when you return it that book can go on to help even more students access affordable education. We're confident we offer the best value in rentals, but if you're not a believer you can always return your book for a no questions asked refund within 21 days.

Why Choose Us?

1. Campus Book Rentals pioneered the idea of textbook rentals, making prices significantly cheaper for every student while still maintaining the highest quality. We've been at it since 2007 and the entire industry has had to adapt to keep up.

2. Though keeping prices low has always been the goal, we can boast an excellent support team that has helped thousands of students get the best value for their education. Chat with them at 855-200-0021 or use our chat box.

3. We practice what we preach. We routinely read our own textbooks to further our own education while at work. We know that only with a well-educated team of individuals can we continue to change the industry for the better.

Make A Difference

At Campus Book Rentals our company is guided by a single question, "How are we making education more affordable?" We know that getting a college education is quickly becoming a rite of passage for students and is becoming more important every year. In order to make education more attainable for the 99%, we started renting textbooks so students could avoid high purchase prices and buyback programs. We know it's a better way, and we're going to show everyone how to make a college education affordable again.