Results 41 to 50 of about 86,056 (174)
Расслоение предикатов на примере словоизменения прилагательных русского языка [PDF]
, 2009 Представлен метод трехслойной декомпозиции n-арных предикатов, объединяющий декомпозицию отношений на уровне предикатов и на уровне переменных. Разработана модель представления словоизменения прилагательных русского языка.
Вечирская, И.Д. +2 more
core
On the Semantics of Pronominal Clitics and some of its Consequences
Catalan Journal of Linguistics, 2002 Recent work on the acquisition of the binding conditions suggests that pronominal clitics (PCs) encode the presence of an unsaturated argument position. In other words, PC-constructions encode functional abstraction: the argument position related to the ...
Denis Delfitto
doaj +1 more source
A note on generalized generalization
Acta Universitatis Carolinae: Philosophica et HistoricaThe generalization rules of sequent calculi allow, under some restrictions, to derive a formula ∃χφ or ∀χφ from a formula φχ (γ), i.e. from the formula obtained by substituting a variable γ for all free occurrences of χ in φ.
Vítězslav Švejdar
doaj +1 more source
Clitic Climbing, the Raising-Control Dichotomy and Diaphasic Variation in Croatian
Rasprave Instituta za Hrvatski Jezik i Jezikoslovlje, 2019 In the paper, we discuss the phenomenon of clitic climbing (CC) out of infinitive complements in contemporary Croatian. Based on the first theoretical work and some empirical findings on CC in Czech and Bosnian, Croatian and Serbian (BCS) and the ...
Zrinka Kolaković +2 more
doaj +1 more source
Amending Contracts for Choreographies
, 2011 Distributed interactions can be suitably designed in terms of choreographies. Such abstractions can be thought of as global descriptions of the coordination of several distributed parties.
Alexandra Silva +14 more
core +2 more sources
ZDANIA AKSJOLOGICZNE Z PERSPEKTYWY NATURALIZMU [PDF]
The Polish Journal of Aesthetics, 2010 This paper discusses axiological sentences and views about them. Simple axiological sentences fall under the scheme (1) „a is P ”, where a stands for a proper name or a description and P corresponds to an axiological predicate, such as „is good”, or „is ...
Jan Woleński
doaj
Lost in Abstraction: Monotonicity in Multi-Threaded Programs (Extended Technical Report) [PDF]
, 2014 Monotonicity in concurrent systems stipulates that, in any global state, extant system actions remain executable when new processes are added to the state.
Kaiser, Alexander +2 more
core
Generating Predicate Callback Summaries for the Android Framework
, 2017 One of the challenges of analyzing, testing and debugging Android apps is that the potential execution orders of callbacks are missing from the apps' source code.
Le, Wei, Perez, Danilo Dominguez
core +1 more source
Glossa, 2018 In sign language, one may sometimes re-use a locus that originally referred to a spatial location in order to denote an individual found at that location (“Locative Shift”). We suggest that Locative Shift arises when a covert individual-denoting variable
Philippe Schlenker
doaj +2 more sources
An Introduction to Critical Thinking and Symbolic Logic Volume 1: Formal Logic [PDF]
, 2017 This textbook has developed over the last few years of teaching introductory symbolic logic and critical thinking courses. It has been truly a pleasure to have benefited from such great students and colleagues over the years.
Ferreira, Rebeka, Ferrucci, Anthony
core