Pages that link to "Item:Q5537357"

The following pages link to The separable axiomatization of the intermediate propositional systems $S_n $ of Gödel (Q5537357):

Displaying 3 items.

• Separability of normalizable superintuitionistic propositional logics (Q1290801) (← links)
• A semantic hierarchy for intuitionistic logic (Q1740610) (← links)
• A criterion for the separable axiomatization of Gödel's $S_n $ (Q5554948) (← links)