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 | ||
| ||
Essays on non-classical logic / / editor, Heinrich Wansing
| Essays on non-classical logic / / 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 | ||
| ||
Negation [[electronic resource] ] : a notion in focus / / edited by Heinrich Wansing
| Negation [[electronic resource] ] : a notion in focus / / edited by Heinrich Wansing |
| Edizione | [Reprint 2010] |
| Pubbl/distr/stampa | Berlin ; ; New York, : W. de Gruyter, 1996 |
| Descrizione fisica | 1 online resource (280 p.) |
| Disciplina | 160 |
| Altri autori (Persone) | WansingH (Heinrich) |
| Collana | Perspectives in analytical philosophy =Perspektiven der analytischen Philosophie |
| Soggetto topico |
Negation (Logic)
Judgment (Logic) |
| Soggetto genere / forma | Electronic books. |
| ISBN | 3-11-087680-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Front matter -- PART I: NEGATION IN PHILOSOPHICAL LOGIC -- Generalized Ortho Negation / DUNN, J. MICHAEL -- Order-Duality, Negation and Lattice Representation / HARTONAS, CHRYSAFIS -- Necessary Conditions for Negation Operators / LENZEN, WOLFGANG -- External, Restricted External, and Internal Negations in a Two-Dimensional Logic / MAX, INGOLF -- Negation and Relevance / STELZNER, WERNER -- PART II: NEGATION IN LINGUISTICS -- Categorial Grammars with Negative Information / BUSZKOWSKI, WOJCIECH -- Negative Concord and 'Mode of Judgement' / LADUSAW, WILLIAM A. -- Litotes and Downward Monotonicity / WOUDEN VAN DER, TON -- A Hierarchy of Negative Expressions / ZWARTS, FRANS -- PART III: NEGATION IN ARTIFICIAL INTELLIGENCE -- The Role of Negation in Nonmonotonic Logic and Defeasible Reasoning / SCHURZ, GERHARD -- Belnap's Epistemic States and Negation-as-Failure / WAGNER, GERD -- Index -- Back matter |
| Record Nr. | UNINA-9910462266603321 |
| Berlin ; ; New York, : W. de Gruyter, 1996 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Negation : a notion in focus / / editor, Heinrich Wansing
| Negation : a notion in focus / / editor, Heinrich Wansing |
| Edizione | [Reprint 2010] |
| Pubbl/distr/stampa | Berlin ; ; New York : , : W. de Gruyter, , 1996 |
| Descrizione fisica | 1 online resource (viii, 270 pages) |
| Disciplina | 160 |
| Altri autori (Persone) | WansingH (Heinrich) |
| Collana | Perspectives in analytical philosophy =Perspektiven der analytischen Philosophie |
| Soggetto topico |
Negation (Logic)
Judgment (Logic) |
| ISBN | 3-11-087680-9 |
| Classificazione | CI 1150 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Front matter -- PART I: NEGATION IN PHILOSOPHICAL LOGIC -- Generalized Ortho Negation / DUNN, J. MICHAEL -- Order-Duality, Negation and Lattice Representation / HARTONAS, CHRYSAFIS -- Necessary Conditions for Negation Operators / LENZEN, WOLFGANG -- External, Restricted External, and Internal Negations in a Two-Dimensional Logic / MAX, INGOLF -- Negation and Relevance / STELZNER, WERNER -- PART II: NEGATION IN LINGUISTICS -- Categorial Grammars with Negative Information / BUSZKOWSKI, WOJCIECH -- Negative Concord and 'Mode of Judgement' / LADUSAW, WILLIAM A. -- Litotes and Downward Monotonicity / WOUDEN VAN DER, TON -- A Hierarchy of Negative Expressions / ZWARTS, FRANS -- PART III: NEGATION IN ARTIFICIAL INTELLIGENCE -- The Role of Negation in Nonmonotonic Logic and Defeasible Reasoning / SCHURZ, GERHARD -- Belnap's Epistemic States and Negation-as-Failure / WAGNER, GERD -- Index -- Back matter |
| Record Nr. | UNINA-9910785815303321 |
| Berlin ; ; New York : , : W. de Gruyter, , 1996 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Negation : a notion in focus / / editor, Heinrich Wansing
| Negation : a notion in focus / / editor, Heinrich Wansing |
| Edizione | [Reprint 2010] |
| Pubbl/distr/stampa | Berlin ; ; New York : , : W. de Gruyter, , 1996 |
| Descrizione fisica | 1 online resource (viii, 270 pages) |
| Disciplina | 160 |
| Altri autori (Persone) | WansingH (Heinrich) |
| Collana | Perspectives in analytical philosophy =Perspektiven der analytischen Philosophie |
| Soggetto topico |
Negation (Logic)
Judgment (Logic) |
| ISBN | 3-11-087680-9 |
| Classificazione | CI 1150 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Front matter -- PART I: NEGATION IN PHILOSOPHICAL LOGIC -- Generalized Ortho Negation / DUNN, J. MICHAEL -- Order-Duality, Negation and Lattice Representation / HARTONAS, CHRYSAFIS -- Necessary Conditions for Negation Operators / LENZEN, WOLFGANG -- External, Restricted External, and Internal Negations in a Two-Dimensional Logic / MAX, INGOLF -- Negation and Relevance / STELZNER, WERNER -- PART II: NEGATION IN LINGUISTICS -- Categorial Grammars with Negative Information / BUSZKOWSKI, WOJCIECH -- Negative Concord and 'Mode of Judgement' / LADUSAW, WILLIAM A. -- Litotes and Downward Monotonicity / WOUDEN VAN DER, TON -- A Hierarchy of Negative Expressions / ZWARTS, FRANS -- PART III: NEGATION IN ARTIFICIAL INTELLIGENCE -- The Role of Negation in Nonmonotonic Logic and Defeasible Reasoning / SCHURZ, GERHARD -- Belnap's Epistemic States and Negation-as-Failure / WAGNER, GERD -- Index -- Back matter |
| Record Nr. | UNINA-9910823351803321 |
| Berlin ; ; New York : , : W. de Gruyter, , 1996 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||