Preservative Translations between Logical Systems

Abstract : This paper investigates a subclass of translations between logical systems, called the preservative translations, which preserve the satisfiability and the unsatisfiability of formulas. The definition of preservative translation is given and connections between the preservative translation and other definitions of translations in the literature are discussed. Some properties of logical systems, such as the compactness and the decidability, which are characterized by the existence of preservative translations between logical systems are also studied.
Type de document :
Communication dans un congrès
Zhongzhi Shi; Sunil Vadera; Agnar Aamodt; David Leake. 6th IFIP TC 12 International Conference on Intelligent Information Processing (IIP), Oct 2010, Manchester, United Kingdom. Springer, IFIP Advances in Information and Communication Technology, AICT-340, pp.55-63, 2010, Intelligent Information Processing V. 〈10.1007/978-3-642-16327-2_10〉
Liste complète des métadonnées

Littérature citée [15 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01060356
Contributeur : Hal Ifip <>
Soumis le : mardi 5 décembre 2017 - 11:08:19
Dernière modification le : mercredi 6 décembre 2017 - 01:20:39

Fichier

Preservative translations betw...
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Yuming Shen, Yue Ma, Cungen Cao, Yuefei Sui, Ju Wang. Preservative Translations between Logical Systems. Zhongzhi Shi; Sunil Vadera; Agnar Aamodt; David Leake. 6th IFIP TC 12 International Conference on Intelligent Information Processing (IIP), Oct 2010, Manchester, United Kingdom. Springer, IFIP Advances in Information and Communication Technology, AICT-340, pp.55-63, 2010, Intelligent Information Processing V. 〈10.1007/978-3-642-16327-2_10〉. 〈hal-01060356〉

Partager

Métriques

Consultations de la notice

181

Téléchargements de fichiers

6