Games and Full Completeness for Multiplicative Linear Logic (Extended Abstract).

Samson Abramsky Radha Jagadeesan

Published in: FSTTCS (1992)

Keyphrases

extended abstract
linear logic
video games
fixed point
logic programming
proof theoretic
sequent calculus
intuitionistic logic
cut elimination
desirable properties
logical framework
proof search
game theory
educational games
game playing
computer games
default reasoning
pairwise