Login / Signup
Games and Full Completeness for Multiplicative Linear Logic.
Samson Abramsky
Radha Jagadeesan
Published in:
CoRR (2013)
Keyphrases
</>
linear logic
sequent calculus
fixed point
desirable properties
logic programming
proof theoretic
video games
cut elimination
logical framework
game theory
natural deduction
proof search
computer games
logic programs
search space
intuitionistic logic
inference rules
game playing
decision making
expert systems