04195904

a

04195904 Fitting, Melvin Intuitionistic resolution. Mathematical foundations, Proc. Meet., Siena/Italy 1987, Atti Incontri Logica Mat. 4, 59-62 (1988). 1988 EN resolution-style theorem-prover for propositional intuitionistic logic Zbl 0724.00008 [For the entire collection see Zbl 0724.00008.] The author presents a resolution-style theorem-prover for propositional intuitionistic logic.