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