翻译：逻辑之间的相对表达性的一般化
Translations: generalizing relative expressiveness between logics
摘要：
有一个强烈的需求，从理论和应用领域的表现力方面的逻辑比较精确的手段。本文的目的是提出一个足够普遍和合理的形式化标准的表达性，以便不仅适用于模型论逻辑，但也塔斯基和证明论逻辑。对于模型论逻辑来说，有一个相对可表达性的标准框架，它基于描述结构的能力，以及一个直接的形式准则，问题是它只允许比较那些定义在同一类模型中的逻辑。对更广泛的表达框架的渴望并不新鲜。然而，企业是复杂的，一个合理的模型理论的形式化标准仍然缺乏。最近，在这个更广泛的框架中出现了两个标准，一个来自García-Matos & Väänänen，另一个来自L.奎耶尔我们认为，它们是不够的。他们的局限性进行了分析，我们建议移动到一个更广泛的框架，缺乏模型理论的概念，我们称之为“翻译表现力”。在Mossakowski等人的这个后来的框架中已经有了一个标准，但后来发现太宽松了。我们提出了表达性的充分性标准，并给出了符合这些标准的翻译表达性的形式标准。
英文摘要：
There is a strong demand for precise means for the comparison of logics in terms of expressiveness both from theoretical and from application areas. The aim of this paper is to propose a sufficiently general and reasonable formal criterion for expressiveness, so as to apply not only to model-theoretic logics, but also to Tarskian and proof-theoretic logics. For model-theoretic logics there is a standard framework of relative expressiveness, based on the capacity of characterizing structures, and a straightforward formal criterion issuing from it. The problem is that it only allows the comparison of those logics defined within the same class of models. The urge for a broader framework of expressiveness is not new. Nevertheless, the enterprise is complex and a reasonable model-theoretic formal criterion is still wanting. Recently there appeared two criteria in this wider framework, one from García-Matos & Väänänen and other from L. Kuijer. We argue that they are not adequate. Their limitations are analyzed and we propose to move to an even broader framework lacking model-theoretic notions, which we call "translational expressiveness". There is already a criterion in this later framework by Mossakowski et al., however it turned out to be too lax. We propose some adequacy criteria for expressiveness and a formal criterion of translational expressiveness complying with them is given.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
