Il libro è attualmente esaurito
Maggiori informazioni sul libro
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.
Acquisto del libro
Displaying Modal Logic, Heinrich Wansing
- Lingua
- Pubblicato
- 2010
- product-detail.submit-box.info.binding
- (In brossura)
Ti avviseremo via email non appena lo rintracceremo.
Metodi di pagamento
Qui potrebbe esserci la tua recensione.