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.
Essays on non-classical logic [[electronic resource] /] / editor, Heinrich Wansing
| Essays on non-classical logic [[electronic resource] /] / editor, Heinrich Wansing |
| Pubbl/distr/stampa | River Edge, N.J., : World Scientific, 2001 |
| Descrizione fisica | 1 online resource (275 p.) |
| Disciplina |
160
511.31 |
| Altri autori (Persone) | WansingH (Heinrich) |
| Collana | Advances in logic |
| Soggetto topico |
Nonclassical mathematical logic
Tense (Logic) Negation (Logic) |
| Soggetto genere / forma | Electronic books. |
| ISBN |
1-281-94806-3
9786611948061 981-279-974-5 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Contents ; 1 Fine Grained Theories of Time ; 1.1 Priorean Tense Logic ; 1.2 Referential Tense Logic ; 1.3 A First Look at Allen's System ; 1.4 A Sorted Interval-Based Language ; 1.5 Concluding Remarks ; Bibliography ; 2 Revision Sequences and Computers With an Infinite Amount of Time
2.1 Introduction 2.2 The Gupta-Belnap Systems ; 2.2.1 Revision Sequences ; 2.2.2 The Systems S# and S* ; 2.3 Infinite Time Turing Machines ; 2.4 Revision Sequences Modeled by Infinite Time Turing Machines ; 2.5 The Limit Rule and Other Applications ; 2.6 Aftermath ; Bibliography 3 On Frege's Nightmare: A Combination of Intuitionistic Free and Paraconsistent Logics 3.1 Aims of This Paper ; 3.2 The Dialogical Approach to Free Logic ; 3.2.1 Dialogical Free Logic With and Without tertium non datur ; 3.2.2 Winning Strategies and Dialogical Tableaux for DFL 3.2.3 Many Quantifiers and Sorts of Objects - The Systems DFLn and DFL 3.2.4 Combining DFLI and DFLC ; 3.3 Inconsistent Objects ; 3.3.1 Paraconsistency ; 3.3.2 The Dialogical Approach to Paraconsistent Logic and Frege's Nightmare ; 3.4 Conclusions ; Bibliography 4 Truthmakers Entailment and Necessity 4.1 Truthmakers ; 4.2 Entailment ; 4.3 Necessity ; 4.4 Reductionism ; 4.5 Proofs ; 4.6 Conclusion ; Bibliography ; 5 Global Definability in Basic Modal Logic ; 5.1 Introduction ; 5.2 Basic Concepts ; 5.3 Local Definability 5.4 Global Definability |
| Record Nr. | UNINA-9910454349603321 |
| River Edge, N.J., : World Scientific, 2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Essays on non-classical logic [[electronic resource] /] / editor, Heinrich Wansing
| Essays on non-classical logic [[electronic resource] /] / editor, Heinrich Wansing |
| Pubbl/distr/stampa | River Edge, N.J., : World Scientific, 2001 |
| Descrizione fisica | 1 online resource (275 p.) |
| Disciplina |
160
511.31 |
| Altri autori (Persone) | WansingH (Heinrich) |
| Collana | Advances in logic |
| Soggetto topico |
Nonclassical mathematical logic
Tense (Logic) Negation (Logic) |
| ISBN |
1-281-94806-3
9786611948061 981-279-974-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Contents ; 1 Fine Grained Theories of Time ; 1.1 Priorean Tense Logic ; 1.2 Referential Tense Logic ; 1.3 A First Look at Allen's System ; 1.4 A Sorted Interval-Based Language ; 1.5 Concluding Remarks ; Bibliography ; 2 Revision Sequences and Computers With an Infinite Amount of Time
2.1 Introduction 2.2 The Gupta-Belnap Systems ; 2.2.1 Revision Sequences ; 2.2.2 The Systems S# and S* ; 2.3 Infinite Time Turing Machines ; 2.4 Revision Sequences Modeled by Infinite Time Turing Machines ; 2.5 The Limit Rule and Other Applications ; 2.6 Aftermath ; Bibliography 3 On Frege's Nightmare: A Combination of Intuitionistic Free and Paraconsistent Logics 3.1 Aims of This Paper ; 3.2 The Dialogical Approach to Free Logic ; 3.2.1 Dialogical Free Logic With and Without tertium non datur ; 3.2.2 Winning Strategies and Dialogical Tableaux for DFL 3.2.3 Many Quantifiers and Sorts of Objects - The Systems DFLn and DFL 3.2.4 Combining DFLI and DFLC ; 3.3 Inconsistent Objects ; 3.3.1 Paraconsistency ; 3.3.2 The Dialogical Approach to Paraconsistent Logic and Frege's Nightmare ; 3.4 Conclusions ; Bibliography 4 Truthmakers Entailment and Necessity 4.1 Truthmakers ; 4.2 Entailment ; 4.3 Necessity ; 4.4 Reductionism ; 4.5 Proofs ; 4.6 Conclusion ; Bibliography ; 5 Global Definability in Basic Modal Logic ; 5.1 Introduction ; 5.2 Basic Concepts ; 5.3 Local Definability 5.4 Global Definability |
| Record Nr. | UNINA-9910782277703321 |
| River Edge, N.J., : World Scientific, 2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The expression of time [[electronic resource] /] / edited by Wolfgang Klein, Ping Li
| The expression of time [[electronic resource] /] / edited by Wolfgang Klein, Ping Li |
| Pubbl/distr/stampa | Berlin ; ; New York, : Mouton de Gruyter, c2009 |
| Descrizione fisica | 1 online resource (284 p.) |
| Disciplina | 415 |
| Altri autori (Persone) |
KleinWolfgang <1946 Feb. 3->
LiPing <1962-> |
| Collana | The expression of cognitive categories |
| Soggetto topico |
Grammar, Comparative and general - Temporal constructions
Grammar, Comparative and general - Tense Tense (Logic) Time |
| Soggetto genere / forma | Electronic books. |
| ISBN |
3-11-173695-4
1-282-42573-0 9786612425738 3-11-019903-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Front matter -- Contents -- Introduction -- Concepts of time -- How time is encoded -- Temporal anaphora in a tenseless language -- Tenses in compositional semantics -- Temporality in first and second language acquisition -- New perspectives in analyzing aspectual distinctions across languages -- Verb aspect and the mental representation of situations -- Computational modeling of the expression of time -- Back matter |
| Record Nr. | UNINA-9910454110403321 |
| Berlin ; ; New York, : Mouton de Gruyter, c2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The expression of time [[electronic resource] /] / edited by Wolfgang Klein, Ping Li
| The expression of time [[electronic resource] /] / edited by Wolfgang Klein, Ping Li |
| Pubbl/distr/stampa | Berlin ; ; New York, : Mouton de Gruyter, c2009 |
| Descrizione fisica | 1 online resource (284 p.) |
| Disciplina | 415 |
| Altri autori (Persone) |
KleinWolfgang <1946 Feb. 3->
LiPing <1962-> |
| Collana | The expression of cognitive categories |
| Soggetto topico |
Grammar, Comparative and general - Temporal constructions
Grammar, Comparative and general - Tense Tense (Logic) Time |
| Soggetto non controllato |
Cognitive Linguistics
Psycholinguistics Semantics Time |
| ISBN |
3-11-173695-4
1-282-42573-0 9786612425738 3-11-019903-3 |
| Classificazione | 17.52 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Front matter -- Contents -- Introduction -- Concepts of time -- How time is encoded -- Temporal anaphora in a tenseless language -- Tenses in compositional semantics -- Temporality in first and second language acquisition -- New perspectives in analyzing aspectual distinctions across languages -- Verb aspect and the mental representation of situations -- Computational modeling of the expression of time -- Back matter |
| Record Nr. | UNINA-9910783098103321 |
| Berlin ; ; New York, : Mouton de Gruyter, c2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Formal semantics and pragmatics for natural languages / edited by F. Guenthner and S. J. Schmidt
| Formal semantics and pragmatics for natural languages / edited by F. Guenthner and S. J. Schmidt |
| Autore | Guenthner, Franz |
| Pubbl/distr/stampa | Boston : D. Reidel Publ. Co., c1979 |
| Descrizione fisica | viii, 378 p. : ill. ; 23 cm. |
| Disciplina | 510 |
| Altri autori (Persone) | Schmidt, Siegfried J. |
| Collana | Synthese language library ; 4 |
| Soggetto topico |
Grammars
Languages-philosophy Logic of natural languages Pragmatics Predicate calculus Semantics Tense (Logic) |
| ISBN | 9027707782 |
| Classificazione | AMS 03B65 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000901859707536 |
Guenthner, Franz
|
||
| Boston : D. Reidel Publ. Co., c1979 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
German temporal semantics : three-dimensional tense logic and a GPSG fragment / / John A. Nerbonne
| German temporal semantics : three-dimensional tense logic and a GPSG fragment / / John A. Nerbonne |
| Autore | Nerbonne John A. <1951-> |
| Pubbl/distr/stampa | London : , : Routledge, , 2016 |
| Descrizione fisica | 1 online resource (295 pages) : illustrations |
| Disciplina | 435 |
| Collana | Routledge Library Editions. Semantics and Semiology |
| Soggetto topico |
German language - Temporal constructions
German language - Semantics German language - Grammar, Generative Tense (Logic) |
| ISBN |
1-315-53702-8
1-134-99234-3 1-134-99227-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910153191003321 |
|
Nerbonne John A. <1951->
|
||
| London : , : Routledge, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Time, tense, and quantifiers [[electronic resource] ] : proceedings of the Stuttgart Conference on the Logic of Tense and Quantification / / ed. by Christian Rohrer
| Time, tense, and quantifiers [[electronic resource] ] : proceedings of the Stuttgart Conference on the Logic of Tense and Quantification / / ed. by Christian Rohrer |
| Edizione | [Reprint 2011] |
| Pubbl/distr/stampa | Tübingen, : Niemeyer, 1980 |
| Descrizione fisica | 1 online resource (432 p.) |
| Disciplina | 415 |
| Altri autori (Persone) | RohrerChristian <1938-> |
| Collana | Linguistische Arbeiten |
| Soggetto topico |
Grammar, Comparative and general - Temporal constructions
Grammar, Comparative and general - Quantifiers Space and time in language Tense (Logic) |
| Soggetto genere / forma | Electronic books. |
| ISBN | 3-11-134606-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Front matter -- Adverbs of frequency / ÅQVIST, LENNHART / HOEPELMAN, JAAP / ROHRER, CHRISTIAN -- Tenses and aspects as functions on verb-phrases / BACH, EMMON -- Points and periods / BENTHEIM, JOHAN VAN -- Verbs, events, and the flow of time / GABBAY, DOV / MORAVCSIK, JULIUS -- On the mass-count distinction and the French imparfait and passé simple / HOEPELMAN, JAAP / ROHRER, CHRISTIAN -- On problems concerning the quantification rules in Montague grammar / JANSSEN, THEO Μ. V. -- Some remarks on the logic of change, Part I / KAMP, HANS -- Interrogative quantifiers / KARTTUNEN, LAURI / PETERS, STANLEY -- Three kinds of linguistic commitment / KASHER, ASA -- A new approach to quantification in natural language / KEENAN, EDWARD L. / FALTZ, LEONARD M. -- On the context-dependence of the progressive in English / KÖNIG, EKKEHARD -- Ordering adverbs like erst, zuvor, darauf; danach etc. as a case of a lexical field / LUTZEIER, PETER ROLF -- Simple present tense / KASHER, ASA / MANOR, RUTH -- Pre-tense. / SCHNELLE, HELTMUT -- Temporal structures in discourse / SMITH, CARLOTA S. -- Finite and non-finite temporal constructions in German / BÄUERLE, RAINER / STECHOW, ARNIM VON |
| Record Nr. | UNINA-9910461977403321 |
| Tübingen, : Niemeyer, 1980 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Time, tense, and quantifiers [[electronic resource] ] : proceedings of the Stuttgart Conference on the Logic of Tense and Quantification / / ed. by Christian Rohrer
| Time, tense, and quantifiers [[electronic resource] ] : proceedings of the Stuttgart Conference on the Logic of Tense and Quantification / / ed. by Christian Rohrer |
| Edizione | [Reprint 2011] |
| Pubbl/distr/stampa | Tübingen, : Niemeyer, 1980 |
| Descrizione fisica | 1 online resource (432 p.) |
| Disciplina | 415 |
| Altri autori (Persone) | RohrerChristian <1938-> |
| Collana | Linguistische Arbeiten |
| Soggetto topico |
Grammar, Comparative and general - Temporal constructions
Grammar, Comparative and general - Quantifiers Space and time in language Tense (Logic) |
| ISBN | 3-11-134606-4 |
| Classificazione | ET 660 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Front matter -- Adverbs of frequency / ÅQVIST, LENNHART / HOEPELMAN, JAAP / ROHRER, CHRISTIAN -- Tenses and aspects as functions on verb-phrases / BACH, EMMON -- Points and periods / BENTHEIM, JOHAN VAN -- Verbs, events, and the flow of time / GABBAY, DOV / MORAVCSIK, JULIUS -- On the mass-count distinction and the French imparfait and passé simple / HOEPELMAN, JAAP / ROHRER, CHRISTIAN -- On problems concerning the quantification rules in Montague grammar / JANSSEN, THEO Μ. V. -- Some remarks on the logic of change, Part I / KAMP, HANS -- Interrogative quantifiers / KARTTUNEN, LAURI / PETERS, STANLEY -- Three kinds of linguistic commitment / KASHER, ASA -- A new approach to quantification in natural language / KEENAN, EDWARD L. / FALTZ, LEONARD M. -- On the context-dependence of the progressive in English / KÖNIG, EKKEHARD -- Ordering adverbs like erst, zuvor, darauf; danach etc. as a case of a lexical field / LUTZEIER, PETER ROLF -- Simple present tense / KASHER, ASA / MANOR, RUTH -- Pre-tense. / SCHNELLE, HELTMUT -- Temporal structures in discourse / SMITH, CARLOTA S. -- Finite and non-finite temporal constructions in German / BÄUERLE, RAINER / STECHOW, ARNIM VON |
| Record Nr. | UNINA-9910785859503321 |
| Tübingen, : Niemeyer, 1980 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
