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.
Connections
Explore this paper’s authors, topics and related work.
Building this map preview
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Reviews 0
Write a review
No reviews yet.
Discussion 0
Add a comment
No comments yet.