Presheaf semantics and independence results for some non-classical first-order logics |
| |
| Authors: | Silvio Ghilardi |
| |
| Institution: | (1) Dipartimento di Matematica  Federigo Enriques , Università degli Studi di Milano, Via C. Saldini 50, I-20133 Milano, Italy |
| |
| Abstract: | The logicD-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 extendingQ-S4.1. |
| |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ |
|
