德米特里·斯科沃尔佐夫 关于等式（或不等式）超直觉谓词逻辑函子语义的一个特殊性的注记。 （英语） Zbl 1291.03043号 托马斯·博兰德（编辑）等人，《模态逻辑的进展》。第9卷。第九届会议记录（AiML 2012），丹麦哥本哈根，2012年8月22日至25日。伦敦：学院出版物（ISBN 978-1-84890-068-4/pbk）。483-493 (2012). 小结：我们注意到超直觉谓词逻辑的函子语义有以下稍微奇怪（也许还有点出乎意料）的逻辑属性，这与通常的克里普克语义的一个众所周知的属性形成了对比。也就是说，对于一个范畴\（\mathcal{C}\），它的逻辑（即具有给定的、固定的\（\mathcal{C}\）的所有\（\mathcal{C}\）-集的逻辑）一般不可还原为锥（即，\（\athcal{C}）对其框架表示的上闭根子集\（W=\operatorname{Ob}（\mathcal{C{）\的限制））。还讨论了相关概念和观察结果。关于整个系列，请参见[Zbl 1262.03005号]. MSC公司： 03B55号 中间逻辑 03G30型 分类逻辑，拓扑 关键词：函子语义;超直觉谓词逻辑;克里普克语义学;类别 PDF格式BibTeX公司 XML格式引用 \textit{D.Skvortsov}，in：模态逻辑的进展。第9卷。第九届会议记录（AiML 2012），丹麦哥本哈根，2012年8月22日至25日。伦敦：学院出版物。483--493（2012年；Zbl 1291.03043）