常域基本一阶逻辑的典范模型
逻辑
2020-05-21 v6
摘要
我构建了常域基本一阶逻辑（BQLCD）的典范模型，BQLCD是Visser基本命题逻辑的常域一阶扩展，并利用该典范模型验证了BQLCD满足析取性质与存在性质。
关键词
引用
@article{arxiv.1907.07013,
title = {A Canonical Model for Constant Domain Basic First-Order Logic},
author = {Ben Middleton},
journal= {arXiv preprint arXiv:1907.07013},
year = {2020}
}
备注
Lemma 3 and the definition of $\mathcal{N}\textsf{BQL}_\textsf{CD}(\Sigma)$ are incorrectly stated in the published version of the paper (Studia Logica 2020). This version of the paper contains the correct statement of Lemma 3 and the correct definition of $\mathcal{N}\textsf{BQL}_\textsf{CD}(\Sigma)$