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

DOI10.1007/BF01053065zbMath0772.03009MaRDI 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\)-morphism; Kripke bundle; Kripke sheaf semantics; superintuitionistic predicate logics without equality

Mathematics Subject Classification ID

03B55: Intermediate logics

Related Items

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, Constructing a continuum of predicate extensions of each intermediate propositional logic, On Kripke completeness of modal predicate logics around quantified \textbf{K5}

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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