Trees in Kripke models and in an intuitionistic refutation system
- 1 January 1981
- book chapter
- Published by Springer Nature
- p. 316-331
- https://doi.org/10.1007/3-540-10828-9_72
Abstract
No abstract availableThis publication has 3 references indexed in Scilit:
- Intuitionistic propositional logic is polynomial-space completeTheoretical Computer Science, 1979
- Applications of Kripke modelsPublished by Springer Nature ,1973
- First-Order LogicPublished by Springer Nature ,1968