Login / Signup

Katalin Bimbó. Proof Theory: Sequent Calculi and Related Formalisms. CRC Press, Boca Raton, 2014, x + 374 pp.

Thomas Strahm
Published in: Bull. Symb. Log. (2016)
Keyphrases
  • proof theory
  • reasoning problems
  • sequent calculi
  • default reasoning
  • automated reasoning
  • knowledge representation
  • temporal logic
  • modal logic
  • theorem proving
  • nonmonotonic reasoning
  • conditional logic