A polynomial time complete disjunction property in intuitionistic propositional logic
Abstract
We extend the polynomial time algorithms due to Buss and Mints(APAL 1999) and Ferrari, Fiorentini and Fiorino(LPAR 2002) to yield a polynomial time complete disjunction property in intuitionistic propositional logic.
- Publication:
-
arXiv e-prints
- Pub Date:
- December 2013
- DOI:
- 10.48550/arXiv.1312.3059
- arXiv:
- arXiv:1312.3059
- Bibcode:
- 2013arXiv1312.3059A
- Keywords:
-
- Mathematics - Logic;
- Computer Science - Logic in Computer Science;
- 03F99