A Simple Sequent Calculus for Angell's Logic of Analytic Containment.

Published in: Stud Logica (2017)

Keyphrases

sequent calculus
cut elimination
inference rules
linear logic
modal logic
natural deduction
linear time temporal logic
logical framework
wide class
machine learning
general purpose
logic programming
decision theory