Pages that link to "Item:Q1876415"
From MaRDI portal
The following pages link to The finite model property with respect to admissibility for superintuitionistic logic (Q1876415):
Displaying 5 items.
- Finite frames fail: how infinity works its way into the semantics of admissibility (Q514509) (← links)
- Comparison of the topological and relational semantics of superintuitionistic logics (Q795828) (← links)
- Syntax and semantics of superintuitionistic logics (Q920079) (← links)
- A result on the completeness of superintuitionistic logics (Q1059064) (← links)
- DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV (Q5009678) (← links)