Das Buch ist derzeit nicht auf Lager
Mehr zum Buch
Focusing on proof systems for modal and constructive logics, this monograph delves into display logic, a refinement of Gentzen's sequent calculus. It highlights the rapid development of non-classical logics and aims to compare various generalized Gentzen systems, discussing their advantages and disadvantages. While not exhaustive, the work builds on previous research and provides introductory context in each chapter. The author reflects on the philosophical implications and acknowledges contributions from various sources throughout the text.
Buchkauf
Displaying Modal Logic, Heinrich Wansing
- Sprache
- Erscheinungsdatum
- 2010
- product-detail.submit-box.info.binding
- (Paperback)
Wir benachrichtigen dich per E-Mail.
Lieferung
Zahlungsmethoden
Hier könnte deine Bwertung stehen.