Proof-Theoretic Semantics for Intuitionistic Multiplicative Linear Logic.

Alexander V. Gheorghiu Tao Gu David J. Pym

Published in: TABLEAUX (2023)

Keyphrases

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