scholarly journals Formally Verified Argument Reduction with a Fused Multiply-Add

2009 ◽  
Vol 58 (8) ◽  
pp. 1139-1145 ◽  
Author(s):  
Sylvie Boldo ◽  
Marc Daumas ◽  
Ren-Cang Li
Keyword(s):  
1991 ◽  
Vol 14 (1) ◽  
pp. 1-39 ◽  
Author(s):  
Mila Dimitrova-Vulchanova ◽  
Lars Hellan

This paper analyses phenomena of argument reduction with dative and reflexive clitics, as well as clitic doubling, in Bulgarian, arguing that both types of phenomena reflect values of what we call the Completedness Parameter, a cross-linguistically attested parameter involving a combination of diathesis and aspectual properties. For the representation of values relevant to this parameter, we introduce the construct of a (propositional) GESTALT, understood as follows: the gestalt of a sentence S is a conceptual model of the “situation-in-the-world” referred to by S, reflecting the perspective on this situation imposed by S, and aspectual and other properties induced by S.


Author(s):  
P. Buciak ◽  
T. Łuba ◽  
H. Niewiadomski ◽  
M. Pleban ◽  
P. Sapiecha ◽  
...  

Lingua ◽  
2006 ◽  
Vol 116 (10) ◽  
pp. 1631-1650
Author(s):  
Karen Froud
Keyword(s):  

Sign in / Sign up

Export Citation Format

Share Document