Can I read Second Order Intuitionistic Propositional Logic of the Real Line Is Decidable on EtoBox?

Second Order Intuitionistic Propositional Logic of the Real Line Is Decidable by Zdanowski, Konrad is a scholarly article available to read on EtoBox.

What is Second Order Intuitionistic Propositional Logic of the Real Line Is Decidable about?

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 of open subsets of reals or rationals are decidable.

Author

Zdanowski, Konrad

Published

2016

Language

EN