Universal quantifier PPIs
نویسندگان
چکیده
منابع مشابه
Relational Properties Expressible with One Universal Quantifier Are Testable
In property testing a small, random sample of an object is taken and one wishes to distinguish with high probability between the case where it has a desired property and the case where it is far from having the property. Much of the recent work has focused on graphs. In the present paper three generalized models for testing relational structures are introduced and relationships between these va...
متن کاملTwo Universal 3-quantifier Representations of Recursively Enumerable Sets
1. Let us agree on the following notation. Lower-case Latin letters from a to n (inclusively) with indices and without them will be used as variables for nonnegative integers, the remaining lower-case Latin letters will be used as variables for integers. Analogously, lower case Greek letters from to will be used as metavariables for nonnegative integers, and the rest of the Greek letters will b...
متن کاملJapanese Pseudo-NPI Dare-mo as an "Unrestricted" Universal Quantifier
Japanese dare-mo has been widely acknowledged to be an NPI, furthermore, a “strict” NPI in the sense of Giannakidou (2011) as it seems to be licensed only in an “antiveridical” environment, specifically, with a clausemate negation. However, there is a type of positive sentences in which dare-mo can appear, i.e. non-episodic sentences, which indicates that dare-mo is in fact not an NPI and its N...
متن کاملRefining Queries on a Treebank with XSLT Filters. Approaching the Universal Quantifier
This paper discusses the use of XSLT stylesheets as a filtering mechanism for refining the results of user queries on treebanks. The discussion is within the context of the TIGER treebank, the associated search engine and query language, but the general ideas can apply to any search engine for XML-encoded treebanks. It will be shown that important classes of linguistic phenomena can be accessed...
متن کاملContributions to the Classification for Testability: Four Universal and One Existential Quantifier
In property testing, the goal is to distinguish between structures that have some desired property and those that are far from having the property, after examining only a small, random sample of the structure. We focus on the classification of first-order sentences based on their quantifier prefixes and vocabulary into testable and untestable classes. This classification was begun by Alon et al...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Glossa: a journal of general linguistics
سال: 2017
ISSN: 2397-1835
DOI: 10.5334/gjgl.220