Login / Signup
Free Deduction: An Analysis of "Computations" in Classical Logic.
Michel Parigot
Published in:
RCLP (1991)
Keyphrases
</>
classical logic
data analysis
logic programming
intuitionistic logic
database systems
general purpose
possibilistic logic
commonsense reasoning