Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic.

Alexander V. Gheorghiu Tao Gu David J. Pym

Published in: CoRR (2023)

Keyphrases

linear logic
proof theoretic
cut elimination
logic programming
fixed point
intuitionistic logic
logical framework
sequent calculus
proof search
desirable properties
inference rules
logic programs
general purpose
classical logic