Abduction in Context : The Conjectural Dynamics of Scientific Reasoning / / by Woosuk Park |
Autore | Park Woosuk |
Edizione | [1st ed. 2017.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
Descrizione fisica | 1 online resource (XIV, 263 p. 10 illus.) |
Disciplina | 511.31 |
Collana | Studies in Applied Philosophy, Epistemology and Rational Ethics |
Soggetto topico |
Epistemology
Cognitive psychology Logic Artificial intelligence Cognitive Psychology Artificial Intelligence |
ISBN | 9783319489568 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910155274103321 |
Park Woosuk
![]() |
||
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Algebraic and Proof-theoretic Aspects of Non-classical Logics [[electronic resource] ] : Papers in Honor of Daniele Mundici on the Occasion of His 60th Birthday / / edited by S. Aguzzoli, A. Ciabattoni, B. Gerla, C. Manara, V. Marra |
Edizione | [1st ed. 2007.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 |
Descrizione fisica | 1 online resource (VIII, 309 p.) |
Disciplina | 511.31 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Mathematical logic Natural language processing (Computer science) Artificial Intelligence Mathematical Logic and Formal Languages Natural Language Processing (NLP) |
ISBN | 3-540-75939-5 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Many-Valued Non-deterministic Semantics for First-Order Logics of Formal (In)consistency -- Note on Conditional Constructivity -- Symmetric MV-Algebras -- Implicit Operations in MV-Algebras and the Connectives of ?ukasiewicz Logic -- The Algebras of ?ukasiewicz Many-Valued Logic: A Historical Overview -- Reversibility and Irreversibility in Quantum Computation and in Quantum Computational Logics -- Cantor–Bernstein Property for MV-Algebras -- A Note on Representing and Interpreting MV-Algebras -- Towards the Generalization of Mundici’s ? Functor to IMTL Algebras: The Linearly Ordered Case -- Verification by Parallelization of Parametric Code -- Finitely Presented Abelian Lattice-Ordered Groups -- On Fuzzy Theories with Crisp Sentences -- Proof Transformations and Structural Invariance -- Rényi-Ulam Game Semantics for Product Logic and for the Logic of Cancellative Hoops -- Notes on Strong Completeness in ?ukasiewicz, Product and BL Logics and in Their First-Order Extensions -- The Automorphism Group of Falsum-Free Product Logic -- Probability Theory on IF Events. |
Record Nr. | UNISA-996465408303316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Algebraic and Proof-theoretic Aspects of Non-classical Logics : Papers in Honor of Daniele Mundici on the Occasion of His 60th Birthday / / edited by S. Aguzzoli, A. Ciabattoni, B. Gerla, C. Manara, V. Marra |
Edizione | [1st ed. 2007.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 |
Descrizione fisica | 1 online resource (VIII, 309 p.) |
Disciplina | 511.31 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Mathematical logic Natural language processing (Computer science) Artificial Intelligence Mathematical Logic and Formal Languages Natural Language Processing (NLP) |
ISBN | 3-540-75939-5 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Many-Valued Non-deterministic Semantics for First-Order Logics of Formal (In)consistency -- Note on Conditional Constructivity -- Symmetric MV-Algebras -- Implicit Operations in MV-Algebras and the Connectives of ?ukasiewicz Logic -- The Algebras of ?ukasiewicz Many-Valued Logic: A Historical Overview -- Reversibility and Irreversibility in Quantum Computation and in Quantum Computational Logics -- Cantor–Bernstein Property for MV-Algebras -- A Note on Representing and Interpreting MV-Algebras -- Towards the Generalization of Mundici’s ? Functor to IMTL Algebras: The Linearly Ordered Case -- Verification by Parallelization of Parametric Code -- Finitely Presented Abelian Lattice-Ordered Groups -- On Fuzzy Theories with Crisp Sentences -- Proof Transformations and Structural Invariance -- Rényi-Ulam Game Semantics for Product Logic and for the Logic of Cancellative Hoops -- Notes on Strong Completeness in ?ukasiewicz, Product and BL Logics and in Their First-Order Extensions -- The Automorphism Group of Falsum-Free Product Logic -- Probability Theory on IF Events. |
Record Nr. | UNINA-9910484043703321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Ice sheets [[electronic resource] ] : dynamics, formation and environmental concerns / / Jonas Muller and Luka Koch, editors |
Pubbl/distr/stampa | Hauppauge, NY, : Nova Science Publisher's, Inc., c2012 |
Descrizione fisica | 1 online resource (224 p.) |
Disciplina | 511.31 |
Altri autori (Persone) |
MüllerJonas Adrian <1968->
KochLuka |
Collana | Earth sciences in the 21st century |
Soggetto topico |
Ice sheets
Glaciers |
Soggetto genere / forma | Electronic books. |
ISBN | 1-61942-373-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
""ICE SHEETS: DYNAMICS, FORMATION AND ENVIRONMENTAL CONCERNS""; ""ICE SHEETS: DYNAMICS, FORMATION AND ENVIRONMENTAL CONCERNS""; ""Library of Congress Cataloging-in-Publication Data""; ""CONTENTS""; ""PREFACE""; ""Chapter 1: ICE SHEET DYNAMICS: OCEANS TRAPPED ON LAND""; ""NORTHERN HEMISPHERE""; ""SOUTHERN HEMISPHERE""; ""REFERENCES""; ""Chapter 2: STRATIGRAPHY, PALEOENVIRONMENTSAND PROVENANCE OF LATE PLEISTOCENEGLACIAL SEDIMENTS IN THE SOUTHEASTERNGREAT LAKES REGION:IMPLICATIONSFOR ICE SHEET DYNAMICS""; ""ABSTRACT""; ""INTRODUCTION""; ""STUDY AREA AND GEOLOGIC SETTING""
""MATERIALS AND METHODS""""STRATIGRAPHY""; ""LITHOFACIES ANALYSIS""; ""PROVENANCE ANALYSIS""; ""INTERPRETATION""; ""DISCUSSION""; ""CONCLUSION""; ""ACKNOWLEDGMENTS""; ""REFERENCES""; ""Chapter 3: UNITED STATES CONTRIBUTION TO ANTARCTICGLACIOLOGY: A PERSONAL PERSPECTIVE""; ""ABSTRACT""; ""INTRODUCTION""; ""1950 - 1960""; ""1960 - 1970""; ""1970 - 1980""; ""1980 - 1990""; ""1990 - 2000""; ""2000 - 2010""; ""ACKNOWLEDGMENTS""; ""Chapter 4: GREENLAND ICE SHEET DYNAMICS AND GLACIALEARTHQUAKE ACTIVITIES""; ""ABSTRACT""; ""INTRODUCTION""; ""CRYOSEISMIC SIGNALS IN POLAR REGION"" ""ICE SHEET DYNAMICS IN GREENLAND""""GLACIAL EARTHQUAKES""; ""STATISTICS ON SEISMICITY""; ""ICE SHEET MONITORING NETWORK""; ""CONCLUSION""; ""ACKNOWLEDGMENTS""; ""REFERENCES""; ""Chapter 5: MODELING THE ANTARCTIC ICE SHEETAND ICE SHELVES: ASSESSING THE EFFECTSOF UNCERTAINTY ON THE MODELPARAMETERS BY SENSITIVITY ANALYSIS""; ""1. Introduction""; ""2. The Model""; ""2.1. Basic equations for the ice sheet""; ""2.2. Basic equations for the ice shelf""; ""2.3. Boundary conditions""; ""2.4. Numerical model""; ""2.5. Input data of the model""; ""2.6. Output of the model"" ""3. The Sensitivity Analysis""""3.1. Definition of sensitivity indices""; ""3.2. Control variables and model outcomes""; ""4. Results""; ""4.1. Results of the model""; ""4.2. Results of the sensitivity analysis""; ""5. Conclusion""; ""Acknowledgments""; ""References""; ""Chapter 6: IMPLICATIONS OF COMPLEX GLACIALDEPOSITS FOR TILL GEOCHEMICAL EXPLORATION:EXAMPLES FROM THE CENTRALFENNOSCANDIAN ICE SHEET""; ""ABSTRACT""; ""INTRODUCTION""; ""GEOLOGICAL SETTINGS""; ""METHODS IN SURFICIAL GEOLOGICAL EXPLORATION""; ""GLACIGENIC DEPOSITION""; ""TILL GEOCHEMISTRY AND HEAVYMINERALS IN EXPLORATION"" ""CONCLUSION""""REFERENCES""; ""Chapter 7: THE FORMER TIBETAN ICE SHEET""; ""ABSTRACT""; ""1. THE PLANETARY AND HYPSOMETRIC CHANGE OF FORMS IN ITSIMPORTANCE FOR THE GLOBAL GLACIER DISTRIBUTION""; ""2. THE INTERFERENCE OF SNOWLINE AND RELIEF""; ""3. THE ENERGETIC DIFFERENCE BETWEEN ICE COVERS IN HIGHAND LOW LATITUDES""; ""4. THE THEORETICAL FRAME-CONDITIONS OF A COVERING INLANDICE (ICE SHEET) ON THE TIBETAN HIGH PLATEAU""; ""5. QUATERNARY-GEOMORPHOLOGICAL AND GEOLOGICAL FIELDANDSEDIMENTOLOGICAL LABORATORY FINDINGS IN THE TIBETANHIGH PLATEAU AND ITS FRINGING MOUNTAINS"" ""6. THE LACK OF GLACIAL END MORAINES ON THETIBETAN PLATEAU"" |
Record Nr. | UNINA-9910452899103321 |
Hauppauge, NY, : Nova Science Publisher's, Inc., c2012 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Ice sheets [[electronic resource] ] : dynamics, formation and environmental concerns / / Jonas Muller and Luka Koch, editors |
Pubbl/distr/stampa | Hauppauge, NY, : Nova Science Publisher's, Inc., c2012 |
Descrizione fisica | 1 online resource (224 p.) |
Disciplina | 511.31 |
Altri autori (Persone) |
MüllerJonas Adrian <1968->
KochLuka |
Collana | Earth sciences in the 21st century |
Soggetto topico |
Ice sheets
Glaciers |
ISBN | 1-61942-373-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
""ICE SHEETS: DYNAMICS, FORMATION AND ENVIRONMENTAL CONCERNS""; ""ICE SHEETS: DYNAMICS, FORMATION AND ENVIRONMENTAL CONCERNS""; ""Library of Congress Cataloging-in-Publication Data""; ""CONTENTS""; ""PREFACE""; ""Chapter 1: ICE SHEET DYNAMICS: OCEANS TRAPPED ON LAND""; ""NORTHERN HEMISPHERE""; ""SOUTHERN HEMISPHERE""; ""REFERENCES""; ""Chapter 2: STRATIGRAPHY, PALEOENVIRONMENTSAND PROVENANCE OF LATE PLEISTOCENEGLACIAL SEDIMENTS IN THE SOUTHEASTERNGREAT LAKES REGION:IMPLICATIONSFOR ICE SHEET DYNAMICS""; ""ABSTRACT""; ""INTRODUCTION""; ""STUDY AREA AND GEOLOGIC SETTING""
""MATERIALS AND METHODS""""STRATIGRAPHY""; ""LITHOFACIES ANALYSIS""; ""PROVENANCE ANALYSIS""; ""INTERPRETATION""; ""DISCUSSION""; ""CONCLUSION""; ""ACKNOWLEDGMENTS""; ""REFERENCES""; ""Chapter 3: UNITED STATES CONTRIBUTION TO ANTARCTICGLACIOLOGY: A PERSONAL PERSPECTIVE""; ""ABSTRACT""; ""INTRODUCTION""; ""1950 - 1960""; ""1960 - 1970""; ""1970 - 1980""; ""1980 - 1990""; ""1990 - 2000""; ""2000 - 2010""; ""ACKNOWLEDGMENTS""; ""Chapter 4: GREENLAND ICE SHEET DYNAMICS AND GLACIALEARTHQUAKE ACTIVITIES""; ""ABSTRACT""; ""INTRODUCTION""; ""CRYOSEISMIC SIGNALS IN POLAR REGION"" ""ICE SHEET DYNAMICS IN GREENLAND""""GLACIAL EARTHQUAKES""; ""STATISTICS ON SEISMICITY""; ""ICE SHEET MONITORING NETWORK""; ""CONCLUSION""; ""ACKNOWLEDGMENTS""; ""REFERENCES""; ""Chapter 5: MODELING THE ANTARCTIC ICE SHEETAND ICE SHELVES: ASSESSING THE EFFECTSOF UNCERTAINTY ON THE MODELPARAMETERS BY SENSITIVITY ANALYSIS""; ""1. Introduction""; ""2. The Model""; ""2.1. Basic equations for the ice sheet""; ""2.2. Basic equations for the ice shelf""; ""2.3. Boundary conditions""; ""2.4. Numerical model""; ""2.5. Input data of the model""; ""2.6. Output of the model"" ""3. The Sensitivity Analysis""""3.1. Definition of sensitivity indices""; ""3.2. Control variables and model outcomes""; ""4. Results""; ""4.1. Results of the model""; ""4.2. Results of the sensitivity analysis""; ""5. Conclusion""; ""Acknowledgments""; ""References""; ""Chapter 6: IMPLICATIONS OF COMPLEX GLACIALDEPOSITS FOR TILL GEOCHEMICAL EXPLORATION:EXAMPLES FROM THE CENTRALFENNOSCANDIAN ICE SHEET""; ""ABSTRACT""; ""INTRODUCTION""; ""GEOLOGICAL SETTINGS""; ""METHODS IN SURFICIAL GEOLOGICAL EXPLORATION""; ""GLACIGENIC DEPOSITION""; ""TILL GEOCHEMISTRY AND HEAVYMINERALS IN EXPLORATION"" ""CONCLUSION""""REFERENCES""; ""Chapter 7: THE FORMER TIBETAN ICE SHEET""; ""ABSTRACT""; ""1. THE PLANETARY AND HYPSOMETRIC CHANGE OF FORMS IN ITSIMPORTANCE FOR THE GLOBAL GLACIER DISTRIBUTION""; ""2. THE INTERFERENCE OF SNOWLINE AND RELIEF""; ""3. THE ENERGETIC DIFFERENCE BETWEEN ICE COVERS IN HIGHAND LOW LATITUDES""; ""4. THE THEORETICAL FRAME-CONDITIONS OF A COVERING INLANDICE (ICE SHEET) ON THE TIBETAN HIGH PLATEAU""; ""5. QUATERNARY-GEOMORPHOLOGICAL AND GEOLOGICAL FIELDANDSEDIMENTOLOGICAL LABORATORY FINDINGS IN THE TIBETANHIGH PLATEAU AND ITS FRINGING MOUNTAINS"" ""6. THE LACK OF GLACIAL END MORAINES ON THETIBETAN PLATEAU"" |
Record Nr. | UNINA-9910779527203321 |
Hauppauge, NY, : Nova Science Publisher's, Inc., c2012 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Ice sheets [[electronic resource] ] : dynamics, formation and environmental concerns / / Jonas Muller and Luka Koch, editors |
Edizione | [1st ed.] |
Pubbl/distr/stampa | Hauppauge, NY, : Nova Science Publisher's, Inc., c2012 |
Descrizione fisica | 1 online resource (224 p.) |
Disciplina | 511.31 |
Altri autori (Persone) |
MüllerJonas Adrian <1968->
KochLuka |
Collana | Earth sciences in the 21st century |
Soggetto topico |
Ice sheets
Glaciers |
ISBN | 1-61942-373-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
""ICE SHEETS: DYNAMICS, FORMATION AND ENVIRONMENTAL CONCERNS""; ""ICE SHEETS: DYNAMICS, FORMATION AND ENVIRONMENTAL CONCERNS""; ""Library of Congress Cataloging-in-Publication Data""; ""CONTENTS""; ""PREFACE""; ""Chapter 1: ICE SHEET DYNAMICS: OCEANS TRAPPED ON LAND""; ""NORTHERN HEMISPHERE""; ""SOUTHERN HEMISPHERE""; ""REFERENCES""; ""Chapter 2: STRATIGRAPHY, PALEOENVIRONMENTSAND PROVENANCE OF LATE PLEISTOCENEGLACIAL SEDIMENTS IN THE SOUTHEASTERNGREAT LAKES REGION:IMPLICATIONSFOR ICE SHEET DYNAMICS""; ""ABSTRACT""; ""INTRODUCTION""; ""STUDY AREA AND GEOLOGIC SETTING""
""MATERIALS AND METHODS""""STRATIGRAPHY""; ""LITHOFACIES ANALYSIS""; ""PROVENANCE ANALYSIS""; ""INTERPRETATION""; ""DISCUSSION""; ""CONCLUSION""; ""ACKNOWLEDGMENTS""; ""REFERENCES""; ""Chapter 3: UNITED STATES CONTRIBUTION TO ANTARCTICGLACIOLOGY: A PERSONAL PERSPECTIVE""; ""ABSTRACT""; ""INTRODUCTION""; ""1950 - 1960""; ""1960 - 1970""; ""1970 - 1980""; ""1980 - 1990""; ""1990 - 2000""; ""2000 - 2010""; ""ACKNOWLEDGMENTS""; ""Chapter 4: GREENLAND ICE SHEET DYNAMICS AND GLACIALEARTHQUAKE ACTIVITIES""; ""ABSTRACT""; ""INTRODUCTION""; ""CRYOSEISMIC SIGNALS IN POLAR REGION"" ""ICE SHEET DYNAMICS IN GREENLAND""""GLACIAL EARTHQUAKES""; ""STATISTICS ON SEISMICITY""; ""ICE SHEET MONITORING NETWORK""; ""CONCLUSION""; ""ACKNOWLEDGMENTS""; ""REFERENCES""; ""Chapter 5: MODELING THE ANTARCTIC ICE SHEETAND ICE SHELVES: ASSESSING THE EFFECTSOF UNCERTAINTY ON THE MODELPARAMETERS BY SENSITIVITY ANALYSIS""; ""1. Introduction""; ""2. The Model""; ""2.1. Basic equations for the ice sheet""; ""2.2. Basic equations for the ice shelf""; ""2.3. Boundary conditions""; ""2.4. Numerical model""; ""2.5. Input data of the model""; ""2.6. Output of the model"" ""3. The Sensitivity Analysis""""3.1. Definition of sensitivity indices""; ""3.2. Control variables and model outcomes""; ""4. Results""; ""4.1. Results of the model""; ""4.2. Results of the sensitivity analysis""; ""5. Conclusion""; ""Acknowledgments""; ""References""; ""Chapter 6: IMPLICATIONS OF COMPLEX GLACIALDEPOSITS FOR TILL GEOCHEMICAL EXPLORATION:EXAMPLES FROM THE CENTRALFENNOSCANDIAN ICE SHEET""; ""ABSTRACT""; ""INTRODUCTION""; ""GEOLOGICAL SETTINGS""; ""METHODS IN SURFICIAL GEOLOGICAL EXPLORATION""; ""GLACIGENIC DEPOSITION""; ""TILL GEOCHEMISTRY AND HEAVYMINERALS IN EXPLORATION"" ""CONCLUSION""""REFERENCES""; ""Chapter 7: THE FORMER TIBETAN ICE SHEET""; ""ABSTRACT""; ""1. THE PLANETARY AND HYPSOMETRIC CHANGE OF FORMS IN ITSIMPORTANCE FOR THE GLOBAL GLACIER DISTRIBUTION""; ""2. THE INTERFERENCE OF SNOWLINE AND RELIEF""; ""3. THE ENERGETIC DIFFERENCE BETWEEN ICE COVERS IN HIGHAND LOW LATITUDES""; ""4. THE THEORETICAL FRAME-CONDITIONS OF A COVERING INLANDICE (ICE SHEET) ON THE TIBETAN HIGH PLATEAU""; ""5. QUATERNARY-GEOMORPHOLOGICAL AND GEOLOGICAL FIELDANDSEDIMENTOLOGICAL LABORATORY FINDINGS IN THE TIBETANHIGH PLATEAU AND ITS FRINGING MOUNTAINS"" ""6. THE LACK OF GLACIAL END MORAINES ON THETIBETAN PLATEAU"" |
Record Nr. | UNINA-9910819627503321 |
Hauppauge, NY, : Nova Science Publisher's, Inc., c2012 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Iterated inductive definitions and subsystems of analysis : recent proof-theoretical studies. / / Wilfried Buchholz [and three others] |
Autore | Buchholz Wilfried <1948-> |
Edizione | [1st ed. 1981.] |
Pubbl/distr/stampa | Berlin : , : Springer-Verlag, , [1981] |
Descrizione fisica | 1 online resource (VIII, 384 p.) |
Disciplina | 511.31 |
Collana | Lecture notes in mathematics |
Soggetto topico | Induction (Mathematics) |
ISBN | 3-540-38649-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Inductive definitions and subsystems of analysis -- Proof theoretic equivalences between classical and constructive theories for analysis -- Inductive definitions, constructive ordinals, and normal derivations -- The ??+1-Rule -- Ordinal analysis of ID? -- Proof-theoretical analysis of ID? by the method of local predicativity. |
Record Nr. | UNISA-996466513003316 |
Buchholz Wilfried <1948->
![]() |
||
Berlin : , : Springer-Verlag, , [1981] | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|