 |
Laboratoire d'informatique fondamentale de Marseille UMR 6166 - CNRS, Université de la Méditerranée, Université de Provence |
 |
|
Laboratoire d'informatique fondamentale de Marseille UMR 6166 - CNRS, Université de la Méditerranée, Université de Provence |
|
| HAL : hal-00084398, version 1 |
| arXiv : math.LO/0607189 |
| Fiche détaillée |  Récupérer au format |
 |
|
|
| Domain closure conditions and definability preservation |
|
|
| Karl Schlechta 1 |
|
|
| (06/07/2006) |
|
|
|
| We examine problems due to lack of domain closure and definability preservation |
|
|
|
|
|
|
|
|
|
|
|
| 1 : | Laboratoire d'informatique Fondamentale de Marseille (LIF) |
|
|
|
CNRS : UMR6166 – Université de la Méditerranée - Aix-Marseille II – Université de Provence - Aix-Marseille I |
|
|
|
|
|
|
|
|
|
| Domaine | : | Mathématiques/Logique |
|
|
| Nonmonotonic logic – preferential structures – semantics |
|
|
|
| Liste des fichiers attachés à ce document : | ||||||||||
|
||||||||||
|
|
|
| hal-00084398, version 1 | |
| http://hal.archives-ouvertes.fr/hal-00084398 | |
| oai:hal.archives-ouvertes.fr:hal-00084398 | |
| Contributeur : Karl Schlechta | |
| Soumis le : Jeudi 6 Juillet 2006, 21:02:25 | |
| Dernière modification le : Vendredi 7 Juillet 2006, 13:31:38 | |
