A sequent calculus with procedure calls

Mahfuza Farooque Stéphane Lengrand

Published in: CoRR (2012)

Keyphrases

sequent calculus
cut elimination
inference rules
linear logic
modal logic
machine learning
linear time temporal logic
high level
expert systems
simulated annealing
wide class