Stock image for illustration purposes only - book cover, edition or condition may vary.
Natural Deduction, Hybrid Systems and Modal Logics
Andrzej . Ed(S): Indrzejczak
€ 292.80
FREE Delivery in Ireland
Description for Natural Deduction, Hybrid Systems and Modal Logics
Hardback. Here is an extensive treatment of Natural Deduction and related proof systems, focused on practical aspects of proof methods. Necessary background material is provided, including a presentation of Modal Logics, First-Order Modal and Hybrid Modal Logics. Editor(s): Indrzejczak, Andrzej. Series: Trends in Logic. Num Pages: 506 pages, 20 black & white tables, biography. BIC Classification: HPL; PBC; PBKS; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 28. Weight in Grams: 1980.
A good title should be informative enough to illuminate a potential reader on the content of a book. We hope that the present title gives at least some hints of what this book is about. The notion of natural deduction or modal logic are rather well known, but the notion of “hybrid system” certainly needs some explanation. In short, this study may be seen as a kind of search for good deductive systems. We think of systems good in practice which may be applied with easenotonlybywelltrainedlogiciansbutalso, forexample, byphilosophers who need handy deductive tools accompanying their analyses. In parti- lar, we ... Read more
A good title should be informative enough to illuminate a potential reader on the content of a book. We hope that the present title gives at least some hints of what this book is about. The notion of natural deduction or modal logic are rather well known, but the notion of “hybrid system” certainly needs some explanation. In short, this study may be seen as a kind of search for good deductive systems. We think of systems good in practice which may be applied with easenotonlybywelltrainedlogiciansbutalso, forexample, byphilosophers who need handy deductive tools accompanying their analyses. In parti- lar, we ... Read more
Product Details
Format
Hardback
Publication date
2010
Publisher
Springer Netherlands
Number of pages
506
Condition
New
Series
Trends in Logic
Number of Pages
492
Place of Publication
Dordrecht, Netherlands
ISBN
9789048187843
SKU
V9789048187843
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
About Andrzej . Ed(S): 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, ... Read more
Reviews for Natural Deduction, Hybrid Systems and Modal Logics