Login / Signup
Continuation-Passing Style and Strong Normalisation for Intuitionistic Sequent Calculi
José Espírito Santo
Ralph Matthes
Luís Pinto
Published in:
Log. Methods Comput. Sci. (2009)
Keyphrases
</>
sequent calculi
cut elimination
linear logic
sequent calculus
sufficient conditions
fuzzy set theory
wide class
bayesian networks
expert systems
theorem prover
conditional logic