Epsilon Terms in Intuitionistic Sequent Calculus.

Bruno Woltzenlogel Paleo Giselle Reis

Published in: FLAP (2017)

Keyphrases

linear logic
sequent calculus
cut elimination
natural deduction
inference rules
fixed point
modal logic
wide class
machine learning
probabilistic model
description logics