Browsing Open Access Repositories by Subject "sSocratic proof systems"
Now showing items 1-1 of 1
-
Tractable Inference Relations
(1991-12-01)We consider the concept of local sets of inference rules. Locality is a syntactic condition on rule sets which guarantees that the inference relation defined by those rules is polynomial time decidable. Unfortunately, ...