العلة النحوية بين القدماء والمحدثين = The Syntactic Reasoning among Old and Modern Grammarians

2017 ◽  
pp. 97-106
Author(s):  
جمال نمر رباح
Keyword(s):  
Syntactic Reasoning

Nieuwe inzichten over het voorzetselvoorwerp

2020 ◽  
Vol 25 (2) ◽  
pp. 281-294
Author(s):  
Willy Vandeweghe
Keyword(s):  
Content Analysis ◽  
Functional Status ◽  
Syntactic Category ◽  
Lively Discussion ◽  
Original Contribution ◽  
Subsequent Discussion ◽  
Prepositional Object ◽  
Isolation Test ◽  
Syntactic Reasoning

Abstract New insights on the prepositional objectAn influential article by Hans Broekhuis in Nederlandse Taalkunde 9 (2004) treated PP complements (type He thought of her all day) in Dutch. It contained sharp observations, intriguing hypotheses and a somewhat puzzling classification of the verbs allowing these complements. It provoked a lively discussion, on matters such as the number of possible PP complements in one sentence, the value of distinctive criteria such as an isolation test with en doet dat, the functional status of the preposition. Broekhuis’ generative-style syntactic reasoning at times clashed with approaches inspired by form/content analysis, valency theory and constructional grammar. In all, the original contribution to this journal and the subsequent discussion brought new and interesting insights in this traditionally hard-to-deal-with syntactic category.

scholarly journals Factors Influencing Students’ Propensity for Semantic and Syntactic Reasoning in Proof Writing: a Case Study

2015 ◽  
Vol 1 (2) ◽  
pp. 187-208 ◽  
Author(s):  
Juan Pablo Mejía-Ramos ◽  
Keith Weber ◽  
Evan Fuller
Keyword(s):  
Proof Writing ◽  
Factors Influencing ◽  
Syntactic Reasoning

Syntactic reasoning and pattern recognition for analysis of coronary artery images

2002 ◽  
Vol 26 (1-2) ◽  
pp. 145-159 ◽  
Author(s):  
Marek R. Ogiela ◽  
Ryszard Tadeusiewicz
Keyword(s):  
Pattern Recognition ◽  
Coronary Artery ◽  
Syntactic Reasoning

Big-step normalisation

2009 ◽  
Vol 19 (3-4) ◽  
pp. 311-333 ◽  
Author(s):  
THORSTEN ALTENKIRCH ◽  
JAMES CHAPMAN
Keyword(s):  
Normal Forms ◽  
Equational Theory ◽  
Term Rewriting ◽  
Small Step ◽  
First Order ◽  
Term Rewriting System ◽  
Alternative Approach ◽  
Explicit Substitutions ◽  
The Church ◽  
Syntactic Reasoning

AbstractTraditionally, decidability of conversion for typed λ-calculi is established by showing that small-step reduction is confluent and strongly normalising. Here we investigate an alternative approach employing a recursively defined normalisation function which we show to be terminating and which reflects and preserves conversion. We apply our approach to the simply typed λ-calculus with explicit substitutions and βη-equality, a system which is not strongly normalising. We also show how the construction can be extended to system T with the usual β-rules for the recursion combinator. Our approach is practical, since it does verify an actual implementation of normalisation which, unlike normalisation by evaluation, is first order. An important feature of our approach is that we are using logical relations to establish equational soundness (identity of normal forms reflects the equational theory), instead of the usual syntactic reasoning using the Church–Rosser property of a term rewriting system.

The effects of different types of noise on semantic processing and syntactic reasoning

1985 ◽  
Vol 58 (3) ◽  
pp. 263-273 ◽  
Author(s):  
Andrew P. Smith
Keyword(s):  
Semantic Processing ◽  
Different Types ◽  
Syntactic Reasoning
Sign in / Sign up

Export Citation Format

Share Document