Soundness and Completeness of UNITY Logic.

Published in: FSTTCS (1994)

Keyphrases

classical logic
modal logic
logic programming
information systems
probabilistic logic
digital circuits
predicate logic
real time
clustering algorithm
search algorithm
computational properties
defeasible logic
logic synthesis