HAL Id: hal-00397670
https://hal.archives-ouvertes.fr/hal-00397670v2
Preprint submitted on 22 Jul 2009
HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci- entific research documents, whether they are pub- lished or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers.
L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignement et de recherche français ou étrangers, des laboratoires publics ou privés.
Semantic interpolation
Dov Gabbay, Karl Schlechta
To cite this version:
Dov Gabbay, Karl Schlechta. Semantic interpolation. 2009. �hal-00397670v2�
Semantic interpolation ∗
Dov M Gabbay † King’s College, London ‡
and
Bar-Ilan University, Israel § and
University of Luxembourg ¶ Karl Schlechta k
Laboratoire d’Informatique Fondamentale de Marseille ∗∗
July 22, 2009
Abstract
We treat interpolation for various logics. In the full non-monotonic case, we connect the existence of interpolants to laws about abstract size, and to generalized Hamming relations. We also mention revision a la Parikh.
Contents
1 Introduction 1
2 Notation 2
3 The semantically monotonic case (upward or downward) 2
4 The full non-monotonic case, i.e., downward and upward 4
4.1 Discussion . . . . 4
4.2 φ | ∼ α ⊢ ψ . . . . 5
4.3 φ ⊢ α | ∼ ψ . . . . 5
4.3.1 Product size . . . . 5
4.3.2 Interpolation of the form φ ⊢ α | ∼ ψ . . . . 7
4.3.3 Hamming relations . . . . 7
4.3.4 Hamming relations and product size . . . . 8
4.4 Context and structure . . . . 9
5 Hamming distances and revision 10 5.1 Discussion of representation . . . 11
References 11
1 Introduction
The interpolation property is the ability to “squeeze” a new formula in the consequence relation where the new formula has only symbols common to both original formulas:
If α | ∼ 1 γ, then there is an interpolant β s.t. α | ∼ 2 β | ∼ 3 γ - and β has only symbols common to α and γ.
Here, the consequence relations | ∼ i may be different. In the classical case, they are all the same, and equal to ⊢ . We will see later that the more general case is important in other logics.
Interpolation for classical logic is well-known, see [Cra57], and there are also non-classical logics for which interpolation has been shown, e.g., for Circumscription, see [Ami02]. An extensive overview of interpolation is found in [GM05]. Chapter
∗
paper 337
†
Dov.Gabbay@kcl.ac.uk, www.dcs.kcl.ac.uk/staff/dg
‡
Department of Computer Science, King’s College London, Strand, London WC2R 2LS, UK
§
Department of Computer Science, Bar-Ilan University, 52900 Ramat-Gan, Israel
¶
Computer Science and Communications, Faculty of Sciences, 6, rue Coudenhove-Kalergi, L-1359 Luxembourg
k
ks@cmi.univ-mrs.fr, karl.schlechta@web.de, http://www.cmi.univ-mrs.fr/ ∼ ks
∗∗