Theorem proving for classical logic with partial functions by reduction to Kleene logic
de Nivelle, H.Language:
english
Journal:
Journal of Logic and Computation
DOI:
10.1093/logcom/exu071
Date:
December, 2014
File:
PDF, 1.25 MB
english, 2014