In this paper we propose a general-purpose first-order automated reasoning framework based on the notion of a definite formula and on a non-clausal variant of SLD-resolution. This framework provides a universal Horn clause-like representation of knowledge for classical as well as a range of non-classical first-order logics. It provides a resolution-style method for automated reasoning with theo...

Articles in general and definite articles in particular can create problems even long after all other aspects of English have been mastered. The present article investigated the learnability problems related to the acquisition of count-mass distinction of English nominals by Persian L2 learners. The theoretical underpinning of the study is the interpretability hypothesis (Tsimpli & Dimitrakopou...

in this paper, we investigate infinite product representation of the solution of a sturm-liouville equation with an indefinite weight function which has two zeros and/or singularitiesin a finite interval. first, by using of the asymptotic estimates provided in [w. eberhard, g.freiling, k. wilcken-stoeber, indefinite eigenvalue problems with several singular pointsand turning points, math. nachr...

Gradual Uniqueness Effect: A Pragmatic Explanation The uniqueness effects in definite noun phrases have been the subject of much debate (Heim 1982, Kadmon 1990, Lyons 1999, Szabó 2000, Roberts 2003). Some claim uniqueness is part of the semantics of the definite article, while others derive it pragmatically. Both sides assume that the uniqueness condition is categorical, and so the only thing t...

To express the same meaning, Romance languages (here and elsewhere, I exemplify with Italian), standardly use noun phrases with a definite article: the plural definite with count nouns and the singular definite with mass nouns (sing. il/la/lo/l’, plur. i/gli/le) (2). A singular definite article with count nouns is also possible (3), with the same restrictions as in English (see e.g. Lawler 1973...