Some results on the Kripke sheaf semantics for super-intuitionistic predicate logics

DOI10.1007/BF01053065zbMath0772.03009OpenAlexW2058351460MaRDI QIDQ1208117

Nobu-Yuki Suzuki

Publication date: 16 May 1993

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01053065

zbMATH Keywords

algebraic semantics\(p\)-morphismKripke bundleKripke sheaf semanticssuperintuitionistic predicate logics without equality

Mathematics Subject Classification ID

Intermediate logics (03B55)

Related Items

Constructing a continuum of predicate extensions of each intermediate propositional logic, A negative solution to Ono's problem P52: existence and disjunction properties in intermediate predicate logics, Kripke sheaf completeness of some superintuitionistic predicate logics with a weakened constant domains principle, On Kripke completeness of modal predicate logics around quantified \textbf{K5}

Cites Work

• Kripke bundles for intermediate predicate logics and Kripke frames for intuitionistic modal logics
• Semantical investigations in Heyting's intuitionistic logic
• Directed frames
• A study of intermediate predicate logics
• Kripke models and intermediate logics
• An extension of ono's completeness result
• Applications of trees to intermediate logics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item