A Linear Proof Language for Second-Order Intuitionistic Linear Logic.

Alejandro Díaz-Caro Gilles Dowek Malena Ivnisky Octavio Malherbe

Published in: WoLLIC (2024)

Keyphrases

linear logic
intuitionistic logic
proof search
logic programming
proof theoretic
fixed point
sequent calculus
cut elimination
programming language
natural language
desirable properties
logical framework
higher order
logic programs
differential operators
constraint logic programming