Residuated Structures in Algebra and Logic
Residuated Structures in Algebra and Logic
Residuated Structures in Algebra and Logic
Trending Bestseller

Residuated Structures in Algebra and Logic

Metcalfe, George

No reviews yet Write a Review
Paperback / softback
31 December 2023
265 Pages
$298.00
Ships in 4-6 business days
Hurry up! Current stock:
icon Share icon Share
Description  
This book is an introduction to residuated structures, viewed as a common thread binding together algebra and logic. The framework includes well-studied structures from classical abstract algebra such as lattice-ordered groups and ideals of rings, as well as structures serving as algebraic semantics for substructural and other non-classical logics. Crucially, classes of these structures are studied both algebraically, yielding a rich structure theory along the lines of Conrad's program for lattice-ordered groups, and algorithmically, via analytic sequent or hypersequent calculi. These perspectives are related using a natural notion of equivalence for consequence relations that provides a bridge offering benefits to both sides. Algorithmic methods are used to establish properties like decidability, amalgamation, and generation by subclasses, while new insights into logical systems are obtained by studying associated classes of structures. The book is designed to serve the purposes of novices and experts alike. The first three chapters provide a gentle introduction to the subject, while subsequent chapters provide a state-of-the-art account of recent developments in the field.
Customer reviews  

This product hasn't received any reviews yet. Be the first to review this product!

Write a Reviews
Flat Rate Shipping  
Easy Returns  
$298.00
Ships in 4-6 business days
Hurry up! Current stock:
icon Share icon Share
Flat Rate Shipping  
Easy Returns  

Residuated Structures in Algebra and Logic

$298.00

Description

This book is an introduction to residuated structures, viewed as a common thread binding together algebra and logic. The framework includes well-studied structures from classical abstract algebra such as lattice-ordered groups and ideals of rings, as well as structures serving as algebraic semantics for substructural and other non-classical logics. Crucially, classes of these structures are studied both algebraically, yielding a rich structure theory along the lines of Conrad's program for lattice-ordered groups, and algorithmically, via analytic sequent or hypersequent calculi. These perspectives are related using a natural notion of equivalence for consequence relations that provides a bridge offering benefits to both sides. Algorithmic methods are used to establish properties like decidability, amalgamation, and generation by subclasses, while new insights into logical systems are obtained by studying associated classes of structures. The book is designed to serve the purposes of novices and experts alike. The first three chapters provide a gentle introduction to the subject, while subsequent chapters provide a state-of-the-art account of recent developments in the field.

Customers Also Viewed

Buy Books Online at BookLoop

Discover your next great read at BookLoop, Australiand online bookstore offering a vast selection of titles across various genres and interests. Whether you're curious about what's trending or searching for graphic novels that captivate, thrilling crime and mystery fiction, or exhilarating action and adventure stories, our curated collections have something for every reader. Delve into imaginative fantasy worlds or explore the realms of science fiction that challenge the boundaries of reality. Fans of contemporary narratives will find compelling stories in our contemporary fiction section. Embark on epic journeys with our fantasy and science fiction titles,

Shop Trending Books and New Releases

Explore our new releases for the most recent additions in romance books, fantasy books, graphic novels, crime and mystery books, science fiction books as well as biographies, cookbooks, self help books, tarot cards, fortunetelling and much more. With titles covering current trends, booktok and bookstagram recommendations, and emerging authors, BookLoop remains your go-to local australian bookstore for buying books online across all book genres.

Shop Best Books By Collection

Stay updated with the literary world by browsing our trending books, featuring the latest bestsellers and critically acclaimed works. Explore titles from popular brands like Minecraft, Pokemon, Star Wars, Bluey, Lonely Planet, ABIA award winners, Peppa Pig, and our specialised collection of ADHD books. At BookLoop, we are committed to providing a diverse and enriching reading experience for all.