Bifibrations of polycategories and classical multiplicative linear logic.

Published in: CoRR (2023)

Keyphrases

linear logic
fixed point
sequent calculus
cut elimination
logic programming
proof theoretic
intuitionistic logic
proof search
desirable properties
logical framework
knowledge representation
machine learning
artificial intelligence
search space
inference rules