Preservative Translations between Logical Systems - Archive ouverte HAL Access content directly
Conference Papers Year : 2010

Preservative Translations between Logical Systems

(1, 2) , (1, 2) , (1) , (1) , (3)
1
2
3

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.
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)
Loading...

Dates and versions

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

Licence

Attribution - CC BY 4.0

Identifiers

Cite

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⟩
269 View
54 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More