Kripke sheaf completeness of some superintuitionistic predicate logics with a weakened constant domains principle
From MaRDI portal
Publication:454383
DOI10.1007/s11225-012-9382-2zbMath1258.03031OpenAlexW2051936959MaRDI QIDQ454383
Publication date: 1 October 2012
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11225-012-9382-2
Kripke semanticsintermediate predicate logicsKripke sheaf completenessKripke sheavessuperintuitionistic predicate logics
Related Items (2)
Kripke sheaf completeness of some superintuitionistic predicate logics with a weakened constant domains principle ⋮ Constructive Modalities with Provability Smack
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Kripke sheaf completeness of some superintuitionistic predicate logics with a weakened constant domains principle
- Presheaf semantics and independence results for some non-classical first- order logics
- Quantification in nonclassical logic. Volume I.
- On the predicate logic of linear Kripke frames and some of its extensions
- Kripke completeness of some intermediate predicate logics with the axiom of constant domain and a variant of canonical formulas
- Some results on the Kripke sheaf semantics for super-intuitionistic predicate logics
- Directed frames
- On the predicate logics of finite Kripke frames
- On intermediate predicate logics of some finite Kripke frames. I: Levelwise uniform trees
- Axiomatization of the First-Order Intermediate Logics of Bounded Kripkean Heights I
- Incompleteness of semantics for intermediate predicate logics, I. Kripke's Semantics
- Applications of trees to intermediate logics
This page was built for publication: Kripke sheaf completeness of some superintuitionistic predicate logics with a weakened constant domains principle
