Ordered Tableaux: Extensions and Applications


In this paper several conceptual extensions to the theory of order-restricted free variable clausal tableaux which was initiated in 9, 8] are presented: atom orderings are replaced by the more general concept of a selection function, the substitutivity condition required for lifting is for certain variants of the calculus replaced by a much weaker… (More)
DOI: 10.1007/BFb0027413


Figures and Tables

Sorry, we couldn't extract any figures or tables for this paper.

Slides referencing similar topics