\textit{Salva Veritate} 原则的组合学
计算与语言
2022-01-17 v1 形式语言与自动机理论
摘要
语法组合性的各种概念在自然语言和人工语言的许多理论中都有出现，并且通常在句法-语义界面的解释中发挥关键作用。我们提出，组合性的许多实例应当蕴含关于满足这些组合性质的语言表达能力的非平凡组合论断。作为一个例子，我们提出一项形式化分析，证明允许 salva veritate 替换的一特定类别的语言——我们声称该性质是组合性原则的一个特别强有力的例子——也必须满足本文所识别出的一种非常自然的组合约束。
引用
@article{arxiv.2201.05173,
title = {The Combinatorics of \textit{Salva Veritate} Principles},
author = {Norman E. Trushaev},
journal= {arXiv preprint arXiv:2201.05173},
year = {2022}
}