The Logic of Information Structures

این تک نگاری به دو جنبه اصلی مفهوم اطلاعات یعنی پردازش اطلاعات و ساختار اطلاعات پرداخته است. ساختار اطلاعات به عنوان یک موضوع در نظریه مدل در نظر گرفته می شود، در حالی که پردازش اطلاعات به عنوان جنبه ای از نظریه اثبات دیده می شود. طیف گسترده‌ای از زیرسیستم‌های زیرساختی منطق گزاره‌ای شهودی و منطق سازنده نلسون با نفی قوی بررسی می‌شود. به طور خاص، مشکلات حذف برش، کامل بودن عملکرد، و کدگذاری اثبات ها با اصطلاحات لامبدا رسیدگی می شود. در نهایت، تفسیری از این سیستم ها از نظر وضعیت اطلاعات و عملیات بر روی این حالت ها ارائه شده است.

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.