Confluence as a cut elimination property.

Published in: CoRR (2023)

Keyphrases

cut elimination
sequent calculus
linear logic
natural deduction
wide class
inference rules
proof theoretic
modal logic
desirable properties
sufficient conditions
bayesian networks
search algorithm
shape analysis