Abstract This paper informs how elements of constructive type theory can be used effectively for clarifying textual messages meant for communication with ETI. Within the setting of a suitable environment consisting of declared terms, it is shown how logical contents of texts can be modelled and codified.
Typing logic contents using Lingua Cosmica
Acta Astronautica ; 68 , 3-4 ; 535-538
2010-08-16
4 pages
Aufsatz (Zeitschrift)
Elektronische Ressource
Englisch
Typing logic contents using Lingua Cosmica
Online Contents | 2011
|Online Contents | 2011
|Elsevier | 2011
|Elsevier | 2010
|Online Contents | 2012
|