Login / Signup
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