Interpolation and Definability

Modal and Intuitionistic Logics

Dov Gabbay, Larisa Maksimova - Collection Oxford Logic Guides

520 pages, parution le 05/08/2005

Ajouter à une liste

Indisponible

Résumé

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 natural language.

Suitable for researchers and graduate students in mathematics, computer science and philosophy, this is the latest in the prestigous world-renowned Oxford Logic Guides, which contains Michael Dummet's 'Elements of intuitionism (second edition), J. M. Dunn and G. Hardegree's Algebraic Methods in Philosophical Logic, H. Rott's Change, Choice and Inference: A Study of Belief Revision and Nonmonotonic Reasoning, P. T. Johnstone's Sketches of an Elephant: A Topos Theory Compendium: Volumes 1 and 2, and David J. Pym and Eike Ritter's Reductive Logic and Proof Search: Proof theory, semantics and control.

Excellent expository monograph by experts in the field
Aimed at a broad audience of mathematicians, computer scientists and philosophers

Readership: Researchers and graduate students in mathematics, computer science and philosophy

Sommaire

Introduction and Discussion
Modal and Superintuitionistic Logics: Basic Concepts
Superintuitionistic Logics and Normal Extensions of the Modal Logics S4
The Interpolation Theorem in Intuitionistic Predicate Calculus
Interpolation and Definability in Quantified Logics
Craig's Theorem in Superintuitionistic Logics and Amalgamable Varieties of Pseudoboolean Algebras
Interpolation, Definability, Amalgamation
Interpolation in Normal Extensions of the Modal Logic S4
Complexity of Some Problems in Modal and Intuitionistic Calculi
Interpolation in Modal Infinite Slice Logics Containing the Logic K4
An Analog of Beth's Theorem in Normal Extensions of the Modal Logic K4
Extensions of the Provability Logic
Syntactic Proof of Interpolation for the Intuitionistic Predicate Logic
Interpolation by Translation
Interpolation in (Intuitionistic) Logic Programming
Interpolation in Goal-directed Proof Systems
Further Results and Discussion
Appendix

Voir tout

Replier

Caractéristiques techniques

	PAPIER
Éditeur(s)	Oxford University Press
Auteur(s)	Dov Gabbay, Larisa Maksimova
Collection	Oxford Logic Guides
Parution	05/08/2005
Nb. de pages	520
Format	16 x 24
Couverture	Relié
Poids	900g
Intérieur	Noir et Blanc
EAN13	9780198511748
ISBN13	978-0-19-851174-8