Absorbing the structural rules in the sequent calculus with additional atomic rules.

Franco Parlamento Flavio Previale

Published in: Arch. Math. Log. (2020)

Keyphrases

association rules
machine learning
artificial intelligence
cut elimination
image segmentation
classification rules
inference rules
sequent calculus