Download PDFOpen PDF in browserOn the constant domains principle and its weakened versions in the Kripke sheaf semantics4 pages•Published: July 28, 2014AbstractTwo weakened versions of the constant domains principle D are considered.The Kripke sheaf incompleteness of superintuitionistic predicate logics, obtained by adding these weakened principles to predicate versions of superintuitionistic propositional logics of finite slices, is claimed. So a difference between these principles and the principle D is shown. The incompleteness proof uses the functor semantics. Keyphrases: constant domains principle, functor semantics, kripke sheaf semantics, superintuitionistic predicate logics In: Nikolaos Galatos, Alexander Kurz and Constantine Tsinakis (editors). TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic, vol 25, pages 204-207.
|