Super Exponentials in Linear Logic.

Esaïe Bauer Olivier Laurent

Published in: CoRR (2021)

Keyphrases

linear logic
logic programming
fixed point
sequent calculus
cut elimination
desirable properties
logical framework
proof theoretic
intuitionistic logic
proof search
object oriented
inference rules
artificial intelligence
knowledge base
higher order