Spahn
Giuseppe Primiero, information and knowledge - a constructive type-theoretical approach (Rev #2, changes)
Showing changes from revision #1 to #2:
Added | Removed | Changed
This entry is about the text
Contents
Introduction
1 Constructive type theory
2.1 At the origin of the problem
2.2 Analysis and synthesis
2.4.1 Conceptual vs. contentual information
2.5 Basic elements of a knowledge system
3.1.2 Contexts: formal explanation
3.2.1 Presuppositions
3.2.2 Assumptions
3.2.3 Types and meaning declarations
3.2.4 Truths and the role of assumptions
3.3 Contexts as constructive possible worlds
3.3.1 introducing orderings: Kripke models
3.4 The knowledge framework
3.4.2 The structure of knowledge
Revision on August 4, 2012 at 15:06:48 by
Stephan Alexander Spahn?.
See the history of this page for a list of all contributions to it.