Pages that link to "Item:Q1208117"

The following pages link to Some results on the Kripke sheaf semantics for super-intuitionistic predicate logics (Q1208117):

Displaying 8 items.

• Kripke sheaf completeness of some superintuitionistic predicate logics with a weakened constant domains principle (Q454383) (← links)
• Presheaf semantics and independence results for some non-classical first- order logics (Q582278) (← links)
• On the predicate logic of linear Kripke frames and some of its extensions (Q817691) (← links)
• Constructing a continuum of predicate extensions of each intermediate propositional logic (Q1891930) (← links)
• Algebraic Kripke sheaf semantics for non-classical predicate logics (Q1970921) (← links)
• On Kripke completeness of modal predicate logics around quantified \textbf{K5} (Q2105091) (← links)
• (Q3684108) (← links)
• A remark on the superintuitionistic predicate logic of Kripke frames of finite height with constant domains: a simpler Kripke complete logic that is not strongly complete (Q5224588) (← links)