HOME > Detail View

Detail View

The logic of information structures

The logic of information structures

Material type
단행본
Personal Author
Wansing, H. (Heinrich)
Title Statement
The logic of information structures / Heinrich Wansing.
Publication, Distribution, etc
Berlin ;   New York :   Springer-Verlag ,   c1993.  
Physical Medium
ix, 163 p. ; 24 cm.
Series Statement
Lecture notes in computer science. Lecture notes in artificial intelligence ; 681
ISBN
3540567348 (Berlin : pbk. : alk. paper) 9783540567349 (Berlin : pbk. : alk. paper) 0387567348 (New York : pbk. : alk. paper) 9780387567341 (New York : pbk. : alk. paper)
General Note
Revision of the author's doctoral thesis (Fachbereich Philosophie und Sozialwissenschaften I of the Free University of Berlin)  
Bibliography, Etc. Note
Includes bibliographical references (p. [149]-155) and index.
Subject Added Entry-Topical Term
Computer science. Artificial intelligence. Logic, Symbolic and mathematical.
000 01392camuu2200349 a 4500
001 000045407422
005 20071212112337
008 930709s1993 gw b 001 0 eng
010 ▼a 93029015 //r962
020 ▼a 3540567348 (Berlin : pbk. : alk. paper)
020 ▼a 9783540567349 (Berlin : pbk. : alk. paper)
020 ▼a 0387567348 (New York : pbk. : alk. paper)
020 ▼a 9780387567341 (New York : pbk. : alk. paper)
035 ▼a (OCoLC)ocm28547331
035 ▼a (OCoLC)28547331
035 ▼a (KERIS)REF000013954832
040 ▼a DLC ▼c DLC ▼d DLC ▼d 211009
050 0 0 ▼a QA76 ▼b .W235 1993
082 0 0 ▼a 006.3 ▼2 22
090 ▼a 006.3 ▼b W251L
100 1 ▼a Wansing, H. ▼q (Heinrich)
245 1 4 ▼a The logic of information structures / ▼c Heinrich Wansing.
260 ▼a Berlin ; ▼a New York : ▼b Springer-Verlag , ▼c c1993.
300 ▼a ix, 163 p. ; ▼c 24 cm.
440 0 ▼a Lecture notes in computer science. ▼p Lecture notes in artificial intelligence ; ▼v 681
500 ▼a Revision of the author's doctoral thesis (Fachbereich Philosophie und Sozialwissenschaften I of the Free University of Berlin)
504 ▼a Includes bibliographical references (p. [149]-155) and index.
650 0 ▼a Computer science.
650 0 ▼a Artificial intelligence.
650 0 ▼a Logic, Symbolic and mathematical.
945 ▼a KINS

Holdings Information

No. Location Call Number Accession No. Availability Due Date Make a Reservation Service
No. 1 Location Main Library/Western Books/ Call Number 006.3 W251L Accession No. 111447033 Availability Available Due Date Make a Reservation Service B M

Contents information

Table of Contents

Generalizations.- Intuitionistic minimal and intuitionistic information processing.- Functional completeness for substructural subsystems of IPL.- Formulas-as-types for substructural subsystems of IPL.- Constructive minimal and constructive information processing.- Functional completeness for substructural subsystems of N.- The constructive typed ?-calculus ?c and formulas-as-types for N?.- Monoid models and the informational interpretation of substructural propositional logics.


Information Provided By: : Aladin

New Arrivals Books in Related Fields