Information and Knowledge A Constructive Type-theoretical Approach /
This book develops a philosophical and logical interpretation of the concept of information within the formal structure of Constructive Type Theory (CTT), in a manner concurrent with a diverse range of contemporary perspectives on the philosophy of information. On the basis of this conceptual framew...
Clasificación: | Libro Electrónico |
---|---|
Autor principal: | |
Autor Corporativo: | |
Formato: | Electrónico eBook |
Idioma: | Inglés |
Publicado: |
Dordrecht :
Springer Netherlands : Imprint: Springer,
2008.
|
Edición: | 1st ed. 2008. |
Colección: | Logic, Epistemology, and the Unity of Science,
10 |
Temas: | |
Acceso en línea: | Texto Completo |
Tabla de Contenidos:
- Constructive Type Theory: Foundation and Formalization
- Analyticity and Information
- Formal Representation of the Notion of Information
- Constructive Philosophy of Information.