11 citations · 15 across the 2 of their papers we have counts for
2 papers
cs.CC2012★ 4 cited
Width and size of regular resolution proofs
Alasdair Urquhart
This paper discusses the topic of the minimum width of a regular resolution refutation of a set of clauses. The main result shows that there are examples having small regular resol…
math.LO2012★ 11 cited
Failure of interpolation in the intuitionistic logic of constant domains
Grigori Mints, Grigory Olkhovikov, Alasdair Urquhart
This paper shows that the interpolation theorem fails in the intuitionistic logic of constant domains. This result refutes two previously published claims that the interpolation pr…