Pages that link to "Item:Q3431969"
From MaRDI portal
The following pages link to On Non-axiomatizability of Superintuitionistic Predicate Logics of Some Classes of Well-founded and Dually Well-founded Kripke Frames (Q3431969):
Displaying 5 items.
- A Remark on Superintuitionistic Predicate Logics of Kripke Frames with Constant and with Nested Domains (Q3094149) (← links)
- EPSILON THEOREMS IN INTERMEDIATE LOGICS (Q5082060) (← 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)
- UNIFICATION IN SUPERINTUITIONISTIC PREDICATE LOGICS AND ITS APPLICATIONS (Q5381031) (← links)
- Algorithmic properties of first-order superintuitionistic logics of finite Kripke frames in restricted languages (Q5858132) (← links)