A sequent calculus with dependent types for classical arithmetic.

Étienne Miquey

Published in: CoRR (2018)

Keyphrases

sequent calculus
cut elimination
modal logic
linear logic
machine learning
general purpose
inference rules
artificial intelligence
expert systems
wide class