Natural deduction, hybrid systems and modal logics /

Saved in:

Bibliographic Details
Author / Creator:	Indrzejczak, Andrzej.
Imprint:	Dordrecht ; London : Springer, 2010.
Description:	1 online resource.
Language:	English
Series:	Trends in Logic ; 30 Trends in logic ; 30.
Subject:	Logic. Modality (Logic) Logic. Modality (Logic)
Format:	E-Resource Book
URL for this record:	http://pi.lib.uchicago.edu/1001/cat/bib/8894243

Hidden Bibliographic Details
ISBN:	9789048187850 9048187850
Notes:	Includes bibliographical references (p. [445]-466) and index. Description based on print version record.
Summary:	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 Classical and Modal Logics. The second aim is to present some systems of hybrid character, mixing Natural Deduction with other kinds of proof methods (including Sequent systems, Tableaux, Resolution). Such systems tend to be more universal and effective, because of the possibility of mixing strategies of.
Other form:	Print version: Indrzejczak, Andrzej. Natural deduction, hybrid systems and modal logics. Dordrecht ; London : Springer, 2010 9789048187843 9048187842

Similar Items