The following pages link to (Q2996331):
Displaying 10 items.
- Pure second-order logic with second-order identity (Q989416) (← links)
- Non-axiomatizable second order intuitionistic propositional logic (Q1361248) (← links)
- Second-order logic of paradox (Q1633895) (← links)
- A critical appraisal of second-order logic (Q3141185) (← links)
- Pedagogical Second-order Propositional Calculi (Q3520242) (← links)
- (Q3680264) (← links)
- A secondary semantics for Second Order Intuitionistic Propositional Logic (Q4459601) (← links)
- (Q4854393) (← links)
- Logicism and Second-Order Logic (Q5137234) (← links)
- The Logic of Classes (Q5436998) (← links)