首页 | 本学科首页   官方微博 | 高级检索  
     检索      


Typing logic contents using Lingua Cosmica
Authors:Alexander Ollongren  Douglas A Vakoch
Institution:1. LIACS, Leiden University, The Netherlands;2. SETI Institute, Mountain View, CA, USA;1. Department of Mathematics, Faculty of Science, University of Tabuk, P.O. Box 741, Tabuk, 71491, Saudi Arabia;2. The George Adomian Center for Applied Mathematics, 316 South Maple Street, Hartford, MI, 49057-1225, USA;3. Department of Mathematics, Faculty of Sciences and Humanities, Prince Sattam Bin Abdulaziz University, Alkharj, 11942, Saudi Arabia;4. Department of Basic Engineering Science, Faculty of Engineering, Shebin El-Kom, 32511, Menofia University, Egypt;1. Institute of Astronautics, Technische Universität München, Boltzmannstr. 15, 85748 Garching, Germany;2. Department of Mechanical and Aerospace Engineering, Naval Postgraduate School, Monterey, 93943-5107 CA, United States
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.
Keywords:
本文献已被 ScienceDirect 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号