A Canonical Model for Constant Domain Basic First-Order Logic
Logic
2020-05-21 v6
Abstract
I build a canonical model for constant domain basic first-order logic (BQLCD), the constant domain first-order extension of Visser's basic propositional logic, and use the canonical model to verify that BQLCD satisfies the disjunction and existence properties.
Cite
@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}
}
Comments
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)$