Presheaf semantics and independence results for some non-classical first-order logics

@article{Ghilardi1989PresheafSA,
  title={Presheaf semantics and independence results for some non-classical first-order logics},
  author={Silvio Ghilardi},
  journal={Arch. Math. Log.},
  year={1989},
  volume={29},
  pages={125-136}
}
The logic D J of the weak exluded middle with constant domains is proved to be incomplete with respect to Kripke semantics, by introducing models in presheaves on an arbitrary category. Additional incompleteness results are obtained for the modal systems with nested domains extending Q-S4.1. 1. Presheaf Semantics This paper is, in a certain sense, a sequel to [1], because some systems for which we could not prove completeness there, are here shown to be incomplete with respect to Kripke… CONTINUE READING
Highly Cited
This paper has 26 citations. REVIEW CITATIONS