Notions of guardedness serve to delineate admissible recursive definitions in various settings a compositional manner. In recent work, we have introduced an axiomatic notion symmetric monoidal categories, which serves as unifying framework for examples from program semantics, process algebra, and beyond. the present paper, propose generic metalanguage guarded iteration based on combining this w...

The material in this communication may be subject to copyright under the Act. Any further reproduction or communication of this material by you may be the subject of copyright protection under the Act. Do not remove this notice. Semantic primitives have fallen on hard times. Though their existence was once widely accepted in linguistics, a variety of counter-arguments have since engendered wide...

In this paper, we study such a specific product of enigmatic discourse as crossword puzzle. The powerful potential text is manifested in its ability to accumulate and translate cultural meanings values, which explains the recent appearance large number works on linguistic, cultural, structural-semantic cognitive-discursive features language. ontological nature crossword, undertaken research, gr...

We apply the Natural Semantic Metalanguage (NSM) approach (Goddard & Wierzbicka 2014) to the lexical-semantic analysis of English evaluational adjectives and compare the results with the picture developed in the Appraisal Framework (Martin & White 2005). The analysis is corpus-assisted, with examples mainly drawn from film and book reviews, and supported by collocational and statistical informa...

Interjection is a word used to express feelings or something spontaneously. In Indonesian there are many interjection words, but here what will be discussed an HA! which can in various spontaneous expressions. Not only that, have similarities and differences with interjections other languages. This study aims find the meaning of Ha! film "The sinking Van Der Wijck ship" work by famous writer fr...

The logic which describes quantum robots is not orthodox quantum logic, but a deductive calculus which reproduces the quantum tasks (computational processes, and actions) taking into account quantum superposition and quantum entanglement. A way toward the realization of intelligent quantum robots is to adopt a quantum metalanguage to control quantum robots. A physical implementation of a quantu...

This paper argues that “YOU” and “I” (“I” “THOU”) are fundamental elements of human thought, present as distinct words (or signs) in all languages. I first developed this thesis my 1976 article “In defense YOU ME” (and before that, introduced it 1972 book Semantic Primitives; cf. also 2021 “‘Semantic Primitives’, fifty years later”). Since then, has been confirmed by wide-ranging cross-linguist...

Models of intuitionistic linear logic also provide models of Moggi's computational metalanguage. We use the adjoint presentation of these models and the associated adjoint calculus to show that three translations , due mainly to Moggi, of the lambda calculus into the computational metalanguage (direct, call-by-name and call-by-value) correspond exactly to three translations , due mainly to Gira...

One of the most effective ways of improving the quality of software engineering, system design and development, and communication between the people concerned with these problems, is provided by software patterns. In this paper we present a set of basic patterns for Maude metalanguage applications. We show the viability of the defined patterns by comparing them to the developing approaches for ...