arXiv subjects

Alasdair Urquhart

Publications and source records attributed to Alasdair Urquhart.

2 recordsLinked to original sources

arXiv2012

Width and size of regular resolution proofs

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 resolution refutations, for which any regular refutation must contain a large clause. This forms a contrast with corresponding results for general resolution refutations.

cs.CC↗

arXiv2012

Failure of interpolation in the intuitionistic logic of constant domains

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 property holds.

math.LO↗