Multi-modalities and non-commutativity/associativity in functorial linear logic: a case study.

Carlos Olarte Elaine Pimentel

Published in: CoRR (2024)

Keyphrases

linear logic
sequent calculus
cut elimination
logic programming
intuitionistic logic
desirable properties
case study
fixed point
logical framework
proof search
proof theoretic
natural language
higher order