Login / Signup
Explorations in Subexponential Non-associative Non-commutative Linear Logic.
Eben Blaisdell
Max I. Kanovich
Stepan L. Kuznetsov
Elaine Pimentel
Andre Scedrov
Published in:
CoRR (2023)
Keyphrases
</>
linear logic
fixed point
sequent calculus
associative memory
logical framework
cut elimination
intuitionistic logic
logic programming
desirable properties
random variables
probability distribution
proof search
proof theoretic
machine learning
inference rules