On geometry of interaction for polarized linear logic.

Masahiro Hamano Philip J. Scott

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

Keyphrases

linear logic
cut elimination
fixed point
logical framework
logic programming
sequent calculus
proof theoretic
desirable properties
three dimensional
intuitionistic logic
expert systems
knowledge representation
inference rules
spatially varying
proof search