Login / Signup
LNL polycategories and doctrines of linear logic.
Michael Shulman
Published in:
CoRR (2021)
Keyphrases
</>
linear logic
fixed point
logical framework
logic programming
desirable properties
cut elimination
sequent calculus
proof search
proof theoretic
intuitionistic logic
machine learning
artificial intelligence
dispute resolution
high level
sufficient conditions
inference rules