Linear Logic Properly Displayed.

Giuseppe Greco Alessandra Palmigiano

Published in: ACM Trans. Comput. Log. (2023)

Keyphrases

linear logic
fixed point
sequent calculus
cut elimination
intuitionistic logic
desirable properties
proof theoretic
logic programming
logical framework
proof search
database systems
knowledge base