Second order intuitionistic propositional logic of the real line is decidable
Logic
2016-12-22 v1
Abstract
It is known that the set of tautologies of second order intuitionistic propositional logic, , is undecidable. Here, we prove that the sets of formulas of which are true in the algebra of open subsets of reals or rationals are decidable.
Keywords
Cite
@article{arxiv.1612.07167,
title = {Second order intuitionistic propositional logic of the real line is decidable},
author = {Konrad Zdanowski},
journal= {arXiv preprint arXiv:1612.07167},
year = {2016}
}