Skolemisation for Intuitionistic Linear Logic.

Alessandro Bruni Eike Ritter Carsten Schürmann

Published in: IJCAR (2) (2024)

Keyphrases

linear logic
cut elimination
logic programming
proof theoretic
desirable properties
fixed point
logical framework
sequent calculus
intuitionistic logic
proof search
bayesian networks
software engineering