Natural Deduction, Hybrid Systems and Modal Logics

Name: Natural Deduction, Hybrid Systems and Modal Logics
Brand: Springer
SKU: 9789048187843
Price: 92829 HUF
Availability: InStock

Szerző: Andrzej Indrzejczak

Nyelv:

Kötés: Kemény kötésű

Kiadó: Springer

Elérhetőség: Beszállítói készleten alacsony példányszámban

Küldés 13-18 napon belül

92 829 Ft

This volume provides an extensive treatment of Natural Deduction and related types of proof systems,...

Információk a könyvről

Szerző

Andrzej Indrzejczak

Nyelv

Angol

Kötés

Könyv - Kemény kötésű

Kiadva

2010

oldal

492

EAN

9789048187843

ISBN

9048187842

Enbook ID

01976670

Kiadó

Springer

Súly

1980

Méretek

155 x 235 x 35

Teljes leírás

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 proof search from different areas. All necessary background material is provided, in particular, a detailed presentation of Modal Logics, including First-Order Modal and Hybrid Modal Logics. The deduction systems presented in the book may be of interest to working logicians, researchers on automated deduction and teachers of logic.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Natural Deduction, Hybrid Systems and Modal Logics

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták