PP-2008-07: van Benthem, Johan (2008) The Many Faces of Interpolation. [Report]
Preview |
Text (Full Text)
PP-2008-07.text.pdf Download (188kB) | Preview |
![[thumbnail of Abstract]](https://eprints.illc.uva.nl/style/images/fileicons/text.png) |
Text (Abstract)
PP-2008-07.abstract.txt Download (615B) |
Abstract
This is a survey of five unusual takes on what
the Interpolation Theorem says, as a form of
'model-crossing inference' involving changing
vocabulary, mixed with preservation behaviour.
Connections include Bolzano in the history of
logic, and computational fixed-point logics.
The material was presented at the Berkeley
'Craigfest', May 2007, honouring Bill Craig's
90th birthday, and it will appear in a special
issue of "Synthese", edited by Paolo Mancosu.
| Item Type: | Report |
|---|---|
| Report Nr: | PP-2008-07 |
| Series Name: | Prepublication (PP) Series |
| Year: | 2008 |
| Uncontrolled Keywords: | interpolation theorem; first-order logic; modal logic; generalized inference |
| Subjects: | Logic |
| Depositing User: | Johan van Benthem |
| Date Deposited: | 12 Oct 2016 14:36 |
| Last Modified: | 12 Oct 2016 14:36 |
| URI: | https://eprints.illc.uva.nl/id/eprint/281 |
Actions (login required)
 |
View Item |
