书目名称 | The Logic of Information Structures |
编辑 | Heinrich Wansing |
视频video | |
丛书名称 | Lecture Notes in Computer Science |
图书封面 |  |
描述 | This monograph gives a logical treatment of two centralaspects of theconcept of information, namely informationprocessing and information structure. The structure ofinformation is treated as a topic in modeltheory, whileinformation processing is seen as an aspect of prooftheory.A wide spectrum of substructural subsystems ofintuitionistic propositional logic and of Nelson‘sconstructive logic with strong negation is investigated. Inparticular, the problems of cut-elimination,functionalcompleteness, and coding of proofs with lambda-terms arehandled. Finally, an interpretation of these systems interms ofstates of information and operations over thesestates is presented. |
出版日期 | Book 1993 |
关键词 | Functional Completeness; Funktionale Vollständigkeit; Information Processing; Information Structures; In |
版次 | 1 |
doi | https://doi.org/10.1007/3-540-56734-8 |
isbn_softcover | 978-3-540-56734-9 |
isbn_ebook | 978-3-540-47642-9Series ISSN 0302-9743 Series E-ISSN 1611-3349 |
issn_series | 0302-9743 |
copyright | Springer-Verlag Berlin Heidelberg 1993 |