Skolemisation for Intuitionistic Linear Logic.

Alessandro Bruni Eike Ritter Carsten Schürmann

Published in: CoRR (2024)

Keyphrases

linear logic
logic programming
fixed point
cut elimination
proof theoretic
sequent calculus
logical framework
proof search
intuitionistic logic
desirable properties
decision making
model checking