Some notes on the superintuitionistic logic of chequered subsets of R^∞

08/20/2018
by   Tadeusz Litak, et al.
0

I investigate the superintuitionistic analogue of the modal logic of chequered subsets of R^∞ introduced by van Benthem et al. It is observed that this logic possesses the disjunction property, contains the Scott axiom, fails to contain the Kreisel-Putnam axiom and it is a sublogic of the Medvedev logic.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset