Sign in
A New Linear Time Correctness Condition for Multiplicative Linear Logic.
Satoshi Matsuoka
Published in:
CoRR (2019)
Keyphrases
</>
linear logic
correctness criterion
fixed point
desirable properties
cut elimination
sufficient conditions
logical framework
logic programming
proof theoretic
intuitionistic logic
sequent calculus
worst case
inference rules
proof search
logic programs
machine learning
artificial intelligence