top

  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.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
Essays on non-classical logic [[electronic resource] /] / editor, Heinrich Wansing
Essays on non-classical logic [[electronic resource] /] / editor, Heinrich Wansing
Edizione [1st ed.]
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-9910822665103321
River Edge, N.J., : World Scientific, 2001
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
The expression of time / / edited by Wolfgang Klein, Ping Li
The expression of time / / edited by Wolfgang Klein, Ping Li
Edizione [1st ed.]
Pubbl/distr/stampa Berlin ; ; New York, : Mouton de Gruyter, c2009
Descrizione fisica 1 online resource (284 p.)
Disciplina 415
415.0000000000
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-9910809358703321
Berlin ; ; New York, : Mouton de Gruyter, c2009
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui