Displaying Modal Logic
H. Wansing
Gebundenes Buch

Displaying Modal Logic

Versandkostenfrei!
Versandfertig in 1-2 Wochen
109,99 €
inkl. MwSt.
PAYBACK Punkte
55 °P sammeln!
The present monograph is a slightly revised version of my Habilitations schrift Proof-theoretic Aspects of Intensional and Non-Classical Logics, successfully defended at Leipzig University, November 1997. It collects work on proof systems for modal and constructive logics I have done over the last few years. The main concern is display logic, a certain refinement of Gentzen's sequent calculus developed by Nuel D. Belnap. This book is far from offering a comprehensive presentation of generalized sequent systems for modal logics broadly conceived. The proof-theory of non-classical logics is a ra...