The following pages link to Proof of a conjecture of McKay (Q4773681):
Displayed 4 items.
- Intermediate logics with the same disjunctionless fragment as intuitionistic logic (Q1096618) (← links)
- On fragments of Medvedev's logic (Q1165841) (← links)
- On Jaskowski-type semantics for the intuitionistic propositional logic (Q1231484) (← links)
- A new solution to a problem of Hosoi and Ono (Q1893145) (← links)