Natural Deduction, Hybrid Systems and Modal Logics
(Sprache: Englisch)
This book provides a detailed exposition of one of the most practical and popular methods of proving theorems in logic, called Natural Deduction. It is presented both historically and systematically. Also some combinations with other known proof methods...
Leider schon ausverkauft
versandkostenfrei
Buch (Gebunden)
235.39 €
Produktdetails
Produktinformationen zu „Natural Deduction, Hybrid Systems and Modal Logics “
Klappentext zu „Natural Deduction, Hybrid Systems and Modal Logics “
This book provides a detailed exposition of one of the most practical and popular methods of proving theorems in logic, called Natural Deduction. It is presented both historically and systematically. Also some combinations with other known proof methods are explored. The initial part of the book deals with Classical Logic, whereas the rest is concerned with systems for several forms of Modal Logics, one of the most important branches of modern logic, which has wide applicability.
Inhaltsverzeichnis zu „Natural Deduction, Hybrid Systems and Modal Logics “
Preliminaries.- Standard Natural Deduction.- Other Deductive Systems.- Extended Natural Deduction.- Survey of Modal Logics.- Standard Approach to Basic Modal Logics.- Beyond Basic Logics and Standard Systems.- Labelled Systems in Modal Logics.- Logics of Linear Frames.- Analytic Labelled ND and Proof Search.- Modal Hybrid Logics.- Proof Methods for MHL.
Autoren-Porträt von Andrzej Indrzejczak
Andrzej Indrzejczak is professor of logic and Head of the Department of General Methodology at the University of Lodz, Poland. His scientific interests include the proof theory for non-classical logics, the philosophy of logic and the methodology of science. He is the author of three books and numerous papers concerned mainly with the investigation of proof techniques for non-classical logics, published e.g. in Bulletin of the Section of Logic, Logic Journal of the IGPL, Logic and Logical Philosophy, Logica Trianguli, and Studia Logica.
Bibliographische Angaben
- Autor: Andrzej Indrzejczak
- 2010, 492 Seiten, Maße: 16,5 x 24,2 cm, Gebunden, Englisch
- Verlag: Springer Netherlands
- ISBN-10: 9048187842
- ISBN-13: 9789048187843
- Erscheinungsdatum: 11.06.2010
Sprache:
Englisch
Kommentar zu "Natural Deduction, Hybrid Systems and Modal Logics"
0 Gebrauchte Artikel zu „Natural Deduction, Hybrid Systems and Modal Logics“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Natural Deduction, Hybrid Systems and Modal Logics".
Kommentar verfassen