Proof nets for multiplicative cyclic linear logic and Lambek calculus.

V. Michele Abrusci Roberto Maieli

Published in: Math. Struct. Comput. Sci. (2019)

Keyphrases

linear logic
sequent calculus
proof search
cut elimination
proof theoretic
natural deduction
fixed point
desirable properties
logical framework
intuitionistic logic
inference rules
logic programming
expert systems
object oriented