Langue: anglais
Edité par American Mathematical Society, 2023
ISBN 10 : 1470469855 ISBN 13 : 9781470469856
Vendeur : Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlande
EUR 117,89
Quantité disponible : 1 disponible(s)
Ajouter au panierEtat : New. 2023. paperback. . . . . .
Vendeur : Romtrade Corp., STERLING HEIGHTS, MI, Etats-Unis
EUR 133,25
Quantité disponible : 1 disponible(s)
Ajouter au panierEtat : New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
Langue: anglais
Edité par American Mathematical Society, 2023
ISBN 10 : 1470469855 ISBN 13 : 9781470469856
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
EUR 133,32
Quantité disponible : 5 disponible(s)
Ajouter au panierEtat : New.
Langue: anglais
Edité par American Mathematical Society, US, 2023
ISBN 10 : 1470469855 ISBN 13 : 9781470469856
Vendeur : Rarewaves.com USA, London, LONDO, Royaume-Uni
EUR 141,03
Quantité disponible : 3 disponible(s)
Ajouter au panierPaperback. Etat : New. 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.
Langue: anglais
Edité par American Mathematical Society, 2023
ISBN 10 : 1470469855 ISBN 13 : 9781470469856
Vendeur : Revaluation Books, Exeter, Royaume-Uni
EUR 136,58
Quantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : Brand New. 265 pages. 10.00x7.00x0.75 inches. In Stock.
Langue: anglais
Edité par American Mathematical Society, 2023
ISBN 10 : 1470469855 ISBN 13 : 9781470469856
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
EUR 132,50
Quantité disponible : 5 disponible(s)
Ajouter au panierEtat : New.
Langue: anglais
Edité par American Mathematical Society, 2023
ISBN 10 : 1470469855 ISBN 13 : 9781470469856
Vendeur : Kennys Bookstore, Olney, MD, Etats-Unis
EUR 146,47
Quantité disponible : 1 disponible(s)
Ajouter au panierEtat : New. 2023. paperback. . . . . . Books ship from the US and Ireland.
Langue: anglais
Edité par American Mathematical Society, 2023
ISBN 10 : 1470469855 ISBN 13 : 9781470469856
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
EUR 154,19
Quantité disponible : 5 disponible(s)
Ajouter au panierEtat : As New. Unread book in perfect condition.
Langue: anglais
Edité par American Mathematical Society, 2023
ISBN 10 : 1470469855 ISBN 13 : 9781470469856
Vendeur : Majestic Books, Hounslow, Royaume-Uni
EUR 153,79
Quantité disponible : 3 disponible(s)
Ajouter au panierEtat : New.
Langue: anglais
Edité par American Mathematical Society, 2023
ISBN 10 : 1470469855 ISBN 13 : 9781470469856
Vendeur : Books Puddle, New York, NY, Etats-Unis
EUR 164,79
Quantité disponible : 3 disponible(s)
Ajouter au panierEtat : New.
Langue: anglais
Edité par American Mathematical Society, 2023
ISBN 10 : 1470469855 ISBN 13 : 9781470469856
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
EUR 154,62
Quantité disponible : 5 disponible(s)
Ajouter au panierEtat : As New. Unread book in perfect condition.
Langue: anglais
Edité par American Mathematical Society, US, 2023
ISBN 10 : 1470469855 ISBN 13 : 9781470469856
Vendeur : Rarewaves.com UK, London, Royaume-Uni
EUR 132,51
Quantité disponible : 3 disponible(s)
Ajouter au panierPaperback. Etat : New. 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.