Konrad Zdanowski

Second order intuitionistic propositional logic of the real line is decidable

2016 · arXiv (Cornell University)

It is known that the set of tautologies of second order intuitionistic propositional logic, $\mathrm{IPC} 2$, is undecidable. Here, we prove that the sets of formulas of $\mathrm{IPC} 2$ which are true in the algebra …