Natural Deduction, Hybrid Systems and Modal Logics
This volume provides an extensive treatment of Natural Deduction and related types of proof systems, with a focus on the practical aspects of proof methods. The book has two main aims: Its first aim is to provide a systematic and historical survey of the variety of Natural Deduction systems in Class...
| Main Author: | |
|---|---|
| Corporate Author: | |
| Format: | Electronic |
| Language: | English |
| Published: |
Dordrecht :
Springer Netherlands,
2010.
|
| Series: | Trends in Logic ;
30 |
| Subjects: | |
| Online Access: | https://ezaccess.library.uitm.edu.my/login?url=http://dx.doi.org/10.1007/978-90-481-8785-0 |