Continuation-Passing Style and Strong Normalisation for Intuitionistic Sequent Calculi.

José Espírito Santo Ralph Matthes Luís Pinto

Published in: TLCA (2007)

Keyphrases

sequent calculi
cut elimination
linear logic
sequent calculus
wide class
modal logic
natural deduction
fuzzy set theory
classical logic
sufficient conditions
fixed point
machine learning
probabilistic reasoning
fuzzy numbers
inference rules
interval valued
general purpose
object oriented
expert systems