Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Logics for linguistic structures [[electronic resource] /] / edited by Fritz Hamm, Stephan Kepser
| Logics for linguistic structures [[electronic resource] /] / edited by Fritz Hamm, Stephan Kepser |
| Pubbl/distr/stampa | Berlin ; ; New York, : Mouton de Gruyter, c2008 |
| Descrizione fisica | 1 online resource (188 p.) |
| Disciplina | 401 |
| Altri autori (Persone) |
HammFritz <1953->
KepserStephan <1967-> |
| Collana | Trends in linguistics. Studies and monographs |
| Soggetto topico |
Computational linguistics
Language and logic |
| Soggetto genere / forma | Electronic books. |
| ISBN |
1-281-99958-X
9786611999582 3-11-021178-5 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- Contents -- Introduction -- Type Theory with Records and unification-based grammar -- One-letter automata: How to reduce k tapes to one -- Two aspects of situated meaning -- Further excursions in natural logic: The Mid-Point Theorems -- On the logic of LGB type structures. Part I: Multidominance structures -- Completeness theorems for syllogistic fragments -- Backmatter |
| Record Nr. | UNINA-9910454216803321 |
| Berlin ; ; New York, : Mouton de Gruyter, c2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Logics for linguistic structures [[electronic resource] /] / edited by Fritz Hamm, Stephan Kepser
| Logics for linguistic structures [[electronic resource] /] / edited by Fritz Hamm, Stephan Kepser |
| Pubbl/distr/stampa | Berlin ; ; New York, : Mouton de Gruyter, c2008 |
| Descrizione fisica | 1 online resource (188 p.) |
| Disciplina | 401 |
| Altri autori (Persone) |
HammFritz <1953->
KepserStephan <1967-> |
| Collana | Trends in linguistics. Studies and monographs |
| Soggetto topico |
Computational linguistics
Language and logic |
| Soggetto non controllato |
Logics
generative grammar |
| ISBN |
1-281-99958-X
9786611999582 3-11-021178-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- Contents -- Introduction -- Type Theory with Records and unification-based grammar -- One-letter automata: How to reduce k tapes to one -- Two aspects of situated meaning -- Further excursions in natural logic: The Mid-Point Theorems -- On the logic of LGB type structures. Part I: Multidominance structures -- Completeness theorems for syllogistic fragments -- Backmatter |
| Record Nr. | UNINA-9910782765603321 |
| Berlin ; ; New York, : Mouton de Gruyter, c2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Logics for linguistic structures / / edited by Fritz Hamm, Stephan Kepser
| Logics for linguistic structures / / edited by Fritz Hamm, Stephan Kepser |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Berlin ; ; New York, : Mouton de Gruyter, c2008 |
| Descrizione fisica | 1 online resource (188 p.) |
| Disciplina | 401 |
| Altri autori (Persone) |
HammFritz <1953->
KepserStephan <1967-> |
| Collana | Trends in linguistics. Studies and monographs |
| Soggetto topico |
Computational linguistics
Language and logic |
| ISBN |
1-281-99958-X
9786611999582 3-11-021178-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- Contents -- Introduction -- Type Theory with Records and unification-based grammar -- One-letter automata: How to reduce k tapes to one -- Two aspects of situated meaning -- Further excursions in natural logic: The Mid-Point Theorems -- On the logic of LGB type structures. Part I: Multidominance structures -- Completeness theorems for syllogistic fragments -- Backmatter |
| Record Nr. | UNINA-9910808621203321 |
| Berlin ; ; New York, : Mouton de Gruyter, c2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The proper treatment of events [[electronic resource] /] / Michiel van Lambalgen and Fritz Hamm
| The proper treatment of events [[electronic resource] /] / Michiel van Lambalgen and Fritz Hamm |
| Autore | Lambalgen Michiel van <1954-> |
| Pubbl/distr/stampa | Malden, MA, : Blackwell Pub., c2005 |
| Descrizione fisica | 1 online resource (266 p.) |
| Disciplina |
415.6
415/.6 |
| Altri autori (Persone) | HammFritz <1953-> |
| Collana | Explorations in semantics |
| Soggetto topico |
Grammar, Comparative and general - Tense
Grammar, Comparative and general - Aspect Grammar, Comparative and general - Nominals Logic |
| Soggetto genere / forma | Electronic books. |
| ISBN |
1-281-32144-3
9786611321444 0-470-75925-9 0-470-75922-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
The Proper Treatment of Events; Contents; Figures; Preface; Part I Time, Events, and Cognition; 1 Time; 1 Psychology of Time; 2 Why Do We Have the Experience of Time at All?; 2 Events and Time; 1 The Analogy Between Events and Objects; 2 The Russell-Kamp Construction of Time from Events; 3 Walker's Construction; 4 Richer Languages for Events; 5 Some Linguistic Applications; 6 Continuous Time from Events; 7 Conclusion; 3 Language, Time, and Planning; Part II The Formal Apparatus; 4 Events Formalized; 1 A Calculus of Events; 2 The Axiom System EC; 3 Scenarios; 4 Minimal Models
5 Computing with Time and Events1 Logic Programming with Constraints; 2 Minimal Models Revisited; 3 How to Get to the Other Side of a Street; 4 When Do Causes Take Effect?; 5 Da Capo, with Feeling; Exercises for Chapters 4 and 5; 6 Finishing Touches; 1 Coding VPs as Fluents and Events; 2 Consistency, Truth, and Partiality; Part III A Marriage Made in Heaven - Linguistics and Robotics; 7 Aktionsart; 1 Eventualities; 2 Formal Definition of Aktionsarten; 3 Perfective and Imperfective Eventualities; 8 Tense; 1 Reichenbach's Reference Time R; 2 Event Time and the Sentence; 3 Present Tense 4 Past Tense5 Future Tense; Exercises; 9 Tense in French: Passé Simple and Imparfait; 1 Introduction; 2 Data; 3 Formalizing the Passé Simple and Imparfait; 4 Coda; Exercises; 10 Grammatical Aspect; 1 The Perfect; 2 The Progressive; 3 A Computational Proof; 4 Comments on the Literature; Exercises; 11 Coercion; 1 Additive Coercion; 2 Subtractive Coercion; 3 Cross-Coercion; 4 Temporal Adverbials: 'in' and 'for'; 5 Coercion and Intensionality; Exercises; 12 Nominalization; 1 Two Types of English Gerunds; 2 History of the English Gerundive System; 3 Nominalizations Formalized I: Denotation Types 4 Nominalizations Formalized II: Lexical MeaningExercises; Appendix: The Basics of Logic Programming; 1 Logic Programming for Propositional Logic; 2 Logic Programming for Predicate Logic; References; Index |
| Record Nr. | UNINA-9910145588003321 |
Lambalgen Michiel van <1954->
|
||
| Malden, MA, : Blackwell Pub., c2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The proper treatment of events [[electronic resource] /] / Michiel van Lambalgen and Fritz Hamm
| The proper treatment of events [[electronic resource] /] / Michiel van Lambalgen and Fritz Hamm |
| Autore | Lambalgen Michiel van <1954-> |
| Pubbl/distr/stampa | Malden, MA, : Blackwell Pub., c2005 |
| Descrizione fisica | 1 online resource (266 p.) |
| Disciplina |
415.6
415/.6 |
| Altri autori (Persone) | HammFritz <1953-> |
| Collana | Explorations in semantics |
| Soggetto topico |
Grammar, Comparative and general - Tense
Grammar, Comparative and general - Aspect Grammar, Comparative and general - Nominals Logic |
| ISBN |
1-281-32144-3
9786611321444 0-470-75925-9 0-470-75922-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
The Proper Treatment of Events; Contents; Figures; Preface; Part I Time, Events, and Cognition; 1 Time; 1 Psychology of Time; 2 Why Do We Have the Experience of Time at All?; 2 Events and Time; 1 The Analogy Between Events and Objects; 2 The Russell-Kamp Construction of Time from Events; 3 Walker's Construction; 4 Richer Languages for Events; 5 Some Linguistic Applications; 6 Continuous Time from Events; 7 Conclusion; 3 Language, Time, and Planning; Part II The Formal Apparatus; 4 Events Formalized; 1 A Calculus of Events; 2 The Axiom System EC; 3 Scenarios; 4 Minimal Models
5 Computing with Time and Events1 Logic Programming with Constraints; 2 Minimal Models Revisited; 3 How to Get to the Other Side of a Street; 4 When Do Causes Take Effect?; 5 Da Capo, with Feeling; Exercises for Chapters 4 and 5; 6 Finishing Touches; 1 Coding VPs as Fluents and Events; 2 Consistency, Truth, and Partiality; Part III A Marriage Made in Heaven - Linguistics and Robotics; 7 Aktionsart; 1 Eventualities; 2 Formal Definition of Aktionsarten; 3 Perfective and Imperfective Eventualities; 8 Tense; 1 Reichenbach's Reference Time R; 2 Event Time and the Sentence; 3 Present Tense 4 Past Tense5 Future Tense; Exercises; 9 Tense in French: Passé Simple and Imparfait; 1 Introduction; 2 Data; 3 Formalizing the Passé Simple and Imparfait; 4 Coda; Exercises; 10 Grammatical Aspect; 1 The Perfect; 2 The Progressive; 3 A Computational Proof; 4 Comments on the Literature; Exercises; 11 Coercion; 1 Additive Coercion; 2 Subtractive Coercion; 3 Cross-Coercion; 4 Temporal Adverbials: 'in' and 'for'; 5 Coercion and Intensionality; Exercises; 12 Nominalization; 1 Two Types of English Gerunds; 2 History of the English Gerundive System; 3 Nominalizations Formalized I: Denotation Types 4 Nominalizations Formalized II: Lexical MeaningExercises; Appendix: The Basics of Logic Programming; 1 Logic Programming for Propositional Logic; 2 Logic Programming for Predicate Logic; References; Index |
| Record Nr. | UNISA-996201978803316 |
|
Lambalgen Michiel van <1954->
|
||
| Malden, MA, : Blackwell Pub., c2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
The proper treatment of events [[electronic resource] /] / Michiel van Lambalgen and Fritz Hamm
| The proper treatment of events [[electronic resource] /] / Michiel van Lambalgen and Fritz Hamm |
| Autore | Lambalgen Michiel van <1954-> |
| Pubbl/distr/stampa | Malden, MA, : Blackwell Pub., c2005 |
| Descrizione fisica | 1 online resource (266 p.) |
| Disciplina |
415.6
415/.6 |
| Altri autori (Persone) | HammFritz <1953-> |
| Collana | Explorations in semantics |
| Soggetto topico |
Grammar, Comparative and general - Tense
Grammar, Comparative and general - Aspect Grammar, Comparative and general - Nominals Logic |
| ISBN |
1-281-32144-3
9786611321444 0-470-75925-9 0-470-75922-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
The Proper Treatment of Events; Contents; Figures; Preface; Part I Time, Events, and Cognition; 1 Time; 1 Psychology of Time; 2 Why Do We Have the Experience of Time at All?; 2 Events and Time; 1 The Analogy Between Events and Objects; 2 The Russell-Kamp Construction of Time from Events; 3 Walker's Construction; 4 Richer Languages for Events; 5 Some Linguistic Applications; 6 Continuous Time from Events; 7 Conclusion; 3 Language, Time, and Planning; Part II The Formal Apparatus; 4 Events Formalized; 1 A Calculus of Events; 2 The Axiom System EC; 3 Scenarios; 4 Minimal Models
5 Computing with Time and Events1 Logic Programming with Constraints; 2 Minimal Models Revisited; 3 How to Get to the Other Side of a Street; 4 When Do Causes Take Effect?; 5 Da Capo, with Feeling; Exercises for Chapters 4 and 5; 6 Finishing Touches; 1 Coding VPs as Fluents and Events; 2 Consistency, Truth, and Partiality; Part III A Marriage Made in Heaven - Linguistics and Robotics; 7 Aktionsart; 1 Eventualities; 2 Formal Definition of Aktionsarten; 3 Perfective and Imperfective Eventualities; 8 Tense; 1 Reichenbach's Reference Time R; 2 Event Time and the Sentence; 3 Present Tense 4 Past Tense5 Future Tense; Exercises; 9 Tense in French: Passé Simple and Imparfait; 1 Introduction; 2 Data; 3 Formalizing the Passé Simple and Imparfait; 4 Coda; Exercises; 10 Grammatical Aspect; 1 The Perfect; 2 The Progressive; 3 A Computational Proof; 4 Comments on the Literature; Exercises; 11 Coercion; 1 Additive Coercion; 2 Subtractive Coercion; 3 Cross-Coercion; 4 Temporal Adverbials: 'in' and 'for'; 5 Coercion and Intensionality; Exercises; 12 Nominalization; 1 Two Types of English Gerunds; 2 History of the English Gerundive System; 3 Nominalizations Formalized I: Denotation Types 4 Nominalizations Formalized II: Lexical MeaningExercises; Appendix: The Basics of Logic Programming; 1 Logic Programming for Propositional Logic; 2 Logic Programming for Predicate Logic; References; Index |
| Record Nr. | UNINA-9910830472603321 |
|
Lambalgen Michiel van <1954->
|
||
| Malden, MA, : Blackwell Pub., c2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The proper treatment of events / / Michiel van Lambalgen and Fritz Hamm
| The proper treatment of events / / Michiel van Lambalgen and Fritz Hamm |
| Autore | Lambalgen Michiel van <1954-> |
| Pubbl/distr/stampa | Malden, MA, : Blackwell Pub., c2005 |
| Descrizione fisica | 1 online resource (266 p.) |
| Disciplina | 415/.6 |
| Altri autori (Persone) | HammFritz <1953-> |
| Collana | Explorations in semantics |
| Soggetto topico |
Grammar, Comparative and general - Tense
Grammar, Comparative and general - Aspect Grammar, Comparative and general - Nominals Logic |
| ISBN |
1-281-32144-3
9786611321444 0-470-75925-9 0-470-75922-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
The Proper Treatment of Events; Contents; Figures; Preface; Part I Time, Events, and Cognition; 1 Time; 1 Psychology of Time; 2 Why Do We Have the Experience of Time at All?; 2 Events and Time; 1 The Analogy Between Events and Objects; 2 The Russell-Kamp Construction of Time from Events; 3 Walker's Construction; 4 Richer Languages for Events; 5 Some Linguistic Applications; 6 Continuous Time from Events; 7 Conclusion; 3 Language, Time, and Planning; Part II The Formal Apparatus; 4 Events Formalized; 1 A Calculus of Events; 2 The Axiom System EC; 3 Scenarios; 4 Minimal Models
5 Computing with Time and Events1 Logic Programming with Constraints; 2 Minimal Models Revisited; 3 How to Get to the Other Side of a Street; 4 When Do Causes Take Effect?; 5 Da Capo, with Feeling; Exercises for Chapters 4 and 5; 6 Finishing Touches; 1 Coding VPs as Fluents and Events; 2 Consistency, Truth, and Partiality; Part III A Marriage Made in Heaven - Linguistics and Robotics; 7 Aktionsart; 1 Eventualities; 2 Formal Definition of Aktionsarten; 3 Perfective and Imperfective Eventualities; 8 Tense; 1 Reichenbach's Reference Time R; 2 Event Time and the Sentence; 3 Present Tense 4 Past Tense5 Future Tense; Exercises; 9 Tense in French: Passé Simple and Imparfait; 1 Introduction; 2 Data; 3 Formalizing the Passé Simple and Imparfait; 4 Coda; Exercises; 10 Grammatical Aspect; 1 The Perfect; 2 The Progressive; 3 A Computational Proof; 4 Comments on the Literature; Exercises; 11 Coercion; 1 Additive Coercion; 2 Subtractive Coercion; 3 Cross-Coercion; 4 Temporal Adverbials: 'in' and 'for'; 5 Coercion and Intensionality; Exercises; 12 Nominalization; 1 Two Types of English Gerunds; 2 History of the English Gerundive System; 3 Nominalizations Formalized I: Denotation Types 4 Nominalizations Formalized II: Lexical MeaningExercises; Appendix: The Basics of Logic Programming; 1 Logic Programming for Propositional Logic; 2 Logic Programming for Predicate Logic; References; Index |
| Record Nr. | UNINA-9910877038803321 |
|
Lambalgen Michiel van <1954->
|
||
| Malden, MA, : Blackwell Pub., c2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||