The following pages link to Proof of a conjecture of McKay (Q4773681):
Displayed 5 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)
- Implicational Logic, Relevance, and Refutability (Q5006815) (← links)