Pages that link to "Item:Q454383"

The following pages link to Kripke sheaf completeness of some superintuitionistic predicate logics with a weakened constant domains principle (Q454383):

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)
• Some results on the Kripke sheaf semantics for super-intuitionistic predicate logics (Q1208117) (← links)
• A logic characterized by the class of connected models with nested domains (Q1264135) (← links)
• A Remark on Superintuitionistic Predicate Logics of Kripke Frames with Constant and with Nested Domains (Q3094149) (← links)
• A Note on a Subsystem Of Intuitionistic Logic with Constant Domains (Q3787971) (← 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)
• Constructive Modalities with Provability Smack (Q5255796) (← links)