The Sequent Calculus of Skew Monoidal Categories.

Tarmo Uustalu Niccolò Veltri Noam Zeilberger

Published in: CoRR (2020)

Keyphrases

sequent calculus
cut elimination
inference rules
linear logic
natural deduction
modal logic
equational theories
linear time temporal logic
sufficient conditions
proof search
expert systems
pairwise
text classification
desirable properties