\textit{Salva Veritate}原理的组合学
The Combinatorics of \textit{Salva Veritate} Principles
摘要：
语法组合性的各种概念出现在许多自然语言和人工语言的理论中，并且经常在句法-语义界面的解释中发挥关键作用。我们建议，许多情况下的组合性应该需要非平凡的组合要求的表达能力的语言，满足这些组成的属性。作为一个例子，我们提出了一个正式的分析表明，一类特殊的语言，承认萨尔瓦vertitate替换-一个属性，我们声称是一个特别强大的组成原则的例子-也必须满足一个非常自然的组合约束，本文确定。
英文摘要：
Various concepts of grammatical compositionality arise in many theories of both natural and artificial languages, and often play a key role in accounts of the syntax-semantics interface. We propose that many instances of compositionality should entail non-trivial combinatorial claims about the expressive power of languages which satisfy these compositional properties. As an example, we present a formal analysis demonstrating that a particular class of languages which admit salva vertitate substitutions - a property which we claim to be a particularly strong example of compositional principle - must also satisfy a very natural combinatorial constraint identified in this paper.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
