Hyperproof: An Excursion in Situated Logic.

Published in: NACLP (1990)

Keyphrases

modal logic
automated reasoning
classical logic
asynchronous circuits
machine learning
multi valued
real time
learning algorithm
logic programming
logical framework
nonmonotonic logics
proof theory
intuitionistic logic