The Garvey-Kelson relations (GKRs) are algebraic expressions originally developed to predict nuclear masses. In this letter we show that the GKRs provide a fruitful framework for the prediction of other physical observables that also display a slowly-varying dynamics. Based on this concept, we extend the GKRs to the study of nuclear charge radii. The GKRs are tested on 455 out of the approximat...

Progressivity, inequality reduction and merging-proofness are three well-known axioms in taxation. We investigate implications of each of the three axioms through characterizations of several families of taxation rules and their logical relations. We also study the preservation of these axioms under two operators on taxation rules, the so-called convexity operator and minimal-burden operator, w...

In her article "Aesthetics in Gao's Soul Mountain" Mabel Lee analyses Nobel Laureate 2000 Xingjian Gao's aesthetics. Transnational conglomerates today control the book industry from publishing house to bookshop and through aggressive market strategies they exert considerable influence on readers. Nonetheless, there are writers who refuse to capitulate to market demands and seek only to actualiz...

The Aristotelian square of oppositions is a well-known diagram in logic and linguistics. In recent years, several extensions of the square have been discovered. However, these extensions have failed to become as widely known as the square. In this paper we argue that there is indeed a fundamental difference between the square and its extensions, viz., a difference in informativity. To do this, ...

The purpose of this paper is to show how the theory of probabilistic argumentation systems can be extended from propositional logic to the more general framework of set constraint logic. The strength of set constraint logic is that logical relations between non-binary variables can be expressed more directly. This simplifies the classical way of modeling knowledge through propositional logic. B...

Motivated by a systematic representation of the Chinese aspect forms that explores their intrinsic semantics and temporal logical relations, we are constructing a Chinese aspect system network based on systemic functional grammar and implemented using the multilingual generator KPML. In this paper, we introduce the basic simple primary aspect forms and a set of secondary types of the unmarked-d...

We give a new characterization of lambda deenability in Henkin models using logical relations deened over ordered sets with varying arity. The advantage of this over earlier approaches by Plotkin and Statman is its simplicity and universality. Yet, decidability of lambda deenability for hereditarily nite Henkin models remains an open problem. But if the variable set allowed in terms is also res...

Ornaments are a way to describe changes in datatype definitions that preserve their recursive structure, reorganizing, adding, or dropping some pieces of data so that functions operating on the bare definition can be partially and sometimes totally lifted into functions operating on the ornamented structure. We propose an extension of ML with higherorder ornaments. We introduce a meta-language ...

Abstract: This study investigated whether Mandarin-speaking children can demonstrate adult-like syntactic competence. Mandarin-speaking 2-, 3-, 4-, 5-year-olds’ and adults’ comprehension of agent-patient relations across four Mandarin transitive constructions with the novel verbs: SVO construction, ba-construction, subjectless ba-construciton, and topicalization construction were examined using...