I apply the notions of alethic reference introduced in previous work in the construction of several classical semantic truth theories. Furthermore, I provide proof-theoretic versions of those notions and use them to formulate axiomatic disquotational truth systems over classical logic. Some of these systems are shown to be sound, proof-theoretically strong, and compare well to the most renowned systems in the literature.

中文翻译：

---

参考与真相

我将先前工作中引入的alethic指称概念应用到几个经典语义真理论的构建中。此外，我提供了这些概念的证明理论版本，并使用它们来制定经典逻辑上的公理反引号真值系统。其中一些系统被证明是可靠的，理论上证明是强大的，并且可以与文献中最著名的系统相媲美。