An improved refutation system for intuitionistic predicate logic
- 1 January 1994
- journal article
- Published by Springer Nature in Journal of Automated Reasoning
- Vol. 13 (3) , 361-373
- https://doi.org/10.1007/bf00881949
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Contraction-free sequent calculi for intuitionistic logicThe Journal of Symbolic Logic, 1992
- Trees in Kripke models and in an intuitionistic refutation systemPublished by Springer Nature ,1981
- Semantical Investigations in Heyting’s Intuitionistic LogicPublished by Springer Nature ,1981
- Aspects of Constructive MathematicsPublished by Elsevier ,1977
- Applications of Kripke modelsPublished by Springer Nature ,1973
- Semantical Analysis of Intuitionistic Logic IPublished by Elsevier ,1965