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...

Full description

Main Author: Indrzejczak, Andrzej.
Corporate Author: SpringerLink (Online service)
Format: Electronic
Language: English
Published: Dordrecht : Springer Netherlands, 2010.
Series: Trends in Logic ; 30
Subjects:
Online Access: http://dx.doi.org/10.1007/978-90-481-8785-0
Tags: Add Tag
No Tags, Be the first to tag this record!