Displaying Modal Logic

Auteurs

• Heinrich Wansing

Paramètres

• Pages: 268 pages
• Temps de lecture: 10 heures

• Mathématiques
• Philosophie

En savoir plus sur le livre

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.

Achat du livre

• Année de publication: 2010
• Reliure: (souple)