Results 31 to 40 of about 10,661 (279)
Simple-Named Complex-Valued Nominative Data – Definition and Basic Operations
Formalized Mathematics, 2017 Summary In this paper we give a formal definition of the notion of nominative data with simple names and complex values [15, 16, 19] and formal definitions of the basic operations on such data, including naming, denaming and overlapping, following the ...
I. Ivanov +3 more
semanticscholar +1 more source
Glossa, 2018 In case-marking languages like German, nonstandard nominative-dative verbs lead to enhanced processing costs. So far, it is unclear if these case-marking effects reflect the special syntax or semantics of nominative-dative verbs.
Anna Czypionka, Carsten Eulitz
doaj +2 more sources
Animacy or case marker order?: priority information for online sentence comprehension in a head-final language. [PDF]
PLoS ONE, 2014 It is well known that case marker information and animacy information are incrementally used to comprehend sentences in head-final languages. However, it is still unclear how these two kinds of information are processed when they are in competition in a ...
Satoru Yokoyama +2 more
doaj +1 more source
Formalization of the algebra of nominative data in mizar
Conference on Computer Science and Information Systems, 2017 In the paper we describe a formalization of the notion of a nominative data with simple names and complex values in the Mizar proof assistant. Such data can be considered as a partial variable assignment which allows arbitrarily deep nesting and can be ...
Artur Korniłowicz +3 more
semanticscholar +1 more source
Актуальні питання суспільних наук та історії медицини, 2021 The purpose of the article is to study and systematize formal -grammatical features of etiquette greetings and to implement their syntactic typology. The relevance of the work is determined by the importance of the subject of study and lack of clear ...
Oksana MELNYCHUK
doaj +1 more source
If you cannot agree, move on! On labels and non-nominative subjects
, 2018 This paper examines the predictions of Chomsky’s (2013; 2015) Labeling Algorithm for structures with non-nominative, non-agreeing elements in what looks like a subject position: since such non-nominative subjects do not agree with the verb, the resulting
Barbara Citko, A. Germain, J. Witkoś
semanticscholar +1 more source
On an Algorithmic Algebra over Simple-Named Complex-Valued Nominative Data
Formalized Mathematics, 2018 Summary This paper continues formalization in the Mizar system [2, 1] of basic notions of the composition-nominative approach to program semantics [14] which was started in [8, 12, 10].
I. Ivanov +2 more
semanticscholar +1 more source
GENETIC AND STRUCTURAL SPECIFICATIONS OF THE "SPIRITUALITY" NOMINATIVE UNITS IN THE UZBEK LANGUAGE
Theoretical & Applied Science, 2018 Formal analysis has shown that the units of the lexical-semantic category of the "spirituality" in the Uzbek language are mostly Turkish and Arabic, with lesser Persian and partly Russian-international interventions.
M. B. Akhmedova
semanticscholar +1 more source
Voice and Modal Verbs in Estonian; 173-186 [PDF]
Linguistica Uralica, 2007 The interaction of voice and modal verbs in Estonian confirms the impersonal nature of the basic voice opposition in Estonian and clarifies the constraints on impersonalization.
Reeli Torn-Leesik
doaj +1 more source
First-order composition-nominative logics with predicates of weak equality and of strong equality
PROBLEMS IN PROGRAMMING, 2019 Development of the new software-oriented logical formalisms is a topical problem. The paper introduces logics of partial predicates with predicate complement and equality predicates, we denote them LCE.
S. Shkilniak
semanticscholar +1 more source