Preservative Translations between Logical Systems

Yuming Shen; Yue Ma; Cungen Cao; Yuefei Sui; Ju Wang

doi:10.1007/978-3-642-16327-2_10

Conference Papers Year : 2010

Preservative Translations between Logical Systems

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

1
2
3

Yuming Shen

Function : Author

Key Laboratory of Intelligent Information Processing, Institute of Computing Technology

Graduate University of Chinese [Beijing]

Yue Ma

Function : Author

Key Laboratory of Intelligent Information Processing, Institute of Computing Technology

Graduate University of Chinese [Beijing]

Cungen Cao

Function : Author

Key Laboratory of Intelligent Information Processing, Institute of Computing Technology

Yuefei Sui

Function : Author

Key Laboratory of Intelligent Information Processing, Institute of Computing Technology

Ju Wang

Function : Author

School of Computer Science and Information Engineering

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.

Keywords

Translation Faithfulness Fullness Preservative translation

Domains

Digital Libraries [cs.DL]

Fichier principal

Preservative translations between logical systems.pdf (151.04 Ko)

Origin : Files produced by the author(s)

Hal Ifip : Connect in order to contact the contributor

https://inria.hal.science/hal-01060356

Submitted on : Tuesday, December 5, 2017-11:08:19 AM

Last modification on : Tuesday, March 26, 2024-4:24:04 PM

Dates and versions

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

Licence

Attribution

Identifiers

HAL Id : hal-01060356 , version 1
DOI : 10.1007/978-3-642-16327-2_10

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⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

IFIP IFIP-AICT IFIP-AICT-340 IFIP-TC IFIP-TC12 CAMPUS-AAR AAI

272 View

57 Download

Preservative Translations between Logical Systems

Abstract

Keywords

Domains

Dates and versions

Licence

Identifiers

Cite

Export

Collections

Altmetric

Share