Results 11 to 20 of about 129,657 (289)
On the strictness of the quantifier structure hierarchy in first-order logic [PDF]
Logical Methods in Computer Science, 2014 We study a natural hierarchy in first-order logic, namely the quantifier structure hierarchy, which gives a systematic classification of first-order formulas based on structural quantifier resource.
Yuguo He
doaj +4 more sources
Tree Languages Defined in First-Order Logic with One Quantifier Alternation [PDF]
Logical Methods in Computer Science, 2010 We study tree languages that can be defined in \Delta_2 . These are tree languages definable by a first-order formula whose quantifier prefix is forall exists, and simultaneously by a first-order formula whose quantifier prefix is .
Mikolaj Bojanczyk, Luc Segoufin
doaj +9 more sources
How do we measure “measure”? Measure constructions and Metaphor
Poljarnyj Vestnik: Norwegian Journal of Slavic Studies, 2020 The article describes Russian measure constructions with the nominal quantifiers куча, груда, море, and туча. These nominal quantifiers are used in different, though overlapping, collocations determined by the semantics of the nouns.
Elizaveta Kibisova
doaj +1 more source
Syntactic patterns of πᾶς as a quantifier in New Testament Greek
HTS Teologiese Studies/Theological Studies, 2021 In linguistic terms, a quantifier is an item that appears with a noun to specify the number or amount of referents indicated by the noun. In English, various kinds of quantification are lexically differentiated—universal quantification (all ...
Cynthia L. Miller-Naudé +1 more
doaj +1 more source
Quantifiers and Ontological Fluctuations: A Dialogical and Dynamical Point of View of Existence
Artefactos, 2020 The objective of this article is, from the notion of existence as a function of choice, to propose a dynamic quantifier capable of capturing ontological slides or fluctuations within a logical proof.
Juan Remond
doaj +1 more source
Partitive descriptions in Korean
Glossa, 2017 This paper examines Korean partitive constructions to investigate the typology of the partitive structure. In Korean, a quantifier precedes the nominal in a non-partitive, but it follows the nominal in a partitive. The relative order between a quantifier
Keun Young Shin
doaj +2 more sources
On the quantified determiner phrase and quantifier float in Modern Standard Arabic
Cogent Arts & Humanities, 2023 This article provides a minimalist account to the morpho-syntax of the quantified D(eterminer) P(hrase) and quantifier float in Modern Standard Arabic. Having surveyed previous accounts, it proves that the prenominal structure is unmarked from which the ...
Khalid Lahbibi, Mohamed Yeou
doaj +1 more source
Muslim Logicians on Quantification of Predicate vs. Hamilton’s View [PDF]
حکمت و فلسفه, 2018 According to Muslim logicians, the quantifier, in categorical logic, shows the quantity of the individuals of the subject in a statement; so its place is before the subject.
Seyyed Mohammad Ali Hodjati
doaj +1 more source
Transfer Function Synthesis without Quantifier Elimination [PDF]
, 2011 Traditionally, transfer functions have been designed manually for each operation in a program, instruction by instruction. In such a setting, a transfer function describes the semantics of a single instruction, detailing how a given abstract input state ...
Brauer, Jörg, King, Andy
core +5 more sources
Linguistic Typology at the Crossroads, 2023 Despite the wealth of studies on word order, there have been very few studies on the order of minor word categories such as determiners and quantifiers.
Luigi Talamo
doaj +1 more source