Skip to Main content Skip to Navigation
Conference papers

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.
Document type :
Conference papers
Complete list of metadata

Cited literature [14 references]  Display  Hide  Download
Contributor : Hal Ifip <>
Submitted on : Tuesday, December 5, 2017 - 11:08:19 AM
Last modification on : Thursday, March 5, 2020 - 5:43:14 PM


Preservative translations betw...
Files produced by the author(s)


Distributed under a Creative Commons Attribution 4.0 International License



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⟩



Record views


Files downloads