نتایج جستجو برای: natural semantic metalanguage approach
تعداد نتایج: 1782435 فیلتر نتایج به سال:
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....
a frame semantic approach to the study of translating cultural scripts in salingers franny and zooey
the frame semantic theory is a nascent approach in the area of translation studies which goes beyond the linguistic barriers and helps us to incorporate cognitive and cultural factors to the study of translation. based on rojos analytical model (2002b), which centered in the frames or knowledge structures activated in the text, the present research explores the various translation problems that...
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...
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.
This paper shows that there are some syntactic and semantic discrepancies among three seemingly semantically equivalent verbs denoting one of the most basic actions in any language, i.e. the verbs meaning ‘kill’ in English, Chinese and Thai. Specifically, it examines the possibility of these verbs to appear in two syntactic patterns in which English is used as the metalanguage: (A) X kill Y dea...
Convention dictates that the design of a language begins with its syntax. The authors of this chapter argue that early emphasis should be placed instead on the identification of general, compositional semantic domains, and that grounding the design process in semantics leads to languages with more consistent and more extensible syntax. They demonstrate this semantics-driven design process throu...
We present and discuss various formalizations of Modal Logics in Logical Frameworks based on Type Theories. We consider both Hilbertand Natural Deduction-style proof systems for representing both truth (local) and validity (global) consequence relations for various Modal Logics. We introduce several techniques for encoding the structural peculiarities of necessitation rules, in the typed λ-calc...
Using a reductionist approach, the motivational method for teaching scientific terminology aims at breaking down terms and their definitions into separate components, i.e. morphemes and their semantic features, rather than establishing a connection between terms and their definitions as holistic units. In other words, the ultimate goal of this method is achieving “semantic motivation,” (as oppo...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید