A Strong Normalization Result for Classical Logic.

Franco Barbanera Stefano Berardi

Published in: Ann. Pure Appl. Log. (1995)

Keyphrases

classical logic
logic programming
modal logic
intuitionistic logic
default logic
possibilistic logic
commonsense reasoning
pattern recognition
general purpose
autoepistemic logic
computer science and artificial intelligence