Preservative Translations between Logical Systems - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2010

Preservative Translations between Logical Systems

Résumé

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.
Fichier principal
Vignette du fichier
Preservative translations between logical systems.pdf (151.04 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01060356 , version 1 (05-12-2017)

Licence

Paternité

Identifiants

Citer

Yuming Shen, Yue Ma, Cungen Cao, Yuefei Sui, Ju Wang. Preservative Translations between Logical Systems. 6th IFIP TC 12 International Conference on Intelligent Information Processing (IIP), Oct 2010, Manchester, United Kingdom. pp.55-63, ⟨10.1007/978-3-642-16327-2_10⟩. ⟨hal-01060356⟩
272 Consultations
57 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More