Lambek's Categorical Proof Theory and Läuchli's Abstract Realizability.

Victor Harnik Michael Makkai

Published in: J. Symb. Log. (1992)

Keyphrases

proof theory
default reasoning
automated reasoning
proof theoretic
reasoning problems
high level
belief revision
reasoning tasks