Proof-terms for classical and intuitionistic resolution

Abstract

Journal Article Proof-terms for classical and intuitionistic resolution Get access E Ritter, E Ritter Search for other works by this author on: Oxford Academic Google Scholar D Pym, D Pym Search for other works by this author on: Oxford Academic Google Scholar L Wallen L Wallen Search for other works by this author on: Oxford Academic Google Scholar Journal of Logic and Computation, Volume 10, Issue 2, April 2000, Pages 173–207, https://doi.org/10.1093/logcom/10.2.173 Published: 01 April 2000