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

https://hal.inria.fr/hal-01060356
Contributor : Hal Ifip <>
Submitted on : Tuesday, December 5, 2017 - 11:08:19 AM
Last modification on : Thursday, March 5, 2020 - 5:43:14 PM

File

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

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

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⟩

Share

Metrics

Record views

457

Files downloads

255