Preservative Translations between Logical Systems - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2010

Preservative Translations between Logical Systems


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
Origin : Files produced by the author(s)

Dates and versions

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





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 View
57 Download



Gmail Facebook X LinkedIn More