Proof Theory of Partially Normal Skew Monoidal Categories.

Tarmo Uustalu Niccolò Veltri Noam Zeilberger

Published in: ACT (2020)

Keyphrases

proof theory
default reasoning
proof theoretic
automated reasoning
reasoning problems
machine learning
bayesian networks
knowledge representation
desirable properties