Pages that link to "Item:Q4053614"

The following pages link to Incompleteness of semantics for intermediate predicate logics, I. Kripke's Semantics (Q4053614):

Displaying 2 items.

• Kripke sheaf completeness of some superintuitionistic predicate logics with a weakened constant domains principle (Q454383) (← links)
• On the predicate logic of linear Kripke frames and some of its extensions (Q817691) (← links)