Theory and Applications of Craig Interpolation (Hardcover)

Langue : anglais

Edité par Ubiquity Press Ltd, London, 2026

1914481828 / 9781914481826

Vendeur : CitiRetail, Stevenage, Royaume-UniCitiRetail

Vendeur avec une évaluation de 5 étoiles

Vendeur AbeBooks depuis 29 juin 2022

Livre relié

Etat: Neuf

EUR 78,87

EUR 44,28 expédition 
Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : 1 disponible

Ajouter au panier
Retours gratuits sous 30 jours

A propos de cet article

Hardcover. Craig Interpolation and Beth Definability have played a central role in modern logic since the mid-twentieth century. Originating in William Craig's and Evert Willem Beth's pioneering work, they provide fundamental tools for understanding logical systems and how information can be transferred, transformed, or restricted within formal languages. Their impact extends across proof theory, model theory, philosophical logic, and computer science, where they illuminate both the power and the limitations of logical systems.This volume brings together leading researchers to offer a comprehensive and contemporary account of developments in interpolation and definability. The chapters range from classical insights to recent advances, covering a wide spectrum of topics. Readers will find in-depth investigations of interpolation in modal and superintuitionistic logics, algebraic perspectives on definability, and constructive approaches grounded in proof systems. Several contributions examine uniform interpolation and forgetting, shedding light on how logical content can be systematically simplified without losing relevant consequences. Others explore the crucial role of interpolation in automated reasoning, model checking, database querying, and ontology engineering, where interpolants serve as abstractors, separators, and explainers.A major theme of the volume is the meeting point between theory and application. While the contributors develop sophisticated mathematical techniques, they also demonstrate how these ideas support practical algorithms used in verification, querying, automated reasoning, and knowledge representation.The volume also pays tribute to Larisa Maksimova, whose groundbreaking work on interpolation in nonclassical logics continues to guide and inspire research in the field. Her contributions resonate through the topics discussed and the methods employed by many of the authors.Accessible to graduate students yet rich in material for specialists, this book offers an authoritative overview of Craig Interpolation and Beth Definability. It presents a broad and evolving research landscape, demonstrating how classical concepts remain essential in addressing contemporary questions about logical inference, expressiveness, and computation. An up-to-date overview of Craig Interpolation and Beth Definability, bringing together key results, new methods, and applications in logic, computer science, and philosophy. This item is printed on demand. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.…

N° de réf. du vendeur 9781914481826

Détails bibliographiques

Titre
Theory and Applications of Craig Interpolation (Hardcover)
Auteur
Balder Ten Cate
Éditeur
Ubiquity Press Ltd, London
Année de publication
2026
État de l'article
new
Reliure
Hardcover
Langue
anglais
ISBN à 10 chiffres
1914481828
ISBN à 13 chiffres
9781914481826

CitiRetail

Stevenage, Royaume-Uni

Vendeur avec une évaluation de 5 étoiles

Vendeur AbeBooks depuis 29 juin 2022

Frais d'expédition de Royaume-Uni vers Etats-Unis

Article7 à 14 jours ouvrés7 à 60 jours ouvrés
Premier articleEUR 44,28EUR 44,28
Les délais de livraison sont fixés par les vendeurs et varient en fonction du transporteur et du lieu. Les commandes transitant par les douanes peuvent être retardées et les acheteurs sont responsables de tous les droits ou frais associés. Les vendeurs peuvent vous contacter au sujet de frais supplémentaires afin de couvrir toute augmentation des coûts d'expédition de vos articles.

Modes de paiement

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay

Description de la boutique

Online business

Profil professionnel du vendeur

ABC BOOKS LIMITED

10 John Street
London, Royaume-Uni WC1N 2EB