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...

Nowadays one of the most common formats for storing information is XML. The size of XML documents can be rather large, and they may contain redundant attributes which can be calculated from others. The main idea behind our paper is based on a relationship between XML documents and attribute grammars. Using this relationship it is possible to define semantic rules for XML attributes using a meta...

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...

This study examines four Japanese synonymous verbs that have the same equivalent in English, namely GIVE. These are ageru, kureru, kizou suru, and kifu suru. used a qualitative descriptive method. Example sentences for data were taken from Balance Corpus of Contemporary Written corpus data. The theories applied this argument structure theory Natural Semantic Metalanguage theory. Based on analys...

SUMMARY Nipple-sparing mastectomy (NSM) is gaining acceptance as an oncologically sound and cosmetically superior mastectomy technique. Debate exists over the management of positive margins near the nipple-areola complex. This case report presents a novel approach to the management of margin-positive ductal carcinoma in situ in NSM. A 50-year-old white female with invasive ductal carcinoma unde...

This paper investigates a methodology of using FM (FraenkelMostowski) sets, and the ideas of nominal set theory, to adjoin name generation to a semantic theory. By developing a domain theory for concurrency within FM sets the domain theory inherits types and operations for name generation, essentially without disturbing its original higherorder features. The original domain theory had a metalan...

In Anglophone public discourse, the word crisis plays a significant role in discussion of critical events and situations across wide range domains. This paper discusses word’s status as keyword mainstream unpacks its semantic contents through natural semantics metalanguage corpus-assisted collocational analysis, explores ideological cultural assumptions underpinning usage. It finds that idea “g...

This paper is a contribution to the reconstruction of Tarski’s semantic background and to the history of metalanguage and truth. Although in his 1933 monograph Tarski credits his master, Stanisław Leśniewski, with crucial negative results on the semantics of natural language, the conceptual relationship between the two logicians has never been investigated in a thorough manner. This paper shows...

The metalinguistic facilities of natural language are crucial to our ability to communicate, but the patterns behind the appearance of metalanguage—and thus the clues for how we may instruct computers to detect it—have remained relatively unknown. This paper describes the first results on the feasibility of automatically identifying metalanguage in English text. A core metalinguistic vocabulary...