By means of several examples of structural operational semantics for a variety of languages, we justify the importance and interest of using the notions of strategies and simulations in the semantic framework provided by rewriting logic and implemented in the Maude metalanguage. On the one hand, we describe a basic strategy language for Maude and show its application to CCS, the ambient calculu...

As is known, metalanguage is a language by means of which another language is described. The latter is called object-language. One and the same language may play the role of object-language and metalanguage. For example, the Russian language taken as an object of linguistic description is an object-language, the Russian language used for a linguistic description of Russian is a metalanguage. Th...

This article addresses the question of the relevant conceptualization of «altruism» in Russian from the perspective sociological research operationalization. It investigates the spheres of social application of the word «altruism», include Russian equivalent «vzaimopomoshh`» (mutual help). The data for the study comes from Russian National Corpus (Russian). The theoretical framework consists of...

A sequent calculus for hybrid logics is developed from a calculus for classical predicate logic by a series of transformations. We formalize the semantic theory of hybrid logic using a sequent calculus for predicate logic plus axioms. This works, but it is ugly. The unattractive features are removed one-by-one, until the final vestiges of the metalanguage can be set aside to reveal a fully inte...

This paper describes the process of formalizing an existing, industrial domain specific language (dsl) that is based on the taskresource paradigm. Initially, the semantics of this dsl is defined informally and implicitly through an interpreter. The formalization starts by projecting the existing concrete syntax onto a formal abstract syntax that defines the language operators and process terms....

The paper focuses on the description of the approach, taken within the ESPRIT BRA project ACQUILEX, towards: i) acquisition of semantic information from several machinereadable dictionaries (in four languages), and ii) its representation in a common Lexical Knowledge Base. Knowledge extraction is guided by a) empirical observations and b) theoretical hypotheses. As for representation, we stress...

Th is paper presents a cultural semantic analysis of the Japanese emotion terms ‘haji’ and ‘hazukashii’, made using the methodology of the Natural Semantic Metalanguage (NSM). Th e paper has three aims: (i) to pinpoint the conceptions of ‘haji’ and ‘hazukashii’ as emotion terms in Japanese language and culture; (ii) to highlight the diff erences in meaning with their typical English translation...

The lexical component of a human language is typically heterogeneous and extremely complex. Before we can come to grips with the underlying lexical organization, we must reduce the bewildering complexity. Methods must be elaborated by which the interrelations between the units of the lexicon can be elucidated. This paper describes how a Swedish lexical material stored in a computer has been sem...

In the paper I propose a new framework for extensional logic, where the explication of the notion of logical consequence is the primary aim. The framework may also be applicable in the study of natural language, especially in illuminating various semantic relations between expressions. In the paper I discuss a prevailing view by which logical terms determine the forms of sentences and therefore...

We introduce a monadic metalanguage which combines two previously proposed monadic metalanguages: one for staging and the other for value recursion. The metalanguage includes also extensible records as a basic name management facility.