Tense agreement in Ndebele light-verb constructions

Size: px
Start display at page:

Download "Tense agreement in Ndebele light-verb constructions"

Transcription

1 University o Chicago pietraszko@uchicago.edu ACAL 48, Bloomington, 3/29-4/ Introduction Ndebele uses a class o light verbs (Ls) to express adverbial meanings (e.g. qala do irst, phose almost do, ze inally do, mane simply do ) he main, lexical verb appears with subjunctive mood morphology 1 (1) Ngi-qala ngi-pheke. 1sg-irst.pres 1sg-cook.pres.sbjv I irst cook Present Present Sbjv (2) Ngi-qalé ng-aphéka. 1sg-irst.pst 1sg-cook.pst.sbjv I irst cooked Past Past Sbjv he subjunctive verb co-varies with matrix tense (present subjunctive or past subjunctive) Examining Ndebele L-constructions, I argue that: ense agreement is a relation which need not involve heads It is an instance o Inl-agreement an independently motivated mechanism he main constraint that governs tense/inl-agreement is locality PROPOSAL: ense agreement in Ndebele is agreement between the subjunctive verb and the closest inlectional head: (Inl)... (Inl)... Inl... light... sbjv... PLAN: 2 ense agreement in Ndebele and Sequence o ense 3 Analysis: tense agreement as an instance o Inl-agreement 4 Evidence or locality: intervention by lower Inl 5 Conclusion 1 Abbreviatons: FS = inal suix, FU = uture, PRES = present, PS = past, SBJ = subjunctive 1

2 2 ense agreement in Ndebele and Sequence o ense (SO) (3) a. Ngi-qala ngi-pheke. 1sg-irst.pres 1sg-cook.pres.sbjv I irst cook b. Ngi-qalé ng-aphéka. 1sg-irst.pst 1sg-cook.pst.sbjv I irst cooked Ndebele Sequence o ense: embedded tense is dependent on matrix tense (4) a. Gianni crede che Maria sia incinta. Gianni believe.pres that Maria be.pres.sbjv pregnant. Gianni believes that Maria is pregnant b. Gianni credeva che Maria osse incinta. Gianni believe.pst that Maria be.pst.sbjv pregnant. Gianni believed that Maria was pregnant Italian (Giorgi, 2009:7) Embedded past tense morphology expresses simultaneity, not precedence (5) higher tense lower tense Morphology: PAS PAS Semantics: PAS PRES/ Accounts o Sequence o ense: the lower past tense is a semantically deicient (anaphoric/dependent tense) (Picallo, 1984; Abusch, 1997; Giorgi & Pianesi, 1997; Landau, 2004; Giannakidou, 2009; a.o.) the semantics morphology mismatch is due to operations on the lower (PF/LF eature deletion, agreement with higher ) (Comrie, 1986; Enç, 1987; Ogihara, 1989; Giorgi, 2009; a.o.) A dependency between two s: [ main clause... [ sbjv clause dep... ]] A CHALLANGE: In Ndebele light-verb constructions, the subjunctive complement is smaller than a. (6) wo types o subjunctive complements in Ndebele a. Clausal Subjunctive (CP) b. Small Subjunctive ( ) (selected by aspectual light verbs) Small Sbjv (7) Assumed clause structure: [ CP [ [PerP [AspP [ ] ]]] ] Clausal Sbjv 2

3 CP: only Clausal Subjunctives can be introduced by a complementizer (8) a. Ngi-m-una [ ukuthi a-bale. ] 1sg-1o-want COMP 1-read.sbjv I want him to read. b. U-qala [ (*ukuthi) 1-irst (*COMP) He irst reads. a-bale. ] 1-read.sbjv Clausal Subjunctive Small Subjunctive : only Clausal Subjunctives can have a preverbal subject (in Spec,) (9) a. Ku-anele [ ukuthi uzodwa abale. ] 17-must COMP 1Zodwa 1.read.sbjv Zodwa must read. b. *Ku-qala [ uzodwa abale. ] 17-irst 1Zodwa 1.read.sbjv ( Zodwa irst reads ) Clausal Subjunctive Small Subjunctive PerP: only Clausal Subjunctives can express Perect aspect (10) a. Ngi-m-una [ ukuthi a-be e-balile. ] 1sg-1o-want COMP 1-aux.sbjv 1-read.per I want him to be done reading. b. *U-qala 1-irst [ a-be e-balile. ] 1-aux.sbjv 1-read.per Clausal Subjunctive Small Subjunctive AspP: only Clausal Subjunctives can express imperective aspect (11) a. Ngi-m-una [ ukuthi a-be e-bala. ] 1sg-1o-want COMP 1-aux.sbjv 1-read.imp I want him to be reading. b. */? U-qala 1-irst [ a-be e-bala. ] 1-aux.sbjv 1-read.imp (12) Ndebele small subjunctives are selected by aspectual light verbs Clausal Subjunctive Small Subjunctive light verb subjunctive verb Small Subjunctives do not contain a 3

4 ense agreement in the two types o subjunctive complements: (13) Small Subjunctive: tense agreement a. U-qala a-bale. 1-irst.pres 1-read.pres.sbjv He irst reads. b. U-qalé w-abala/*a-bale. 1-irst.pst 1-read.pst.sbjv/*1-read.pres.sbjv He irst read. (14) Clausal subjunctive: no tense agreement a. Ngi-m-una ukuthi a-bale. 1sg-1o-want.pres COMP 1-read.pres.sbjv I want him to read. b. Ngi-a-m-una ukuthi a-bale/*w-abala. 1sg-pst-1o-want COMP 1-read.pres.sbjv/*1-read.pst.sbjv I wanted him to read. Present Present Subjunctive Past Past Subjunctive Present Present Subjunctive Past Present Subjunctive Clausal Subjunctive contains a projection but shows no tense agreement with higher tense Small Subjunctive does not contain but it does show tense agreement with higher tense WHA WE NEED: an account o tense agreement that does not require making reerence to a lower head 3 Analysis: tense agreement as an instance o Inl-agreement PROPOSAL: morphological tense agreement in Ndebele Small Subjunctives is not a dependency between s, but between local heads in the clausal spine 3.1 he mechanism o Inl-valuation every verb has an unvalued Inl eature every inlectional head (e.g., Asp) has a valued Inl eature Agreement between Inl-eatures results in downward valuation (Adger, 2003; Bjorkman, 2011; Wurmbrand, 2011) (15) he Inl-inventory in Ndebele [ 0 Inl:PAS/FU/PRES 2 [ Per 0 Inl:PAS [ Asp 0 Inl:IMPF [ 0 Inl: ]]]]] 2 he present tense has actually be argued to be unmarked in Ndebele and modeled as absence o Inl on (Pietraszko, 2016). his detail is not crucial here and I use [Inl:PRES] or clarity. 4

5 (16) Simple Past: U- -bal-ile. 1-pst-read-FS.pst He read (17) Present tense: U-ya-bal-a. 1-pres-read-FS He is reading (18) Future ense: U-za-bal-a. 1-ut-read-FS He will read Inl:PS Inl: pst Inl:PRES Inl: pres Inl:FU Inl: ut 3.2 Inl-agreement in Small Subjunctives (19) Non-past Present Sbjv a. Ngi-qala ngi-pheke. 1sg-irst.pres 1sg-cook.pres.sbjv I irst cook b. Ngi-za-qala ngi-pheke. 1sg-ut-irst 1sg-cook.pres.sbjv I will irst cook (20) Past Past Sbjv a. Ng-á-qala ng-aphéka. 1sg-Dpst-irst 1sg-cook.pst.sbjv I irst cooked (long ago) b. Ngi-qal-é ng-aphéka. 1sg-irst-Rpst 1sg-cook.pst.sbjv I irst cooked (recently) Both the light verb ( light ) and the subjunctive verb ( sbjv ) have a [Inl: ] An agreement relation can be established between two unvalued eatures (Pesetsky & orrego, 2007) (21) Present tense ((19)-a): (22) Future tense ((19)-b): Inl:PRES light Inl: pres Inl:FU light Inl: ut sbjv Inl: pres sbjv Inl: ut d present subjunctive d present subjunctive 5

6 (23) Past tense ((20)): (24) a. [PAS, SBJ] past subjunctive b. [SBJ] unmarked/deault subjunctive Inl:PAS light Inl: past sbjv Inl: past past subjunctive 3.3 Independent motivation or Inl-agreement: periphrasis Inl-agreement plays a role in verbal periphrasis: I there is more than one valued Inl, the verb will agree with the more local one the higher Inl is supported by an auxiliary (Cowper, 2010; Bjorkman, 2011) (25) Past imperective (Inl:PAS, Inl:IMPF): AspP U- -be e-bála 1-pst-aux 1-read.imp He was reading Inl:PAS Aux Asp Inl:IMPF Inl: imp (26) Future Perect (Inl:FU, Inl:PAS): PerP U-za-be e-bal-ile 1-ut-aux 1-read-pst He will have read Inl:FU Aux Per Inl:PAS Inl: past INDEPENDEN MOIAION FOR INFL-AGREEMEN: ogether with locality conditions, it determines which inlection is realized on the main verb, and which is supported by an auxiliary. 6

7 4 Evidence or locality: intervention by lower Inl (27) ense agreement in Ndebele is an instance o Inl-agreement Agreement with the closest Inl Inl... Inl... light... sbjv Past subjunctive blocked by a local Inl In Simple Past, the subjunctive co-varies with past tense (28) U- -qalé [ w-abala/*a-bale ] 1-pst-irst 1-read.pst.sbjv/*1-read.pres.sbjv He irst read Past past subjunctive In Past Imperective, the subjunctive does not co-vary with past tense (29) U- -be e-qala 1-pst-aux 1-irst.imp He was reading irst [ a-bale/*w-abala ] 1-read.pres.sbjv/*1-read.pst.sbjv Past unmarked subjunctive (30) a. Simple Past: Agreement with [ Inl:PAS... [ light... [ sbjv... past subjunctive b. Past Imperective: Agreement with Asp [ Inl:PAS... [ Asp Inl:IMPF... [ light... [ sbjv... unmarked subjunctive 4.2 Unmarked subjunctive blocked by a local Inl (31) Ngi-ya-qala [ ngi-pheke/*ng-apheka ] 1sg-ut-irst 1sg-cook.pres.sbjv/*1sg-cook.pst.subj I will cook irst Perect aspect is a type o past tense d (Homan, 1966; McCawley, 1971; Klein, 1992; Cinque, 1999; Arregi & Klecha, 2015; a.o.) (32) Ngi-za-be ngi-qal-é 1sg-ut-aux 1sg-irst-per I will have cooked irst [ ng-apheka/*ngi-pheke ] 1sg-cook.pst.sbjv/*1sg-cook.pres.subj (33) a. Simple Future: Agreement with 0 [ Inl:FU... [ light... [ sbjv... unmarked subjunctive 7

8 b. Future Perect: Agreement with Per 0 [ Inl:FU... [ Per Inl:PAS... [ light... [ sbjv... past subjunctive ense agreement in Ndebele is a relation between the subjunctive and the closest inlectional category; it is not a direct relation between the subjunctive and 5 Conclusion Ndebele light-verb constructions exhibit tense agreement patterns which cannot be accounted or by mechanisms proposed or SO-type tense agreement It is a dependency that need not involve any heads he lower is absent in Ndebele Small Subjunctives he higher does not control agreement on the subjunctive verb in compound tenses ense agreement is an instance o Inl-agreement an independently motivated mechanism, which does not rely on manipulating heads and derives the Inl-intervention eects in compound tenses rom locality. Reerences Abusch, D. (1997). Sequence o tense and temporal de re. Linguistics and Philosophy, 20(1-50). Adger, D. (2003). Core syntax: A minimalist approach. Oxord University Press. Arregi, K. & Klecha, P. (2015). he morphosemantics o past tense. In Proceedings o the 45th conerence o the North East Linguistics Society. Bjorkman, B. A. M. (2011). BE-ing deault: he morphosyntax o auxiliaries. PhD thesis, Massachusetts Institute o echnology. Cinque, G. (1999). Oxord Studies in Comparative Syntax, chapter Adverbs and unctional heads: A cross-linguistic perspective. Oxord University Press. Comrie, B. (1986). ense in indirect speech. Folia linguistica, 2(3-4), Cowper, E. (2010). Where auxiliary verbs come rom. In Proceedings o the 2010 annual conerence o the Canadian Linguistic Association. Enç, M. (1987). Anchoring conditions or tense. Linguistic Inquiry, 18, Giannakidou, A. (2009). he dependency o the subjunctive revisited: temporal semantics and polarity. Lingua, 119( ). Giorgi, A. (2009). oward a syntax o the subjunctive mood. Lingua, 119(12), Giorgi, A. & Pianesi, F. (1997). ense and Aspect: From Semantics to Morphosyntax. Oxord University Press. Homan, R. (1966). Past tense replacement and the modal system. In A. Oettinger (Ed.), Mathematical linguistics and automatic translation. Cambridge, MA: Harvard University, Harvard Computation Laboratory. Klein, W. (1992). he present perect puzzle. Language, (pp ). Landau, I. (2004). he scale o initeness and the calculus o control. Natural Language and Linguistic heory, 22(4), McCawley, J. (1971). ense and time reerence in english. In C. Fillmore & D.. Langendoen (Eds.), Studies in linguistic semantics (pp ). New York: Holt, Rinehart and Winston. Ogihara,. (1989). emporal reerence in English and Japanese. PhD thesis, University o exas at Austin. Pesetsky, D. & orrego, E. (2007). he syntax o valuation and the interpretability o eatures. Phrasal and clausal architecture: Syntactic derivation and interpretation, (pp ). Picallo, C. (1984). he inl node and the null subject parameter. Linguistic Inquiry, 15(75 102). Pietraszko, J. A. (2016). he syntax o simple and compound tenses in Ndebele. Proceedings o the Linguistics Society o America Annual Meeting, 1(18), Wurmbrand, S. (2011). he syntax o valuation in auxiliary-participle constructions. In Proceedings o the 29th West Coast Conerence on Formal Linguistics 29. 8

An Alternative Semantics for English Aspectual Particles

An Alternative Semantics for English Aspectual Particles Aspectual Particles 1 of 27 An Alternative Semantics for English Aspectual Particles Alexander Klapheke Harvard University SNEWS November 15, 2014 Aspectual Particles Overview 2 of 27 Overview Previous

More information

Ch. 2: Phrase Structure Syntactic Structure (basic concepts) A tree diagram marks constituents hierarchically

Ch. 2: Phrase Structure Syntactic Structure (basic concepts) A tree diagram marks constituents hierarchically Ch. 2: Phrase Structure Syntactic Structure (basic concepts) A tree diagram marks constituents hierarchically NP S AUX VP Ali will V NP help D N the man A node is any point in the tree diagram and it can

More information

Tense and Mood in conditional sentences. Katrin Schulz ILLC/University of Amsterdam

Tense and Mood in conditional sentences. Katrin Schulz ILLC/University of Amsterdam Tense and Mood in conditional sentences Katrin Schulz ILLC/University of Amsterdam K.Schulz@uva.nl 1 1. Introduction 2 1. Introduction Aim of the research: 3 1. Introduction Aim of the research: A compositional

More information

Agreement is Feature Sharing 1

Agreement is Feature Sharing 1 Comments, criticisms, remarks, etc. are very welcome. Send email to either author: frampton@neu.edu or sgutm@neu.edu Agreement is Feature Sharing 1 Version 2 John Frampton and Sam Gutmann Northeastern

More information

-,,,,, , Searle (1989/ 2002) (1), ; (2002: 177). Searle : (2),,. , (,.,.., Smith 1991:. 8),.,, (progressive)., (3) , (4):

-,,,,, , Searle (1989/ 2002) (1), ; (2002: 177). Searle : (2),,. , (,.,.., Smith 1991:. 8),.,, (progressive)., (3) , (4): - The paper discusses the different manifestations of explicit performatives in English and Greek from the point of view of aspectual choices The two languages seem to select different options whereas

More information

Dependency grammar. Recurrent neural networks. Transition-based neural parsing. Word representations. Informs Models

Dependency grammar. Recurrent neural networks. Transition-based neural parsing. Word representations. Informs Models Dependency grammar Morphology Word order Transition-based neural parsing Word representations Recurrent neural networks Informs Models Dependency grammar Morphology Word order Transition-based neural parsing

More information

Spring 2017 Ling 620. An Introduction to the Semantics of Tense 1

Spring 2017 Ling 620. An Introduction to the Semantics of Tense 1 1. Introducing Evaluation Times An Introduction to the Semantics of Tense 1 (1) Obvious, Fundamental Fact about Sentences of English The truth of some sentences (of English) depends upon the time they

More information

Past-as-Past in Japanese Counterfactuals

Past-as-Past in Japanese Counterfactuals Past-as-Past in Japanese Counterfactuals Teruyuki Mizuno Stefan Kaufmann University of Connecticut CLS 54, April 2018 1 / 27 Outline 1 Introduction English: basic observations Japanese: some examples 2

More information

Ling 240 Lecture #15. Syntax 4

Ling 240 Lecture #15. Syntax 4 Ling 240 Lecture #15 Syntax 4 agenda for today Give me homework 3! Language presentation! return Quiz 2 brief review of friday More on transformation Homework 4 A set of Phrase Structure Rules S -> (aux)

More information

(7) a. [ PP to John], Mary gave the book t [PP]. b. [ VP fix the car], I wonder whether she will t [VP].

(7) a. [ PP to John], Mary gave the book t [PP]. b. [ VP fix the car], I wonder whether she will t [VP]. CAS LX 522 Syntax I Fall 2000 September 18, 2000 Paul Hagstrom Week 2: Movement Movement Last time, we talked about subcategorization. (1) a. I can solve this problem. b. This problem, I can solve. (2)

More information

Queens College, CUNY, Rutgers University

Queens College, CUNY, Rutgers University The Semantics of yue yue in Mandarin Chinese 1 1 2 Xiao Li and Carlos A. Fasola 2 Queens College, CUNY, Rutgers University In this paper, we argue that yue yue in Mandarin Chinese can mark two semantically

More information

Chiastic Lambda-Calculi

Chiastic Lambda-Calculi Chiastic Lambda-Calculi wren ng thornton Cognitive Science & Computational Linguistics Indiana University, Bloomington NLCS, 28 June 2013 wren ng thornton (Indiana University) Chiastic Lambda-Calculi NLCS,

More information

Towards an Algebraic Morphosyntax

Towards an Algebraic Morphosyntax Towards an Algebraic Morphosyntax Thomas Graf mail@thomasgraf.net http://thomasgraf.net Stony Brook University Moscow State University December 16, 2015 Piece of a Larger Puzzle There is a huge number

More information

Deriving Distributivity from Discourse. Grant Xiaoguang Li Marlboro College

Deriving Distributivity from Discourse. Grant Xiaoguang Li Marlboro College Deriving Distributivity from Discourse Grant Xiaoguang Li Marlboro College This paper discusses the structure that incorporates information from discourse to derive distributivity. Following a proposal

More information

THE DRAVIDIAN EXPERIENCER CONSTRUCTION AND THE ENGLISH SEEM CONSTRUCTION. K. A. Jayaseelan CIEFL, Hyderabad

THE DRAVIDIAN EXPERIENCER CONSTRUCTION AND THE ENGLISH SEEM CONSTRUCTION. K. A. Jayaseelan CIEFL, Hyderabad THE DRAVIDIAN EXPERIENCER CONSTRUCTION AND THE ENGLISH SEEM CONSTRUCTION K. A. Jayaseelan CIEFL, Hyderabad 1. Introduction In many languages e.g. Malayalam, Tamil, Hindi, the same verb is used in the Experiencer

More information

Introduction to Semantics. The Formalization of Meaning 1

Introduction to Semantics. The Formalization of Meaning 1 The Formalization of Meaning 1 1. Obtaining a System That Derives Truth Conditions (1) The Goal of Our Enterprise To develop a system that, for every sentence S of English, derives the truth-conditions

More information

CAS LX 522 Syntax I Fall 2000 October 10, 2000 Week 5: Case Theory and θ Theory. θ-theory continued

CAS LX 522 Syntax I Fall 2000 October 10, 2000 Week 5: Case Theory and θ Theory. θ-theory continued CAS LX 522 Syntax I Fall 2000 October 0, 2000 Paul Hagstrom Week 5: Case Theory and θ Theory θ-theory continued From last time: verbs have θ-roles (e.g., Agent, Theme, ) to assign, specified in the lexicon

More information

The Formal Architecture of. Lexical-Functional Grammar. Ronald M. Kaplan and Mary Dalrymple

The Formal Architecture of. Lexical-Functional Grammar. Ronald M. Kaplan and Mary Dalrymple The Formal Architecture of Lexical-Functional Grammar Ronald M. Kaplan and Mary Dalrymple Xerox Palo Alto Research Center 1. Kaplan and Dalrymple, ESSLLI 1995, Barcelona Architectural Issues Representation:

More information

1. Background. Task: Determine whether a given string of words is a grammatical (well-formed) sentence of language L i or not.

1. Background. Task: Determine whether a given string of words is a grammatical (well-formed) sentence of language L i or not. Constraints in Syntax [1] Phrase Structure and Derivations Düsseldorf LSA/DGfS Summerschool 2002 Gereon Müller (IDS Mannheim) gereon.mueller@ids-mannheim.de 1. Background Task: Determine whether a given

More information

Time Zones - KET Grammar

Time Zones - KET Grammar Inventory of grammatical areas Verbs Regular and irregular forms Pages 104-105 (Unit 1 Modals can (ability; requests; permission) could (ability; polite requests) Page 3 (Getting Started) Pages 45-47,

More information

A Time-relational Approach to Aspect in Mandarin Chinese and English

A Time-relational Approach to Aspect in Mandarin Chinese and English A Time-relational Approach to Aspect in Mandarin Chinese and English Mingya Liu University of Tübingen mingya.liu@uni-tuebingen.de July 22, 2008 Mingya Liu (Tübingen) Aspect in Chinese and English July

More information

Other types of Movement

Other types of Movement Other types of Movement So far we seen Wh-movement, which moves certain types of (XP) constituents to the specifier of a CP. Wh-movement is also called A-bar movement. We will look at two more types of

More information

2013 ISSN: JATLaC Journal 8: t 1. t t Chomsky 1993 I Radford (2009) R I t t R I 2. t R t (1) (= R's (15), p. 86) He could have helped

2013 ISSN: JATLaC Journal 8: t 1. t t Chomsky 1993 I Radford (2009) R I t t R I 2. t R t (1) (= R's (15), p. 86) He could have helped t 1. tt Chomsky 1993 IRadford (2009) R Itt R I 2. t R t (1) (= R's (15), p. 86) He could have helped her, or [she have helped him]. 2 have I has had I I could ellipsis I gapping R (2) (= R (18), p.88)

More information

C SC 620 Advanced Topics in Natural Language Processing. Lecture 21 4/13

C SC 620 Advanced Topics in Natural Language Processing. Lecture 21 4/13 C SC 620 Advanced Topics in Natural Language Processing Lecture 21 4/13 Reading List Readings in Machine Translation, Eds. Nirenburg, S. et al. MIT Press 2003. 19. Montague Grammar and Machine Translation.

More information

Proseminar on Semantic Theory Fall 2013 Ling 720 The Proper Treatment of Quantification in Ordinary English, Part 1: The Fragment of English

Proseminar on Semantic Theory Fall 2013 Ling 720 The Proper Treatment of Quantification in Ordinary English, Part 1: The Fragment of English The Proper Treatment of Quantification in Ordinary English, Part 1: The Fragment of English We will now explore the analysis of English that Montague puts forth in his seminal paper, PTQ. As we ve already

More information

On the Proper Treatment of Tense

On the Proper Treatment of Tense On the Proper Treatment of Tense Arnim von Stechow Universität Tübingen 0. Introduction This paper is mainly concerned with tense in embedded constructions. I believe that recent research notably the work

More information

Feature Stacks and Binding Relations

Feature Stacks and Binding Relations Feature Stacks and Binding Relations Silke Fischer (Universität Stuttgart) The Fine Structure of Grammatical Relations, Universität Leipzig December 10, 2010 1. Introduction Background: In Fischer (2004b,

More information

Semantics and Generative Grammar. A Little Bit on Adverbs and Events

Semantics and Generative Grammar. A Little Bit on Adverbs and Events A Little Bit on Adverbs and Events 1. From Adjectives to Adverbs to Events We ve just developed a theory of the semantics of adjectives, under which they denote either functions of type (intersective

More information

Person Case Constraints and Feature Complexity in Syntax

Person Case Constraints and Feature Complexity in Syntax Person Case Constraints and Feature Complexity in Syntax Thomas Graf mail@thomasgraf.net http://thomasgraf.net Stony Brook University University of Vienna January 9, 2014 What is the PCC? Person Case Constraint

More information

Pair-Merge and Feature-Valuation via Minimal Search: Evidence from Icelandic

Pair-Merge and Feature-Valuation via Minimal Search: Evidence from Icelandic Pair-Merge and Feature-Valuation via Minimal Search: Evidence from Icelandic Masashi Nomura 1. Introduction * This paper provides a new approach to Case and agreement under the recent framework by Chomsky

More information

Hierarchical and Linear Constraints on Structure

Hierarchical and Linear Constraints on Structure Hierarchical and Linear Constraints on Structure Peter Sells Sandbjerg Ph.D. course June 14 16, 2006 Part II 1 OT Evaluations (1) CP XP C C IP Pro/Adv NP Adv I I Adv/Neg/NQ/Pro VP V Pro V NP NP PP V Prt

More information

HPSG II: the plot thickens

HPSG II: the plot thickens Syntactic Models 2/21/06 HPSG II: the plot thickens 1 Passive: a lexical rule that rearranges ARG-ST! (1) Passive Lexical Rule < 1, tv - lxm ARG - ST INDEX i < FPSP 1 a, > part - lxm SYN HEAD FORM pass

More information

Computational Linguistics. Acknowledgements. Phrase-Structure Trees. Dependency-based Parsing

Computational Linguistics. Acknowledgements. Phrase-Structure Trees. Dependency-based Parsing Computational Linguistics Dependency-based Parsing Dietrich Klakow & Stefan Thater FR 4.7 Allgemeine Linguistik (Computerlinguistik) Universität des Saarlandes Summer 2013 Acknowledgements These slides

More information

A Multi-Modal Combinatory Categorial Grammar. A MMCCG Analysis of Japanese Nonconstituent Clefting

A Multi-Modal Combinatory Categorial Grammar. A MMCCG Analysis of Japanese Nonconstituent Clefting A Multi-Modal Combinatory Categorial Grammar Analysis of Japanese Nonconstituent Clefting Department of Linguistics The Ohio State University {kubota,esmith}@ling.osu.edu A basic cleft sentence Data Clefting

More information

Arnim von Stechow, Universität Tübingen

Arnim von Stechow, Universität Tübingen Tense in Intensional Contexts: Two Semantic Accounts of Abusch's Theory of Tense Arnim von Stechow, Universität Tübingen 1. Introduction*... 1 2. The essentials of Abusch's theory of tense... 2 3. My interpretation

More information

A Syntax-based Statistical Machine Translation Model. Alexander Friedl, Georg Teichtmeister

A Syntax-based Statistical Machine Translation Model. Alexander Friedl, Georg Teichtmeister A Syntax-based Statistical Machine Translation Model Alexander Friedl, Georg Teichtmeister 4.12.2006 Introduction The model Experiment Conclusion Statistical Translation Model (STM): - mathematical model

More information

HPSG: Binding Theory

HPSG: Binding Theory HPSG: Binding Theory Doug Arnold doug@essexacuk Introduction Binding Theory is to do with the syntactic restrictions on the distribution of referentially dependent items and their antecedents: reflexives/reciprocals

More information

The semantics of yuè V yuè A in Mandarin Chinese: Coercion and the necessarily temporal reading

The semantics of yuè V yuè A in Mandarin Chinese: Coercion and the necessarily temporal reading Proceedings of CLS 51 (2015), 381-395 c Chicago Linguistic Society 2016. All rights reserved. 381 The semantics of yuè V yuè A in Mandarin Chinese: Coercion and the necessarily temporal reading Xiao Li

More information

Object agreement in Hungarian

Object agreement in Hungarian Object agreement in Hungarian Person features, syntax and morphology András Bárány Research Institute for Linguistics, Hungarian Academy of Sciences 1 March 2015 Introduction Object agreement with personal

More information

STRUCTURAL NON-CORRESPONDENCE IN TRANSLATION

STRUCTURAL NON-CORRESPONDENCE IN TRANSLATION STRUCTURAL NON-CORRESPONDENCE IN TRANSLATION Louisa Sadler, Dept. of Language and Linguistics, University of Essex, Wivenhoe Park, Colchester, CO4 3SQ, Essex, UK. louisa@uk.ac.essex Henry S. Thompson,

More information

Non-elementary Lower Bound for Propositional Duration. Calculus. A. Rabinovich. Department of Computer Science. Tel Aviv University

Non-elementary Lower Bound for Propositional Duration. Calculus. A. Rabinovich. Department of Computer Science. Tel Aviv University Non-elementary Lower Bound for Propositional Duration Calculus A. Rabinovich Department of Computer Science Tel Aviv University Tel Aviv 69978, Israel 1 Introduction The Duration Calculus (DC) [5] is a

More information

One hint from secondary predication (from Baker 1997 (8) A secondary predicate cannot take the goal argument as subject of predication, wheth

One hint from secondary predication (from Baker 1997 (8) A secondary predicate cannot take the goal argument as subject of predication, wheth MIT, Fall 2003 1 The Double Object Construction (Larson 1988, Aoun & Li 1989) MIT, 24.951, Fr 14 Nov 2003 A familiar puzzle The Dative Alternation (1) a. I gave the candy to the children b. I gave the

More information

Seminar in Semantics: Gradation & Modality Winter 2014

Seminar in Semantics: Gradation & Modality Winter 2014 1 Subject matter Seminar in Semantics: Gradation & Modality Winter 2014 Dan Lassiter 1/8/14 Handout: Basic Modal Logic and Kratzer (1977) [M]odality is the linguistic phenomenon whereby grammar allows

More information

GlueTag Linear Logic based Semantics for LTAG

GlueTag Linear Logic based Semantics for LTAG GlueTag Linear Logic based emantics or LTAG and what it teaches us about LFG and LTAG Anette Frank Language Technology Group DFKI GmbH aarbrücken, Germany rank@dki.de Jose van Genabith Computer Applications

More information

Computational Linguistics

Computational Linguistics Computational Linguistics Dependency-based Parsing Clayton Greenberg Stefan Thater FR 4.7 Allgemeine Linguistik (Computerlinguistik) Universität des Saarlandes Summer 2016 Acknowledgements These slides

More information

An introduction to German Syntax. 1. Head directionality: A major source of linguistic divergence

An introduction to German Syntax. 1. Head directionality: A major source of linguistic divergence An introduction to German Syntax 19 January 2018 1. Head directionality: A major source of linguistic divergence In English, heads uniformly precede their complements: (1) a. [ kiss Mary] a. * [ Mary kiss]

More information

VP features

VP features VP features http://www-rohan.sdsu.edu/~gawron/syntax Jean Mark Gawron San Diego State University, Department of Linguistics 2012-09-18 Jean Mark Gawron ( SDSU ) Gawron: VP features 2012-09-18 1 / 14 Auxiliaries

More information

Parameterization of the. Obviative/Proximate Index. in Argument Structure

Parameterization of the. Obviative/Proximate Index. in Argument Structure Paraeterization of the Obviative/Proxiate Index in Arguent Structure Eva Juarros Daussà University of Massachusetts, Aherst ejuarros@linguist.uass.edu 1 0. Observation about verbs Soe verbs can present

More information

2 A not-quite-argument for X-bar structure in noun phrases

2 A not-quite-argument for X-bar structure in noun phrases CAS LX 321 / GRS LX 621 Syntax: Introduction to Sentential Structure ovember 16, 2017 1 and pronouns (1) he linguists yodel. (2) We linguists yodel. (3) hey looked at us linguists. (4) hey looked at linguists.

More information

Entropy. Leonoor van der Beek, Department of Alfa-informatica Rijksuniversiteit Groningen. May 2005

Entropy. Leonoor van der Beek, Department of Alfa-informatica Rijksuniversiteit Groningen. May 2005 Entropy Leonoor van der Beek, vdbeek@rug.nl Department of Alfa-informatica Rijksuniversiteit Groningen May 2005 What is entropy? Entropy is a measure of uncertainty or surprise or disorder. Entropy was

More information

Compositionality and Syntactic Structure Marcus Kracht Department of Linguistics UCLA 3125 Campbell Hall 405 Hilgard Avenue Los Angeles, CA 90095

Compositionality and Syntactic Structure Marcus Kracht Department of Linguistics UCLA 3125 Campbell Hall 405 Hilgard Avenue Los Angeles, CA 90095 Compositionality and Syntactic Structure Marcus Kracht Department of Linguistics UCLA 3125 Campbell Hall 405 Hilgard Avenue Los Angeles, CA 90095 1543 kracht@humnet.ucla.edu 1. The Questions ➀ Why does

More information

Categorial Grammar. Larry Moss NASSLLI. Indiana University

Categorial Grammar. Larry Moss NASSLLI. Indiana University 1/37 Categorial Grammar Larry Moss Indiana University NASSLLI 2/37 Categorial Grammar (CG) CG is the tradition in grammar that is closest to the work that we ll do in this course. Reason: In CG, syntax

More information

Spring 2018 Ling 620 The Basics of Intensional Semantics, Part 1: The Motivation for Intensions and How to Formalize Them 1

Spring 2018 Ling 620 The Basics of Intensional Semantics, Part 1: The Motivation for Intensions and How to Formalize Them 1 The Basics of Intensional Semantics, Part 1: The Motivation for Intensions and How to Formalize Them 1 1. The Inadequacies of a Purely Extensional Semantics (1) Extensional Semantics a. The interpretation

More information

Constituency. Doug Arnold

Constituency. Doug Arnold Constituency Doug Arnold doug@essex.ac.uk Spose we have a string... xyz..., how can we establish whether xyz is a constituent (i.e. syntactic unit); i.e. whether the representation of... xyz... should

More information

Model-Theory of Property Grammars with Features

Model-Theory of Property Grammars with Features Model-Theory of Property Grammars with Features Denys Duchier Thi-Bich-Hanh Dao firstname.lastname@univ-orleans.fr Yannick Parmentier Abstract In this paper, we present a model-theoretic description of

More information

Proseminar on Semantic Theory Fall 2015 Ling 720 Adnominal Tenses Redux: Thomas (2014) Nominal Tense and Temporal Implicatures

Proseminar on Semantic Theory Fall 2015 Ling 720 Adnominal Tenses Redux: Thomas (2014) Nominal Tense and Temporal Implicatures Adnominal Tenses Redux: Thomas (2014) Nominal Tense and Temporal Implicatures 1. Tense and Nominal Tense in Mbya: A Challenge for Tonhauser (2007) Mbya is a Guarani language of Brazil, Argentina, and Paraguay.

More information

Modality in Modern Greek

Modality in Modern Greek Modality in Modern Greek Modality in Modern Greek By Eleni Staraki Modality in Modern Greek By Eleni Staraki This book first published 2017 Cambridge Scholars Publishing Lady Stephenson Library, Newcastle

More information

Fake Tense! in structural models. Katrin Schulz! ILLC, University of Amsterdam

Fake Tense! in structural models. Katrin Schulz! ILLC, University of Amsterdam Fake Tense! in structural models Katrin Schulz! ILLC, University of Amsterdam 1 The Problem Fake Tense In English subjunctive conditionals the Simple Past, and also the Past Perfect appear not to be interpreted

More information

Argument structure of thinking: a view from Buryat. Tanya Bondarenko (MIT), LFRG 10/17/2018

Argument structure of thinking: a view from Buryat. Tanya Bondarenko (MIT), LFRG 10/17/2018 Argument structure of thinking: a view from Buryat Tanya Bondarenko (MIT), LFRG 10/17/2018 The puzzle Sub m CP hanaxa think Sub m NMN hanaxa remember Buryat (Mongolic) has an attitude verb hanaxa whose

More information

First Order Logic: Syntax and Semantics

First Order Logic: Syntax and Semantics irst Order Logic: Syntax and Semantics COMP30412 Sean Bechhofer sean.bechhofer@manchester.ac.uk Logic Recap You should already know the basics of irst Order Logic (OL) It s a prerequisite of this course!

More information

Ling 5801: Lecture Notes 7 From Programs to Context-Free Grammars

Ling 5801: Lecture Notes 7 From Programs to Context-Free Grammars Ling 5801: Lecture otes 7 From Programs to Context-Free rammars 1. The rules we used to define programs make up a context-free grammar A Context-Free rammar is a tuple C,X,S,R, where: C is a finite set

More information

Knowledge representation DATA INFORMATION KNOWLEDGE WISDOM. Figure Relation ship between data, information knowledge and wisdom.

Knowledge representation DATA INFORMATION KNOWLEDGE WISDOM. Figure Relation ship between data, information knowledge and wisdom. Knowledge representation Introduction Knowledge is the progression that starts with data which s limited utility. Data when processed become information, information when interpreted or evaluated becomes

More information

TENSES. Tenses denote time of action. Time can be divided into three parts: Present Past and Future. Tense. Present. Classificati on of Tense

TENSES. Tenses denote time of action. Time can be divided into three parts: Present Past and Future. Tense. Present. Classificati on of Tense TENSES s denote time of action. Time can be divided into three parts: Present and. Present Classificati on of Present Indefinite Present Countinous Present Simple Present : The Simple Present The Simple

More information

Sharpening the empirical claims of generative syntax through formalization

Sharpening the empirical claims of generative syntax through formalization Sharpening the empirical claims of generative syntax through formalization Tim Hunter University of Minnesota, Twin Cities ESSLLI, August 2015 Part 1: Grammars and cognitive hypotheses What is a grammar?

More information

TEMPORAL REASONING WITH ASPECTUAL ADVERBS

TEMPORAL REASONING WITH ASPECTUAL ADVERBS HANS SMESSAERT and ALICE G. B. TER MEULEN TEMPORAL REASONING WITH ASPECTUAL ADVERBS ABSTRACT. Validity of dynamic temporal reasoning is semantically characterized for English and Dutch aspectual adverbs

More information

Genre-specific properties of adverbial clauses in English academic writing and newspaper texts. Elma Kerz & Daniel Wiechmann

Genre-specific properties of adverbial clauses in English academic writing and newspaper texts. Elma Kerz & Daniel Wiechmann Genre-specific properties of adverbial clauses in English academic writing and newspaper texts Elma Kerz & Daniel Wiechmann A constructionist perspective on patterns Schematicity Complex sentence constructions

More information

Modal Calculus of Illocutionary Logic

Modal Calculus of Illocutionary Logic 1 Andrew Schumann Belarusian State University Andrew.Schumann@gmail.com Modal Calculus of Illocutionary Logic Abstract: The aim of illocutionary logic is to explain how context can affect the meaning of

More information

Class Notes: Tsujimura (2007), Ch. 5. Syntax (1), pp (3) a. [[akai hon]-no hyooshi] b. [akai [hon-no hyooshi]]

Class Notes: Tsujimura (2007), Ch. 5. Syntax (1), pp (3) a. [[akai hon]-no hyooshi] b. [akai [hon-no hyooshi]] Class otes: Tsujimura (2007), Ch. 5. yntax (1), pp. 206-220 p. 206 What is!ytx"?! n area in linguistics that deals with the REGULRLITY of how words are put together to create grammatical sentences What

More information

Robustness analysis of finite precision implementations

Robustness analysis of finite precision implementations Eric Goubault and Sylvie Putot Cosynus, LIX, Ecole Polytechnique Motivations (see Eric s talk) Context: automatic validation o numerical programs Iner invariant properties both in loating-point and real

More information

MODAL LOGIC WITH SUBJUNCTIVE MARKERS: A NEW PERSPECTIVE ON RIGID DESIGNATION

MODAL LOGIC WITH SUBJUNCTIVE MARKERS: A NEW PERSPECTIVE ON RIGID DESIGNATION MODAL LOGIC WITH SUBJUNCTIVE MARKERS: A NEW PERSPECTIVE ON RIGID DESIGNATION Helge Rückert Department of Philosophy University of Saarbrücken, Germany Abstract: According to Kripke

More information

On the formal semantics of begin and end of states in a model theory for temporal DRT

On the formal semantics of begin and end of states in a model theory for temporal DRT 4 On the formal semantics of begin and end of states in a model theory for temporal DRT Petra Dünges Abstract In this paper we show that the intended meaning of begin and end of states is not embodied

More information

Modal subordination is neither modal nor subordinate...discuss

Modal subordination is neither modal nor subordinate...discuss Modal subordination is neither modal nor subordinate...discuss Scott AnderBois November 23, 2008 1 Introduction We have seen in numerous other works that indefinites introduce discourse referents that

More information

Non-veridical Uses of Japanese Expressions of Temporal Precedence

Non-veridical Uses of Japanese Expressions of Temporal Precedence Non-veridical Uses of Japanese Expressions of Temporal Precedence Stefan Kaufmann and Yukinori Takubo Northwestern University, Kyoto University 1. Introduction 1 The English temporal sentential connective

More information

Simpler Syntax. Ling : Sign-Based Construction Grammar Instructor: Ivan A. Sag URL:

Simpler Syntax. Ling : Sign-Based Construction Grammar Instructor: Ivan A. Sag URL: Simpler Syntax Ling 7800-065: Sign-Based Construction Grammar Instructor: Ivan A. Sag (sag@stanford.edu) URL: http://lingo.stanford.edu/sag/li11-sbcg 1/ 58 Constructs ] [mtr sign construct : dtrs nelist(sign)

More information

Non-canonical comparatives: Syntax, semantics, & processing

Non-canonical comparatives: Syntax, semantics, & processing Non-canonical comparatives: Syntax, semantics, & processing ESSLLI 2018 Roumyana Pancheva, Alexis Wellwood University of Southern California August 15, 2018 1 / 22 cardinality comparison Two generalizations

More information

THE MEANING OF NA AND CONDITIONAL WISHES *

THE MEANING OF NA AND CONDITIONAL WISHES * THE MEANING OF NA AND CONDITIONAL WISHES * Maria Kyriakaki University of Toronto 1. Introduction I discuss a certain type of counterfactual construction of Greek that has the morphology of a conditional,

More information

Language of Propositional Logic

Language of Propositional Logic Logic A logic has: 1. An alphabet that contains all the symbols of the language of the logic. 2. A syntax giving the rules that define the well formed expressions of the language of the logic (often called

More information

Geospatial Semantics. Yingjie Hu. Geospatial Semantics

Geospatial Semantics. Yingjie Hu. Geospatial Semantics Outline What is geospatial? Why do we need it? Existing researches. Conclusions. What is geospatial? Semantics The meaning of expressions Syntax How you express the meaning E.g. I love GIS What is geospatial?

More information

Spring 2018 Ling 620 Introduction to Semantics of Questions: Questions as Sets of Propositions (Hamblin 1973, Karttunen 1977)

Spring 2018 Ling 620 Introduction to Semantics of Questions: Questions as Sets of Propositions (Hamblin 1973, Karttunen 1977) Introduction to Semantics of Questions: Questions as Sets of Propositions (Hamblin 1973, Karttunen 1977) 1. Question Meanings and Sets of Propositions (1) The Semantics of Declarative Sentence Dave smokes

More information

Knowledge base (KB) = set of sentences in a formal language Declarative approach to building an agent (or other system):

Knowledge base (KB) = set of sentences in a formal language Declarative approach to building an agent (or other system): Logic Knowledge-based agents Inference engine Knowledge base Domain-independent algorithms Domain-specific content Knowledge base (KB) = set of sentences in a formal language Declarative approach to building

More information

Handout 3: PTQ Revisited (Muskens 1995, Ch. 4)

Handout 3: PTQ Revisited (Muskens 1995, Ch. 4) Handout 3: PTQ Revisited (Muskens 1995, Ch. 4) Semantics C (Spring 2010) Montague s PTQ article (Montague 1973), the paper in which he gave his Proper Treatment of Quantification, functions as the paradigm

More information

Temporal Situations and a Representation of Concurrent Events

Temporal Situations and a Representation of Concurrent Events Temporal Situations and a Representation of Concurrent Events Satoshi Tojo The representation of time with the physical time parameter 't', often overspecifies the semantics of natural languages, because

More information

Two-phase Implementation of Morphological Analysis

Two-phase Implementation of Morphological Analysis Two-phase Implementation of Morphological Analysis Arvi Hurskainen Institute for Asian and African Studies, Box 59 FIN-00014 University of Helsinki, Finland arvi.hurskainen@helsinki.fi Abstract SALAMA

More information

Extensions to the Logic of All x are y: Verbs, Relative Clauses, and Only

Extensions to the Logic of All x are y: Verbs, Relative Clauses, and Only 1/53 Extensions to the Logic of All x are y: Verbs, Relative Clauses, and Only Larry Moss Indiana University Nordic Logic School August 7-11, 2017 2/53 An example that we ll see a few times Consider the

More information

Epistemic Modals and Informational Consequence

Epistemic Modals and Informational Consequence Epistemic Modals and Informational Consequence [This is a penultimate draft. Please quote only from the published version. The paper is already available through Online First at http://www.springerlink.com/content/0039-7857]

More information

Features. An argument DP must have been assigned Case by S-structure. A Specifier of IP must have been occupied by something by S-structure.

Features. An argument DP must have been assigned Case by S-structure. A Specifier of IP must have been occupied by something by S-structure. Features 26 October 2015 We left with a system that included the following elements. (1) Head Movement onstraint IfanX 0 movestoay 0,therecanbenoZ 0 thatisc-commandedbyy 0 and c-commandsx 0. (2) Like(s)

More information

Bar-Hillel and the Division of Labor in Language

Bar-Hillel and the Division of Labor in Language Bar-Hillel and the Division of Labor in Language On the interaction of grammar, logic, and pragmatics Luka Crnič November 2, 2015 Language, Logic and Cognition Center http://scholars.huji.ac.il/llcc Luka

More information

VALUATIVE CRITERIA BRIAN OSSERMAN

VALUATIVE CRITERIA BRIAN OSSERMAN VALUATIVE CRITERIA BRIAN OSSERMAN Intuitively, one can think o separatedness as (a relative version o) uniqueness o limits, and properness as (a relative version o) existence o (unique) limits. It is not

More information

Unifying Adjunct Islands and Freezing Effects in Minimalist Grammars

Unifying Adjunct Islands and Freezing Effects in Minimalist Grammars Unifying Adjunct Islands and Freezing Effects in Minimalist Grammars Tim Hunter Department of Linguistics University of Maryland TAG+10 1 / 26 Goal of This Talk Goal Present a unified account of two well-known

More information

Gender in conditionals

Gender in conditionals Gender in conditionals Fabio Del Prete 1 Sandro Zucchi 2 1 CLLE-ERSS (CNRS, Toulouse), 2 Università degli Studi di Milano 9 November 2017 The University of Sheffield, Department of Philosophy Indexical

More information

Government, Agreement and Minimality Ian Roberts Downing College, University of Cambridge

Government, Agreement and Minimality Ian Roberts Downing College, University of Cambridge 1. Introduction 1 Government, Agreement and Minimality Ian Roberts Downing College, University of Cambridge (igr20@cam.ac.uk) Three points: How to define government in bare phrase stcture Government reduces

More information

Compositional Semantics of Coordination using Synchronous Tree Adjoining Grammar

Compositional Semantics of Coordination using Synchronous Tree Adjoining Grammar Compositional Semantics of Coordination using Synchronous ree Adjoining Grammar Chung-hye Han epartment of Linguistics Simon raser University chunghye@sfu.ca avid Potter epartment of Linguistics Simon

More information

Intensionality. 1. Intensional Propositional Logic (IntPL).

Intensionality. 1. Intensional Propositional Logic (IntPL). Ling255: Sem and CogSci Maribel Romero April 5, 2005 1. Intensional Propositional Logic (IntPL). Intensionality Intensional PL adds some operators O to our standard PL. The crucial property of these operators

More information

Spring 2017 Ling 620 The Semantics of Control Infinitives: A First Introduction to De Se Attitudes

Spring 2017 Ling 620 The Semantics of Control Infinitives: A First Introduction to De Se Attitudes The Semantics of Control Infinitives: A First Introduction to De Se Attitudes 1. Non-Finite Control Complements and De Se Attitudes (1) Two Sentences that Seem Very Close in Meaning a. Dave expects he

More information

Quantifier Scope in German: An MCTAG Analysis

Quantifier Scope in German: An MCTAG Analysis Quantifier Scope in German: An MCAG Analysis Laura Kallmeyer University of übingen Collaborative Research Center 441 lk@sfs.uni-tuebingen.de Maribel Romero University of Pennsylvania Department of Linguistics

More information

National Centre for Language Technology School of Computing Dublin City University

National Centre for Language Technology School of Computing Dublin City University with with National Centre for Language Technology School of Computing Dublin City University Parallel treebanks A parallel treebank comprises: sentence pairs parsed word-aligned tree-aligned (Volk & Samuelsson,

More information

Unterspezifikation in der Semantik Scope Semantics in Lexicalized Tree Adjoining Grammars

Unterspezifikation in der Semantik Scope Semantics in Lexicalized Tree Adjoining Grammars in der emantik cope emantics in Lexicalized Tree Adjoining Grammars Laura Heinrich-Heine-Universität Düsseldorf Wintersemester 2011/2012 LTAG: The Formalism (1) Tree Adjoining Grammars (TAG): Tree-rewriting

More information

First-order resolution for CTL

First-order resolution for CTL First-order resolution for Lan Zhang, Ullrich Hustadt and Clare Dixon Department of Computer Science, University of Liverpool Liverpool, L69 3BX, UK {Lan.Zhang, U.Hustadt, CLDixon}@liverpool.ac.uk Abstract

More information

Continuations in Type Logical Grammar. Grafting Trees: (with Chris Barker, UCSD) NJPLS, 27 February Harvard University

Continuations in Type Logical Grammar. Grafting Trees: (with Chris Barker, UCSD) NJPLS, 27 February Harvard University Grafting Trees: Continuations in Type Logical Grammar Chung-chieh Shan Harvard University ccshan@post.harvard.edu (with Chris Barker, UCSD) NJPLS, 27 February 2004 Computational Linguistics 1 What a linguist

More information

Galois Connections in Categorial Type Logic

Galois Connections in Categorial Type Logic Galois Connections in Categorial Type Logic Raffaella Bernardi joint work with Carlos Areces and Michael Moortgat Contents 1 Introduction.............................................. 4 2 Residuated operators

More information