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.
Chapter PDF
Similar content being viewed by others
References
Carnielli, W.A., Coniglio, M.E., D’Ottaviano, I.M.L.: New dimensions on translation between logics. Logica Universalis 3, 1–18 (2009)
Epstein, R.L.: The Semantic Foundations of Logics. Propositional Logics, vol. 1. Kluwer, Dordrecht (1990)
Fara, M., Williamson, T.: Counterparts and actuality. Mind 114, 1–30 (2005)
Feitosa, H.A., D’Ottaviano, I.M.L.: Conservative translations. Annals of Pure and Applied Logic 108, 205–227 (2001)
Forbes, G.: Canonical counterpart theory. Analysis 42, 33–37 (1982)
Hustadt, U., Schmidt, R.A., Georgieva, L.: A survey of decidable first-order fragments and description logics. Journal of Relational Methods in Computer Science 1, 251–276 (2004)
Kolmogorov, A.N.: On the principle of excluded middle(1925). In: Heijenoort, J. (ed.) From Frege to Gödel: a Source Book in mathematical logic 1879–1931, pp. 414–437. Harvard University Press, Cambridge (1977)
Kurtonina, N., de Rijke, M.: Expressive of concept expression in first-order description logics. Artificial Intelligence 107, 303–333 (1999)
Lewis, D.: Counterpart theory and quantified modal logic. Journal of Philosophy 65, 113–126 (1968)
Ohlbach, H., Nonnengart, A., de Rijke, M., Gabbay, D.: Encoding two-valued non-classical logics in classical logic. In: Robinson, A., Voronkov, A. (eds.) Handbook of Automated Reasoning, pp. 1403–1486. Elsevier, Amsterdam (2001)
Prawitz, D., Malmnäs, P.E.: A survey of some connections between classical, intuitionistic and minimal logic. In: Schmidt, H., et al. (eds.) Contributions to Mathematical Logic, pp. 215–229. North-Holland, Amsterdam (1968)
Schmidt, R., Hustadt, U.: The axiomatic translation principle for modal logic. ACM Transactions on Computational Logic 8, 1–55 (2007)
Shen, Y., Ma, Y., Cao, C., Sui, Y., Wang, J.: Logical properties on translations between logics. Chinese Journal of Computers 32, 2091–2098 (2009)
Ramachandran, M.: An alternative translation scheme for counterpart theory. Analysis 49, 131–141 (1989)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 IFIP International Federation for Information Processing
About this paper
Cite this paper
Shen, Y., Ma, Y., Cao, C., Sui, Y., Wang, J. (2010). Preservative Translations between Logical Systems. In: Shi, Z., Vadera, S., Aamodt, A., Leake, D. (eds) Intelligent Information Processing V. IIP 2010. IFIP Advances in Information and Communication Technology, vol 340. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-16327-2_10
Download citation
DOI: https://doi.org/10.1007/978-3-642-16327-2_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-16326-5
Online ISBN: 978-3-642-16327-2
eBook Packages: Computer ScienceComputer Science (R0)