Description |
1 online resource (ix, 163 pages) |
Series |
Lecture notes in computer science. Lecture notes in artificial intelligence ; 681 |
|
Lecture notes in computer science. Lecture notes in artificial intelligence ; 681
|
Contents |
1. Introduction -- 2. Generalizations -- 3. Intuitionistic minimal and intuitionistic information processing -- 4. Functional completeness for substructural subsystems of IPL -- 5. Formulas-as-types for substructural subsystems of IPL -- 6. Constructive minimal and constructive information processing -- 7. Functional completeness for substructural subsystems of N -- 8. The constructive typed [lambda]-calculus [actual symbol not reproducible] and formulas-as-types for N[superscript -] -- 9. Monoid models and the informational interpretation of substructural propositional logics |
Summary |
"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."--PUBLISHER'S WEBSITE |
Analysis |
Artificial intelligence |
|
Computer science |
|
Logic, Symbolic and mathematical |
Notes |
Revision of the author's doctoral thesis (Fachbereich Philosophie und Sozialwissenschaften I of the Free University of Berlin) |
Bibliography |
Includes bibliographical references (pages 149-155) and index |
Audience |
Scholarly & Professional Springer |
Notes |
Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002. http://purl.oclc.org/DLF/benchrepro0212 MiAaHDL |
|
Print version record |
|
digitized 2022. HathiTrust Digital Library committed to preserve pda MiAaHDL |
Subject |
Computer science.
|
|
Artificial intelligence.
|
|
Logic, Symbolic and mathematical.
|
|
Electronic data processing.
|
|
Electronic Data Processing
|
|
Artificial Intelligence
|
|
data processing.
|
|
computer science.
|
|
artificial intelligence.
|
|
Electronic data processing
|
|
Artificial intelligence
|
|
Computer science
|
|
Logic, Symbolic and mathematical
|
|
Informationsstruktur
|
|
Logik
|
|
Intuitionistische Logik
|
|
Kunstmatige intelligentie.
|
|
Artificial intelligence.
|
|
Logic, Symbolic and mathematical.
|
|
Logique symbolique et mathématique.
|
|
Modèles, Théorie des.
|
|
Preuve, Théorie de la.
|
|
Intelligence artificielle.
|
Form |
Electronic book
|
|