The following pages link to C. G. McKay (Q2537601):
Displayed 8 items.
- Implicationless wffs in IC (Q2537602) (← links)
- A consistent prepositional logic without any finite models (Q3680807) (← links)
- A Note on The Jaśkowski Sequence (Q5526120) (← links)
- (Q5532530) (← links)
- (Q5565080) (← links)
- The decidability of certain intermediate propositional logics (Q5565105) (← links)
- (Q5573952) (← links)
- A class of decidable intermediate propositional logics (Q5619824) (← links)