Using Signatures in Type Theory to Represent Situations [chapter]

Stergios Chatzikyriakidis, Zhaohui Luo
2015 Lecture Notes in Computer Science  
Signatures have been introduced to represent situations in the formal semantics based on modern type theories. In this paper, we study the notion of signature in more details, presenting it formally and discussing its use in representations of situations. In particular, the new forms of signature entries, the subtyping entries and the manifest entries, are formally studied and the corresponding extensions are shown to enjoy the nice meta-theoretical properties. Besides being signature entries,
more » ... hese two forms of entries may be introduced to form contextual entries as well and this may have interesting implications in applications of the notion of context to, for example, belief contexts.
doi:10.1007/978-3-662-48119-6_13 fatcat:wgonlfjbhzcj7nkfsxkxkpasei