Login / Signup

Sequent Calculi for the classical fragment of Bochvar and Halldén's Nonsense Logics

Marcelo E. ConiglioMaría I. Corbalán
Published in: LSFA (2012)
Keyphrases
  • sequent calculi
  • conditional logic
  • modal logic
  • cut elimination
  • default reasoning
  • nonmonotonic reasoning
  • classical logic
  • sequent calculus
  • expressive power
  • answer set programming
  • probability theory