Shortcuts
Top of page (Alt+0)
Page content (Alt+9)
Page menu (Alt+8)
Your browser does not support javascript, some WebOpac functionallity will not be available.
.
Default
.
PageMenu
-
Main Menu
-
Simple Search
.
Advanced Search
.
Journal Search
.
Refine Search Results
.
Preferences
.
Search Menu
Simple Search
.
Advanced Search
.
New Items Search
.
Journal Search
.
Refine Search Results
.
Bottom Menu
Help
Italian
.
English
.
German
.
New Item Menu
New Items Search
.
New Items List
.
Links
SISSA Library
.
ICTP library
.
Italian National web catalog (SBN)
.
Trieste University web catalog
.
Udine University web catalog
.
© LIBERO v6.4.1sp220816
Page content
You are here
:
Catalogue Display
Catalogue Display
Goal-Directed Proof Theory
.
Bookmark this Record
Catalogue Record 41957
.
.
Author info on Wikipedia
.
.
LibraryThing
.
.
Google Books
.
.
Amazon Books
.
Catalogue Information
Catalogue Record 41957
.
Reviews
Catalogue Record 41957
.
British Library
Resolver for RSN-41957
Google Scholar
Resolver for RSN-41957
WorldCat
Resolver for RSN-41957
Catalogo Nazionale SBN
Resolver for RSN-41957
GoogleBooks
Resolver for RSN-41957
ICTP Library
Resolver for RSN-41957
.
Share Link
Jump to link
Catalogue Information
Field name
Details
Dewey Class
160
Title
Goal-Directed Proof Theory ([EBook] /) / by Dov M. Gabbay, Nicola Olivetti.
Author
Gabbay, Dov M.
Added Personal Name
Olivetti, Nicola
author.
Other name(s)
SpringerLink (Online service)
Publication
Dordrecht : : Springer Netherlands : : Imprint: Springer, , 2000.
Physical Details
X, 268 p. : online resource.
Series
Applied Logic Series
1386-2790 ; ; 21
ISBN
9789401717137
Summary Note
Goal Directed Proof Theory presents a uniform and coherent methodology for automated deduction in non-classical logics, the relevance of which to computer science is now widely acknowledged. The methodology is based on goal-directed provability. It is a generalization of the logic programming style of deduction, and it is particularly favourable for proof search. The methodology is applied for the first time in a uniform way to a wide range of non-classical systems, covering intuitionistic, intermediate, modal and substructural logics. The book can also be used as an introduction to these logical systems form a procedural perspective. Readership: Computer scientists, mathematicians and philosophers, and anyone interested in the automation of reasoning based on non-classical logics. The book is suitable for self study, its only prerequisite being some elementary knowledge of logic and proof theory.:
Contents note
1 Introduction -- 2 Intuitionistic and Classical Logics -- 3 Intermediate Logics -- 4 Modal Logics of Strict Implication -- 5 Substructural Logics -- 6 Conclusions and Further Work.
System details note
Online access to this digital book is restricted to subscription institutions through IP address (only for SISSA internal users)
Internet Site
http://dx.doi.org/10.1007/978-94-017-1713-7
Links to Related Works
Subject References:
Logic
.
Philosophy
.
Programming Languages, Compilers, Interpreters
.
Programming languages (Electronic computers)
.
Authors:
Gabbay, Dov M.
.
Olivetti, Nicola
.
Corporate Authors:
SpringerLink (Online service)
.
Series:
Applied Logic Series
.
Classification:
160
.
.
ISBD Display
Catalogue Record 41957
.
Tag Display
Catalogue Record 41957
.
Related Works
Catalogue Record 41957
.
Marc XML
Catalogue Record 41957
.
Add Title to Basket
Catalogue Record 41957
.
Catalogue Information 41957
Beginning of record
.
Catalogue Information 41957
Top of page
.
Download Title
Catalogue Record 41957
Export
This Record
As
Labelled Format
Bibliographic Format
ISBD Format
MARC Format
MARC Binary Format
MARCXML Format
User-Defined Format:
Title
Author
Series
Publication Details
Subject
To
File
Email
Reviews
This item has not been rated.
Add a Review and/or Rating
41957
1
41957
-
2
41957
-
3
41957
-
4
41957
-
5
41957
-
Quick Search
Search for