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: | Primiero, Giuseppe (Autor) |
Autor Corporativo: | SpringerLink (Online service) |
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 |
Ejemplares similares
-
Belief Revision in Non-Classical Logics
por: Ribeiro, Márcio Moretto
Publicado: (2013) -
Induction, Algorithmic Learning Theory, and Philosophy
Publicado: (2007) -
Advances in Proof-Theoretic Semantics
Publicado: (2016) -
Freedom and Enforcement in Action A Study in Formal Action Theory /
por: Czelakowski, Janusz
Publicado: (2015) -
Advances in Natural Deduction A Celebration of Dag Prawitz's Work /
Publicado: (2014)