关于三值次协调一阶逻辑QCiore的若干模型论结果
逻辑
2018-08-24 v2
摘要
本文从模型论的角度研究了三值次协调一阶逻辑 QCiore。QCiore 的语义由偏结构给出，偏结构是一类一阶结构，其中每个 n 元谓词 R 被解释为三元组的两两不相交的 n 元组集合，分别表示实际属于 R 的元组集合、实际不属于 R 的元组集合，以及状态可疑或矛盾的元组集合。偏结构由 I. Mikenberg、N. da Costa 和 R. Chuaqui 于 1986 年针对拟真（或语用真）理论提出。2014 年，M. Coniglio 和 L. Silvestrini 针对一种称为 LPT1 的三值次协调一阶逻辑研究了偏结构，其 3 值命题片段等价于 da Costa-D'Otaviano 的逻辑 J3。本文将该方法适配于 QCiore，并获得了经典模型论的一些重要结果，如 Robinson 联合一致性定理、合并性与插值性。尽管我们聚焦于 QCiore，该框架也可适配于其他三值一阶逻辑。
引用
@article{arxiv.1807.05651,
title = {Some model-theoretic results on the 3-valued paraconsistent first-order logic QCiore},
author = {Marcelo E. Coniglio and Tadeo G. Gomez and Martin Figallo},
journal= {arXiv preprint arXiv:1807.05651},
year = {2018}
}
备注
The Introduction was improved; some typos were fixed, and some notation was improved