The IEML research program promotes a radical innovation in the notation and processing of semantics. IEML (Information Economy MetaLanguage) is a regular language that provides new methods for semantic interoperability, semantic navigation, collective categorization and self-referential collective intelligence. This research program is compatible with the major standards of the Web of data and ...

This study aimed in analyzing the Balinese process verb found Lontar Usada Taru Pramana. is a documentational research with qualitative approach. The data was collected from Pramana which has been translated by Drs. I Ketut Sukanthajaya into latin script. observation and documentation methods were applied collecting data. theories used this are classification of Natural Semantic Metalanguage (N...

This study aims to analyze words in Dari that have the same semantic prime: See using Natural Semantic Metalanguage (NSM). research was conducted a descriptive qualitative approach.This reaserch used theory by Goddard and Wierzbicka about NSM. The data found this are connected associated with prima See/Didan language. sources of 5 informants who original prosecutors from Kabul which is capital ...

We investigate some aspects of interexpressiveness of languages and their (denotational) semantic models by viewing semantic functions from a complexity-theory viewpoint. We classify semantic functions as polynomial or nite if a language term of size n produces a metalanguage object respectively polynomially bounded in n or nite. Languages involving concurrency manifest most interest which we a...

We present here a global view of the syntactic shapes of the elementary sentences of French. This paper constitutes a synthesis of the numerous observations made on a set of about 12,000 verbs studied in the framework of lexicon-grammar (M. Gross 1975; J.-P. Boons, A. Guillet, C. Leclère 1976; G. Gross 1989; A. Guillet, C. Leclère 1992). The point of view is strictly formal, according to the no...

We propose >>-lifting as a technique for extending operational predicates to Moggi’s monadic computation types, independent of the choice of monad. We demonstrate the method with an application to Girard-Tait reducibility, using this to prove strong normalisation for the computational metalanguage λml . The particular challenge with reducibility is to apply this semantic notion at computation t...