Login / Signup
Game Semantics and Linear Logic in the Cognition Process.
Dmitry Maximov
Published in:
CoRR (2018)
Keyphrases
</>
linear logic
artificial intelligence
logical framework
sequent calculus
logic programming
proof theoretic