A linear proof language for second-order intuitionistic linear logic.

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

Published in: CoRR (2023)

Keyphrases

linear logic
intuitionistic logic
proof search
fixed point
cut elimination
logic programming
proof theoretic
sequent calculus
higher order
desirable properties
logical framework
programming language
natural deduction
natural language
differential operators
operational semantics
general purpose
knowledge base