Login / Signup

Formalized meta-theory of sequent calculi for linear logics.

Kaustuv ChaudhuriLeonardo LimaGiselle Reis
Published in: Theor. Comput. Sci. (2019)
Keyphrases
  • sequent calculi
  • modal logic
  • conditional logic
  • cut elimination
  • machine learning
  • expressive power
  • sequent calculus
  • general purpose
  • temporal logic
  • inference rules
  • nonmonotonic reasoning
  • proof theoretic