Volume 8, 1998
Logic and the Philosophy of Logic
S. L. Katretchko
Pages 88-91
Between Logic and Heuristic
This article aims to construct a new type of logical calculilogical heuristic calculus which contains the means of reducing complete search. Such a heuristic component of calculus is reached with the help of meta-level means. The principal means for reducing search is structural information about information about contrary literals of formula.