Pages that link to "Item:Q1059064"
From MaRDI portal
The following pages link to A result on the completeness of superintuitionistic logics (Q1059064):
Displaying 9 items.
- A new constant in superintuitionistic logic L3 (Q498291) (← links)
- Comparison of the topological and relational semantics of superintuitionistic logics (Q795828) (← links)
- Finite approximability of forest superintuitionistic logics (Q1068076) (← links)
- Superintuitionistic companions of classical modal logics (Q1357375) (← links)
- Halldén-completeness in super-intuitionistic predicate logics (Q1868242) (← links)
- On applied theories with superintuitionistic logics (Q2751812) (← links)
- (Q3191294) (← links)
- (Q3684108) (← links)
- (Q5595146) (← links)