Interpolation and Definability: Modal and Intuitionistic Logics
Dov M. Gabbay and Larisa Maksimova
Abstract
This book focuses on interpolation and definability. This notion is not only central in pure logic, but has significant meaning and applicability in all areas where logic itself is applied, especially in computer science, artificial intelligence, logic programming, philosophy of science, and natural language. The book provides basic knowledge on interpolation and definability in logic, and contains a systematic account of material which has been presented in many papers. A variety of methods and results are presented beginning with the famous Beth's and Craig's theorems in classical predicate ... More
This book focuses on interpolation and definability. This notion is not only central in pure logic, but has significant meaning and applicability in all areas where logic itself is applied, especially in computer science, artificial intelligence, logic programming, philosophy of science, and natural language. The book provides basic knowledge on interpolation and definability in logic, and contains a systematic account of material which has been presented in many papers. A variety of methods and results are presented beginning with the famous Beth's and Craig's theorems in classical predicate logic (1953-57), and to the most valuable achievements in non-classical topics on logic, mainly intuitionistic and modal logic. Together with semantical and proof-theoretic methods, close interrelations between logic and universal algebra are established and exploited.
Keywords:
Beth's theorem,
Craig's theoem,
modal algebra,
Heyting algebra,
amalgamation,
logic programming
Bibliographic Information
| Print publication date: 2005 |
Print ISBN-13: 9780198511748 |
| Published to Oxford Scholarship Online: September 2007 |
DOI:10.1093/acprof:oso/9780198511748.001.0001 |
Authors
Affiliations are at time of print publication.
Dov M. Gabbay, author
Department of Computer Science, King's College London
Larisa Maksimova, author
Institute of Mathematics, Siberian Branch of Russian Academy of Science, Novosibirsk, Russia
More
Less
