000 -LEADER |
fixed length control field |
02868nam a22004935i 4500 |
003 - CONTROL NUMBER IDENTIFIER |
control field |
OSt |
005 - DATE AND TIME OF LATEST TRANSACTION |
control field |
20140310151501.0 |
007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION |
fixed length control field |
cr nn 008mamaa |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
fixed length control field |
100702s2010 ne | s |||| 0|eng d |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
International Standard Book Number |
9789048187850 |
|
978-90-481-8785-0 |
050 #4 - LIBRARY OF CONGRESS CALL NUMBER |
Classification number |
BC1-199 |
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
Classification number |
160 |
Edition number |
23 |
264 #1 - |
-- |
Dordrecht : |
-- |
Springer Netherlands, |
-- |
2010. |
912 ## - |
-- |
ZDB-2-SMA |
100 1# - MAIN ENTRY--PERSONAL NAME |
Personal name |
Indrzejczak, Andrzej. |
Relator term |
author. |
245 10 - IMMEDIATE SOURCE OF ACQUISITION NOTE |
Title |
Natural Deduction, Hybrid Systems and Modal Logics |
Medium |
[electronic resource] / |
Statement of responsibility, etc |
by Andrzej Indrzejczak. |
300 ## - PHYSICAL DESCRIPTION |
Extent |
XXIII, 514p. |
Other physical details |
online resource. |
440 1# - SERIES STATEMENT/ADDED ENTRY--TITLE |
Title |
Trends in Logic ; |
Volume number/sequential designation |
30 |
505 0# - FORMATTED CONTENTS NOTE |
Formatted contents note |
Preliminaries -- Standard Natural Deduction -- Other Deductive Systems -- Extended Natural Deduction -- Survey of Modal Logics -- Standard Approach to Basic Modal Logics -- Beyond Basic Logics and Standard Systems -- Labelled Systems in Modal Logics -- Logics of Linear Frames -- Analytic Labelled ND and Proof Search -- Modal Hybrid Logics -- Proof Methods for MHL. |
520 ## - SUMMARY, ETC. |
Summary, etc |
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. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name as entry element |
Philosophy (General). |
|
Topical term or geographic name as entry element |
Logic. |
|
Topical term or geographic name as entry element |
Computer science. |
|
Topical term or geographic name as entry element |
Artificial intelligence. |
|
Topical term or geographic name as entry element |
Algorithms. |
|
Topical term or geographic name as entry element |
Logic, Symbolic and mathematical. |
|
Topical term or geographic name as entry element |
Philosophy. |
|
Topical term or geographic name as entry element |
Logic. |
|
Topical term or geographic name as entry element |
Mathematical Logic and Foundations. |
|
Topical term or geographic name as entry element |
Mathematical Logic and Formal Languages. |
|
Topical term or geographic name as entry element |
Algorithms. |
|
Topical term or geographic name as entry element |
Artificial Intelligence (incl. Robotics). |
710 2# - ADDED ENTRY--CORPORATE NAME |
Corporate name or jurisdiction name as entry element |
SpringerLink (Online service) |
773 0# - HOST ITEM ENTRY |
Title |
Springer eBooks |
776 08 - ADDITIONAL PHYSICAL FORM ENTRY |
Display text |
Printed edition: |
International Standard Book Number |
9789048187843 |
856 40 - ELECTRONIC LOCATION AND ACCESS |
Uniform Resource Identifier |
http://dx.doi.org/10.1007/978-90-481-8785-0 |
942 ## - ADDED ENTRY ELEMENTS (KOHA) |
Source of classification or shelving scheme |
|
Item type |
E-Book |