Home » Interpolation and Definability: Modal and Intuitionistic Logic by Dov M. Gabbay
Interpolation and Definability: Modal and Intuitionistic Logic Dov M. Gabbay

Interpolation and Definability: Modal and Intuitionistic Logic

Dov M. Gabbay

Published May 12th 2005
ISBN : 9780198511748
Hardcover
522 pages
Enter the sum

 About the Book 

This monograph looks at 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,MoreThis monograph looks at 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.