Login / Signup
Simulating Linear Logic in 1-Only Linear Logic.
Max I. Kanovich
Published in:
CoRR (2017)
Keyphrases
</>
linear logic
fixed point
sequent calculus
cut elimination
proof theoretic
logic programming
logical framework
intuitionistic logic
proof search
machine learning
desirable properties
reinforcement learning
utility function