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