预设逻辑的语义
计算机科学中的逻辑
2023-02-17 v5
摘要
1952年，P. F. Strawson 提出了一种预设逻辑。它是对亚里士多德逻辑即传统三段论逻辑的一种解释。1981年 Richard Diaz 出版了一本专著，提出了真理相关逻辑。本文表明真理相关逻辑不过是预设逻辑的命题版本。利用真理相关逻辑发展了预设逻辑的语义。然后将该语义进一步扩展到多元逻辑，并讨论了若干结论。
引用
@article{arxiv.1509.06837,
title = {Semantics for a Logic of Presuppositions},
author = {X. Y. Newberry},
journal= {arXiv preprint arXiv:1509.06837},
year = {2023}
}