The following pages link to J. G. Anderson (Q2552122):
Displaying 4 items.
- A note on finite intermediate logics (Q2552123) (← links)
- The Degrees of Completeness of Dummetts <i>Lc</i> AND THOMAS's <i>LC</i> <sub> <i>n</i> </sub> (Q5616122) (← links)
- An application of kripke's completeness theorem for intuitionism to superconstructive propositional calculi (Q5619814) (← links)
- Superconstructive Propositional Calculi with Extra Axiom Schemes Containing One Variable (Q5658080) (← links)
