Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Reclame --- Artificiële intelligentie --- Grafimediabeleid --- Crossmedia

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

3D --- Computerspel --- Game development --- Artificiële intelligentie --- Educatieve software --- Activiteitenbegeleiding --- Animatietechniek --- 3D-tekenen --- Multimediaproductie --- New Media Production

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

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.

Artificial intelligence. Robotics. Simulation. Graphics --- Information systems --- AI(Artificial intelligence) --- Artificial intelligence --- Artificial thinking --- Artificiële intelligentie --- Computer science --- Electronic brains --- Informatica --- Informatique --- Intellectronics --- Intelligence [Artificial ] --- Intelligence artificielle --- Intelligent machines --- Kunstmatige intelligentie --- Logic [Symbolic and mathematical ] --- Logica [Symbolische en wiskundige ] --- Logique symbolique et mathémathique --- Machine intelligence --- Thinking [Artificial ] --- Cerveaux électroniques --- Machines intelligentes --- Pensée artificielle --- Artificial intelligence. --- Logic, Symbolic and mathematical. --- Artificial Intelligence. --- Mathematical Logic and Foundations. --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- AI (Artificial intelligence) --- Intelligence, Artificial --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers