From Action Calculi to Linear Logic.

Andrew G. Barber Philippa Gardner Masahito Hasegawa Gordon D. Plotkin

Published in: CSL (1997)

Keyphrases

linear logic
cut elimination
sequent calculi
fixed point
logic programming
sequent calculus
proof theoretic
logical framework
desirable properties
intuitionistic logic
proof search
machine learning
expert systems
deductive databases