Pages that link to "Item:Q5537357"
From MaRDI portal
The following pages link to The separable axiomatization of the intermediate propositional systems $S_n $ of Gödel (Q5537357):
Displaying 4 items.
- Separability of normalizable superintuitionistic propositional logics (Q1290801) (← links)
- A semantic hierarchy for intuitionistic logic (Q1740610) (← links)
- An Interaction Net Encoding of Gödel’s System $$\mathcal {T}$$ (Q2798262) (← links)
- A criterion for the separable axiomatization of Gödel's $S_n $ (Q5554948) (← links)