%0 Journal Article %1 Mossakowski07 %A Mossakowski, Till %A Tarlecki, Andrzej %A Diaconescu, Razvan %D 2009 %J Logica Universalis %K institution logic translation %N 1 %P 95-124 %T What is a logic translation? %U http://dx.doi.org/10.1007/s11787-009-0005-2 %V 3 %X We study logic translations from an abstract perspective, without any commitment to the structure of sentences and the nature of logical entailment, which also means that we cover both proof- theoretic and model-theoretic entailment. We show how logic translations induce notions of logical expressiveness, consistency strength and sublogic, leading to an explanation of paradoxes that have been described in the literature. Connectives and quantifiers, although not present in the definition of logic and logic translation, can be recovered by their abstract properties and are preserved and reflected by translations under suitable conditions.

@article{Mossakowski07, abstract = {We study logic translations from an abstract perspective, without any commitment to the structure of sentences and the nature of logical entailment, which also means that we cover both proof- theoretic and model-theoretic entailment. We show how logic translations induce notions of logical expressiveness, consistency strength and sublogic, leading to an explanation of paradoxes that have been described in the literature. Connectives and quantifiers, although not present in the definition of logic and logic translation, can be recovered by their abstract properties and are preserved and reflected by translations under suitable conditions.}, added-at = {2016-08-05T15:59:03.000+0200}, author = {Mossakowski, Till and Tarlecki, Andrzej and Diaconescu, Razvan}, biburl = {https://www.bibsonomy.org/bibtex/2c79a83efcea2713552c88b461013f8af/tillmo}, interhash = {4110a9875427129b86cf266dec578408}, intrahash = {c79a83efcea2713552c88b461013f8af}, journal = {Logica Universalis}, keywords = {institution logic translation}, note = {Winner of the universal logic 2007 contest.}, number = 1, pages = {95-124}, pdfurl = {http://www.informatik.uni-bremen.de/~till/papers/mor.pdf}, status = {Reviewed}, timestamp = {2016-08-05T15:59:03.000+0200}, title = {What is a logic translation?}, url = {http://dx.doi.org/10.1007/s11787-009-0005-2}, volume = 3, year = 2009 }