A Simple Proof of a Completeness Result for leads-to in the UNITY Logic.

Published in: Inf. Process. Lett. (1992)

Keyphrases

linear logic
databases
logic programming
natural deduction
proof theory
formal proof
image sequences
search algorithm
theorem proving
automated reasoning
multi valued
computational properties
set theory
digital circuits