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.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Typing logic contents using Lingua Cosmica


    Beteiligte:

    Erschienen in:

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


    Erscheinungsdatum :

    2010-08-16


    Format / Umfang :

    4 pages




    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch




    Typing logic contents using Lingua Cosmica

    Ollongren, Alexander | Online Contents | 2011


    Recursivity in 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