Kripke sheaf completeness of some superintuitionistic predicate logics with a weakened constant domains principle

DOI10.1007/s11225-012-9382-2zbMath1258.03031OpenAlexW2051936959MaRDI QIDQ454383

Dimitrij Skvortsov

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

zbMATH Keywords

Kripke semanticsintermediate predicate logicsKripke sheaf completenessKripke sheavessuperintuitionistic predicate logics

Mathematics Subject Classification ID

Intermediate logics (03B55)

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