Interpolation and Definability: Modal and Intuitionistic Logics

Hardcover | May 12, 2005

byDov M. Gabbay, Larisa Maksimova

not yet rated|write a review
This book is a specialized monograph on interpolation and definability, a notion central in pure logic and with significant meaning and applicability in all areas where logic is applied, especially computer science, artificial intelligence, logic programming, philosophy of science and naturallanguage.Suitable for researchers and graduate students in mathematics, computer science and philosophy, this is the latest in the prestigous world-renowned bOxford Logic Guides/b, which contains bMichael Dummet/b's iElements of intuitionism (second edition)/i, bJ. M. Dunn and G. Hardegree/b's iAlgebraicMethods in Philosophical Logic/i, bH. Rott/b's iChange, Choice and Inference: A Study of Belief Revision and Nonmonotonic Reasoning/i, bP. T. Johnstone/b's iSketches of an Elephant: A Topos Theory Compendium: Volumes 1 and 2/i, and bDavid J. Pym and Eike Ritter/b's iReductive Logic and Proof Search:Proof theory, semantics and control/i.

Pricing and Purchase Info

$294.59 online
$390.00 list price (save 24%)
Ships within 1-3 weeks
Ships free on orders over $25

From the Publisher

This book is a specialized monograph on interpolation and definability, a notion central in pure logic and with significant meaning and applicability in all areas where logic is applied, especially computer science, artificial intelligence, logic programming, philosophy of science and naturallanguage.Suitable for researchers and gradua...

Dov M. Gabbay is at Department of Computer Science, King's College London. Larisa Maksimova is at Institute of Mathematics, Siberian Branch of Russian Academy of Science, Novosibirsk, Russia.

other books by Dov M. Gabbay

Approaches to Legal Rationality
Approaches to Legal Rationality

Kobo ebook|Oct 4 2010

$180.29 online$234.04list price(save 22%)
Philosophy of Biology
Philosophy of Biology

Kobo ebook|Feb 5 2007

$166.39 online$216.00list price(save 22%)
Handbook of Philosophical Logic
Handbook of Philosophical Logic

Kobo ebook|Jun 29 2013

$191.49 online$248.67list price(save 22%)
see all books by Dov M. Gabbay
Format:HardcoverDimensions:522 pages, 9.21 × 6.14 × 1.28 inPublished:May 12, 2005Publisher:Oxford University PressLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:0198511744

ISBN - 13:9780198511748

Look for similar items by category:

Customer Reviews of Interpolation and Definability: Modal and Intuitionistic Logics

Reviews

Extra Content

Table of Contents

1. Introduction and Discussion2. Modal and Superintuitionistic Logics: Basic Concepts3. Superintuitionistic Logics and Normal Extensions of the Modal Logics S44. The Interpolation Theorem in Intuitionistic Predicate Calculus5. Interpolation and Definability in Quantified Logics6. Craig's Theorem in Superintuitionistic Logics and Amalgamable Varieties of Pseudoboolean Algebras7. Interpolation, Definability, Amalgamation8. Interpolation in Normal Extensions of the Modal Logic S49. Complexity of Some Problems in Modal and Intuitionistic Calculi10. Interpolation in Modal Infinite Slice Logics Containing the Logic K411. An Analog of Beth's Theorem in Normal Extensions of the Modal Logic K412. Extensions of the Provability Logic13. Syntactic Proof of Interpolation for the Intuitionistic Predicate Logic14. Interpolation by Translation15. Interpolation in (Intuitionistic) Logic Programming16. Interpolation in Goal-directed Proof Systems17. Further Results and DiscussionAppendixReferencesIndex