Bifibrations of Polycategories and Classical Linear Logic.

Nicolas Blanco Noam Zeilberger

Published in: MFPS (2020)

Keyphrases

linear logic
fixed point
logic programming
desirable properties
proof theoretic
sequent calculus
cut elimination
logical framework
proof search
inference rules
knowledge base
intuitionistic logic
natural language