Login / Signup
Sequent Calculi for the classical fragment of Bochvar and Halldén's Nonsense Logics
Marcelo E. Coniglio
Marí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