Interpolation and definability modal and intuitionistic logic
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 philosophy of science, and natural language
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | eBook |
| Language: | English |
| Published: |
Oxford
Oxford University Press
2005, 2005
|
| Series: | Oxford logic guides / Oxford logic guides
|
| Subjects: | |
| Online Access: | |
| Collection: | Oxford University Press - Collection details see MPG.ReNa |
| Summary: | 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 philosophy of science, and natural language |
|---|---|
| Physical Description: | xiv, 508 p. ill |
| ISBN: | 9780191705779 0191705772 |