| 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 |
소장정보
| No. | 소장처 | 청구기호 | 등록번호 | 도서상태 | 반납예정일 | 예약 | 서비스 |
|---|---|---|---|---|---|---|---|
| No. 1 | 소장처 중앙도서관/서고6층/ | 청구기호 006.3 W251L | 등록번호 111447033 | 도서상태 대출가능 | 반납예정일 | 예약 | 서비스 |
컨텐츠정보
책소개
This monograph gives a logical treatment of two central
aspects of the concept of information, namely information
processing and information structure. The structure of
information is treated as a topic in model theory, while
information processing is seen as an aspect of proof theory.
A wide spectrum of substructural subsystems of
intuitionistic propositional logic and of Nelson's
constructive logic with strong negation is investigated. In
particular, the problems of cut-elimination, functional
completeness, and coding of proofs with lambda-terms are
handled. Finally, an interpretation of these systems in
terms of states of information and operations over these
states is presented.
정보제공 :
목차
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.
정보제공 :