SOME NOTES ON THE SUPERINTUITIONISTIC LOGIC OF CHEQUERED SUBSETS OF R 1
Tadeusz Litak · 2004
We are going to investigate the superintuitionistic analogue of the modal logic of chequered subsets of R 1 introduced by van Benthem et al. [2] It will be observed that this logic possesses the disjunction property, contains the Scott axiom, fails to contain the Kreisel-Putnam axiom and is not structurally complete. We will prove that it is a sublogic of the Medvedev logic ML.