책 이미지
eBook 미리보기
책 정보
· 제목 : The Logic of Information Structures (Paperback, 1993)
· 분류 : 외국도서 > 컴퓨터 > 인공지능(AI)
· ISBN : 9783540567349
· 쪽수 : 168쪽
· 출판일 : 1993-07-29
· 분류 : 외국도서 > 컴퓨터 > 인공지능(AI)
· ISBN : 9783540567349
· 쪽수 : 168쪽
· 출판일 : 1993-07-29
목차
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.
