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.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Typing logic contents using Lingua Cosmica


    Contributors:

    Published in:

    Acta Astronautica ; 68 , 3-4 ; 535-538


    Publication date :

    2010-08-16


    Size :

    4 pages




    Type of media :

    Article (Journal)


    Type of material :

    Electronic Resource


    Language :

    English




    Typing logic contents using Lingua Cosmica

    Ollongren, Alexander | Online Contents | 2011


    Processes in Lingua Cosmica

    Ollongren, Alexander | Elsevier | 2011


    Recursivity in Lingua Cosmica

    Ollongren, Alexander | Elsevier | 2010


    Processes in Lingua Cosmica

    Ollongren, Alexander | Online Contents | 2012


    Recursivity in Lingua Cosmica

    Ollongren, Alexander | Online Contents | 2011