Fermilab Core Computing Division
Library Home | Ask a Librarian library@fnal.gov | Book Catalog | Library Journals | Requests | SPIRES | Fermilab Documents |
Fermilab Library |
Call number: | SPRINGER-2014-9789400775480:ONLINE Show nearby items on shelf |
Title: | Advances in Natural Deduction [electronic resource] : A Celebration of Dag Prawitz's Work |
Author(s): |
Luiz Carlos Pereira Edward Hermann Haeusler Valeria de Paiva |
Date: | 2014 |
Publisher: | Dordrecht : Springer Netherlands : Imprint: Springer |
Size: | 1 online resource |
Note: | This collection of papers celebrating the contributions of Swedish logician Dag Prawitz to Proof Theory, has been assembled from those presented at the Natural Deduction conference organized in Rio de Janeiro to honour hisseminal research. Dag Prawit zs work forms the basis of intuitionistic type theory and his inversion principle constitutes the foundation of most modern accounts of proof-theoretic semantics in Logic, Linguistics andTheoretical Computer Science. The range of contributions includes ma terial on the extension of natural deduction with higher-order rules, as opposed to higher-order connectives, and a paper discussing the application of naturaldeduction rules to dealing with equality in predicate calculus. The volume continues with a key chapter summarizing work on the extension of the Curry-Howard isomorphism (itself a by-product of the work on natural deduction), viamethods of category theory that have been successfully applied to linear logic, as well as many other contributions from h ighly regarded authorities. With an illustrious group of contributors addressing a wealth of topics andapplications, this volume is a valuable addition to the libraries of academics in the multiple disciplines whose development has been given added scope by the methodologies supplied by natural deduction. The volume is representative ofthe rich and varied directions that Prawitz work has inspired in the area of natural deduction. |
Contents: | Chapter 1. Generalizaed elimination inferences Schroeder |
Heister, Peter | |
Chapter 2. Revisiting Zucker's work on the Correspondence between Cut | |
Elimination and Normalisation Urban, Christian | |
Chapter 3. Proofs, Reasoning and the Metamorphosis of Logic Joinet, Jean | |
Baptiste | |
Chapter 4. Natural Deduction for Equality: The Missing Entity de Quieroz, Ruy J.G.B. and de Oliveira, Anjolina G | |
Chapter 5. Proof | |
theoretical Conception of Logic Legris, Javier | |
Chapter 6. On the Structure of Natural deduction Derivations for Generally Vana, Leonardo B., Veloso, Paulo A.S. , and Veloso, Sh | |
ISBN: | 9789400775480 |
Series: | eBooks |
Series: | SpringerLink |
Series: | Trends in Logic, Studia Logica Library, 1572-6126 : v39 |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Philosophy (General) , Logic , Computer science , Logic, Symbolic and mathematical |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2013-9783642328176:ONLINE Show nearby items on shelf |
Title: | Complexity Perspectives on Language, Communication and Society [electronic resource] |
Author(s): |
ngels Massip-Bonet Albert Bastardas-Boada |
Date: | 2013 |
Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer |
Size: | 1 online resource |
Note: | Springer e-book platform |
Note: | Springer 2013 e-book collections |
Note: | The language-communication-society triangle defies traditional scientific approaches. Rather, it is a phenomenon that calls for an integration of complex, transdisciplinary perspectives, if we are to make any progress inunderstanding how it works. Th e highly diverse agents in play are not merely cognitive and/or cultural, but also emotional and behavioural in their specificity. Indeed, the effort may require building a theoretical and methodologicalbody of knowledge that can effectively convey the ch aracteristic properties of phenomena in human terms. New complexity approaches allow us to rethink our limited and mechanistic images of human societies and create more appropriateemo-cognitive dynamic and holistic models. We have to enter into dialogue w ith the complexity views coming out of other more material sciences, but we also need to take steps in the linguistic and psycho-sociological fieldstowards creating perspectives and concepts better fitted to human characteristics. Our understanding of com plexity is different but not opposed to the one that is more commonly found in texts written by people working inphysics or computer science, for example. The goal of this book is to extend the knowledge of these other more human or socially oriented pe rspectives on complexity, taking account of the language and communication singularitiesof human agents in society. |
Note: | Springer eBooks |
Contents: | Introduction |
Facing complexity: Prediction vs. adaptation | |
Sociolinguistics: Towards a complex ecological view | |
Language as a Complex Adaptive System: Towards an Integrative Linguistics | |
An experientially | |
based informationless communication | |
Conversation as emergent function | |
Communication situations: A dialogic quiz? | |
Education, emotion, complexity | |
Minds and screens. Communication and socialization from a complexity perspective | |
Self | |
organization in communicating groups: The emergence of coordination, shared references and collective intelligence | |
General linguistic | |
ISBN: | 9783642328176 |
Series: | e-books |
Series: | SpringerLink (Online service) |
Series: | Understanding Complex Systems, 1860-0832 |
Series: | Physics and Astronomy (Springer-11651) |
Keywords: | Engineering |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2013-9781461467298:ONLINE Show nearby items on shelf |
Title: | Dynamics On and Of Complex Networks, Volume 2 [electronic resource] : Applications to Time-Varying Dynamical Systems |
Author(s): |
Animesh Mukherjee Monojit Choudhury Fernando Peruani Niloy Ganguly Bivas Mitra |
Date: | 2013 |
Publisher: | New York, NY : Springer New York : Imprint: Birkhuser |
Size: | 1 online resource |
Note: | Springer e-book platform |
Note: | Springer 2013 e-book collections |
Note: | This self-contained book systematically explores the statistical dynamics on and of complex networks with a specialfocus on time-varying networks. In the constantly changing modern world, there is an urgent need to understandproblems related to syste ms that dynamically evolve in either structure or function, or both. Thiswork is an attempt to address such problems in the framework of complex networks. Dynamics on and of Complex Networks, Volume 2:Applications to Time-Varying Dynamical Systems is a co llection of surveys and cutting-edge research contributions exploring key issues, challenges, and characteristics of dynamical networks that emerge in various complex systems.Toward this goal, the work is thematically organized into three main sections wi th the primary thrust on time-varying networks: Part I studies social dynamics Part II focuses on community identification and Part III illustratesdiffusion processes. The contributed chapters in this volume are intended to promote cross-fertilization in several research areas and will be valuable to newcomers in the field, experienced researchers, practitioners, and graduatestudents interested in pursuing research in dynamical networks with applications to computer science, statistical physics, nonlinear dynamics, linguistics, and the social sciences. This volume follows Dynamics On and Of ComplexNetworks: Applications to Biology, Computer Science, and the Social Sciences (2009), ISBN 978-0-8176-4750-6 |
Note: | Springer eBooks |
Contents: | Part I: Social and Biological Dynamics |
Part II: Information Dynamics | |
Part III: Theoretical Advancements | |
ISBN: | 9781461467298 |
Series: | e-books |
Series: | SpringerLink (Online service) |
Series: | Modeling and Simulation in Science, Engineering and Technology, 2164-3679 |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Mathematics , Computer network architectures , Telecommunication |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2011-9780817647896:ONLINE Show nearby items on shelf |
Title: | Structural Analysis of Complex Networks [electronic resource] |
Author(s): |
Matthias Dehmer |
Date: | 2011 |
Publisher: | Boston : Birkhuser Boston |
Size: | 1 online resource |
Note: | Springer e-book platform |
Note: | Springer 2013 e-book collections |
Note: | Because of the increasing complexity and growth of real-world networks, their analysis by using classical graph-theoretic methods is oftentimes a difficult procedure. As a result, there is a strong need to combine graph-theoreticmethods with mathemat ical techniques from other scientific disciplines, such as machine learning and information theory, in order to analyze complex networks more adequately. Filling a gap in literature, this self-contained bookpresents theoretical and application-oriented re sults to structurally explore complex networks. The work focuses not only on classical graph-theoretic methods, but also demonstrates the usefulness of structural graph theory as a toolfor solving interdisciplinary problems. Special emphasis is given to m ethods related to the following areas: * Applications to biology, chemistry, linguistics, and data analysis * Graph colorings * Graph polynomials * Informationmeasures for graphs * Metrical properties of graphs * Partitions and decompositions * Quantitati ve graph measures Structural Analysis of Complex Networks is suitable for a broad, interdisciplinary readership of researchers,practitioners, and graduate students in discrete mathematics, statistics, computer science, machine learning, artificial intelli gence, computational and systems biology, cognitive science, computational linguistics, and mathematicalchemistry. The book may be used as a supplementary textbook in graduate-level seminars on structural graph analysis, complex networks, or network-based machine learning methods |
Note: | Springer eBooks |
Contents: | Preface |
A Brief Introduction to Complex Networks and Their Analysis | |
Partitions of Graphs | |
Distance in Graphs | |
Domination in Graphs | |
Spectrum and Entropy for Infinite Directed Graphs | |
Application of Infinite Labeled Graphs to Symbolic Dynamical Systems | |
Decompositions and Factorizations of Complete Graphs | |
Geodetic Sets in Graphs | |
Graph Polynomials and Their Applications I: The Tutte Polynomial | |
Graph Polynomials and Their Applications II: Interrelations and Interpretations | |
Reconstruction Problems for Graphs, Krawtchouk Polynomials, and Diophantine Equations | |
Subgraph | |
ISBN: | 9780817647896 |
Series: | e-books |
Series: | SpringerLink (Online service) |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Mathematics , Computer Communication Networks , Computational complexity , Data mining , Bioinformatics , Combinatorics |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2009-9781402089268:ONLINE Show nearby items on shelf |
Title: | Logicism, Intuitionism, and Formalism [electronic resource] : What has Become of Them? |
Author(s): |
Sten Lindstrm Erik Palmgren Krister Segerberg Viggo Stoltenberg-Hansen |
Date: | 2009 |
Publisher: | Dordrecht : Springer Netherlands |
Size: | 1 online resource |
Note: | Springer e-book platform |
Note: | Springer 2013 e-book collections |
Note: | The period in the foundations of mathematics that started in 1879 with the publication of Frege's Begriffsschrift and ended in 1931 with Gdel's ber formal unentscheidbare Stze der Principia Mathematica und verwandterSysteme I can reasonably be called the classical period. It saw the development of three major foundational programmes: the logicism of Frege, Russell and Whitehead, the intuitionism of Brouwer, and Hilbert's formalist andproof-theoretic programme. In this period, there were also lively e xchanges between the various schools culminating in the famous Hilbert-Brouwer controversy in the 1920s. The purpose of this anthology is to review the programmes inthe foundations of mathematics from the classical period and to assess their possible rele vance for contemporary philosophy of mathematics. What can we say, in retrospect, about the various foundational programmes of the classicalperiod and the disputes that took place between them? To what extent do the classical programmes of logicism, intui tionism and formalism represent options that are still alive today? These questions are addressed in this volume byleading mathematical logicians and philosophers of mathematics. The volume will be of interest primarily to researchers and graduate student s of philosophy, logic, mathematics and theoretical computer science. The material will beaccessible to specialists in these areas and to advanced graduate students in the respective fields |
Note: | Springer eBooks |
Contents: | From the contents Preface. Notes On The Contributors. Introduction |
I. Logicism And Neo | |
Logicism | |
II. Intuitionism And Constructive Mathematics | |
III. Formalism | |
Index | |
ISBN: | 9781402089268 |
Series: | e-books |
Series: | SpringerLink (Online service) |
Series: | Synthese Library, Studies In Epistemology. Logic, Methodology, and Philosophy of Science : v341 |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Mathematics , Genetic epistemology , Logic , Ontology , Linguistics Philosophy , Mathematics_$xHistory , Logic, Symbolic and mathematical |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2003-9789401703956:ONLINE Show nearby items on shelf |
Title: | Foundations of the Formal Sciences II Applications of Mathematical Logic in Philosophy and Linguistics, Papers of a Conference held in Bonn, November 10–13, 2000 |
Author(s): | |
Date: | 2003 |
Size: | 1 online resource (302 p.) |
Note: | 10.1007/978-94-017-0395-6 |
Contents: | The Diversity of Models in Statistical Mechanics: Views about the Structure of Scientific Theories -- Mathematical Logic and Natural Language: Life at the border -- Bayesian Networks in Philosophy. -- An Application of Circular |
Definitions: Rational Decision -- Two-Dimensionalism and the Metaphysical Possibility of Zombies -- Topics in Reverse Mathematics -- The Logic of Intensional Predicates -- The So-Called Materially Valid Inferences and the Logic of | |
Concepts. -- Analysis and Design from a Viewpoint of Information Flow -- Features in Phonological Theory -- New Semantics for Modal Predicate Logics. -- What is Input/Output Logic? -- The Gupta-Belnap Fixed-Point Problem and the Theory | |
of Clones of Functions -- Situated Reasoning in Time about Time -- Generic Ontology of Linguistic Classification -- Techniques and Methods of Science from a Structuralist Point of View -- Proof Theory and Formal Grammars: Applications | |
of Normalization -- World Travelling and Mood Swings -- Synchrony and Composition: Toward a Cognitive Architecture between Classicism and Connectionism -- References | |
ISBN: | 9789401703956 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Trends in Logic, Studia Logica Library: 17 |
Keywords: | Philosophy , Logic , Philosophy and science , Linguistics , Philosophy , Logic , Theoretical Linguistics , Philosophy of Science |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1999-9781461217664:ONLINE Show nearby items on shelf |
Title: | The Language of Physics The Calculus and the Development of Theoretical Physics in Europe, 1750–1914 |
Author(s): |
Elizabeth Garber |
Date: | 1999 |
Size: | 1 online resource (399 p.) |
Note: | 10.1007/978-1-4612-1766-4 |
Contents: | I: Introduction -- Mathematics and Modern Physics -- Modern Physics -- Earlier Historical Approaches to Modern Physics -- Mathematics as Language -- Organization of the Text -- I: Eighteenth-Century Science -- II: Vibrating Strings |
and Eighteenth-Century Mechanics -- III: Eighteenth-Century Physics and Mathematics: A Reassessment -- II: Transitions, 1790–1830 -- IV: “Empirical Literalism”: Mathematical Versus Experimental Physics in France, 1790–1830 -- V: On the | |
Margins: Experimental Physics and Mathematics in the German States, 1790–1830 -- VI: On the Margins: Experimental Philosophy and Mathematics in Britain, 1790–1830 -- III: Transformations, 1830–1870 -- VII: From Natural Philosophy and | |
“Mixed Mathematics” to Theoretical and Experimental Physics: Britain, 1830–1870 -- VIII: Physics and Mathematics in the German States, 1830–1870 -- IV: Conclusions and Epilogue -- IX: Physics About 1870 and the “Decline” of French | |
Physics -- X: Epilogue: Forging New Relationships: 1870–1914 | |
ISBN: | 9781461217664 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Keywords: | Physics , History , Mathematics , Historical linguistics , Physics , Physics, general , History of Science , History and Philosophical Foundations of Physics , Historical Linguistics , History of Mathematical Sciences , Mathematical Methods in Physics |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1996-9783642799990:ONLINE Show nearby items on shelf |
Title: | From Data to Knowledge Theoretical and Practical Aspects of Classification, Data Analysis, and Knowledge Organization |
Author(s): | |
Date: | 1996 |
Size: | 1 online resource (472 p.) |
Note: | 10.1007/978-3-642-79999-0 |
Contents: | Plenary and Semi Plenary Presentations -- Advances in Cluster Analysis Relevant to Marketing Research -- Representation of Statistical Structures, Classification and Prediction Using Multidimensional Scaling -- Null Models in Cluster |
Validation -- Classifying Space and Analysing the Consequences: Spatial Analysis of Health Data -- An Ordinal Model for Cluster Analysis — 15 Years in Retrospect -- An Overview and Recent Developments in Dual Scaling -- Gibbs Sampling | |
in AR Models with Random Walk Priors -- Finding the Edge of a Poisson Forest with Inside and Outside Observations: The Discriminant Analysis Point of View -- Spatial Fibre and Surface Processes — Stereologicai Estimations and | |
Applications -- Robustizing Mixture Analysis Using Model Weighting -- Evaluation of the First Life Table Published in 1888 in Japan -- Classification Related Results and Other Aspects of Data Analysis -- Incomplete Data Matrices and | |
Tests on Randomly Missing Data -- Valuations and Hierarchizations -- Recent Developments in Multimode Clustering -- Gaussian Neural Networks Applied to the Cluster Analysis Problem -- Graph-Theoretic Models for Testing the Homogeneity | |
of Data -- Least Squares Multidimensional Scaling with Transformed Distances -- Alternatives to Configurai Frequency Analysis -- Clustering Methods in Fuzzy Control -- The Excess Mass Approach and the Analysis of Multi-Modality -- Mode | |
Extraction by Multivaiue Morphology for Cluster Analysis -- On the Longest Edge of the Minimal Spanning Tree -- Detection of Blocks in a Binary Matrix — A Bayesian Approach -- Spatial Data Analysis -- Detection of Spatial | |
Discontinuities in Vegetation Data by a Moving Window Algorithm -- Spatial Clustering of Neurons by Hypergeometric Disjoint Statistics -- A New Approach of Regionalisation by Classifying Hydrological Quantities -- The | |
Index-of-Dispersion Test Revisited -- Comparing Spatio-Temporal Patterns from Defaunization Experiments in Marine Ecology -- Applications in Economics -- A Unifying Approach to Benefit Segmentation and Product Line Design Based on Rank | |
Order Conjoint Data -- Classification and Representation Using Conjoint Data -- Overlapping Clustering of Statistical Software Packages for PC -- Scenario Analysis with BASICS — Testing the Representativity of the Results of the | |
Dynamic Probability Adjustment of Scenario Components with the Help of Classification Methods -- Analysis of Sales Data: A Neural Net Approach -- Applications in Linguistics -- On the Definition of Inflection -- Computer-Aided Analysis | |
of Vocabulary Acquisition -- Features and Tags -- Semanticaily Based Universal Definitions of Grammatical Agreement and Agreement Domain Universals: A Critical Evaluation -- Towards a Hypermedia, Multilingual, On-Line Resource System | |
for LSP Users/Learners -- Applications in Medicine and Biology -- A New Methodologic Look at Describing the Performance of Diagnostic Classification Procedures in Medicine -- Xmed-DD: From Document Processing to Systematic Information | |
Storage -- Ribosomai RNA Phylogeny Derived from a Correlation Model of Sequence Evolution -- SALBIDH2 — Modifications of the LBI-Method for Automated Lexicon-Based Indexing of Diagnoses -- Record Linkage of Anonymous Data by Control | |
Numbers -- Information Systems and Knowledge Organization -- Processing Partial Information in Decision Support Systems -- Consistency Conditions for the Classification in LIS/CI -- Using Hypertext for Information Retrieval in | |
STEP/EXPRESS Schemata -- Two Software Tools Supporting Enduser Oriented Information Retrieval in Physics -- From Verbal Data to Practical Knowledge | |
ISBN: | 9783642799990 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Keywords: | Mathematics , Applied mathematics , Engineering mathematics , Probabilities , Economic theory , Mathematics , Applications of Mathematics , Economic Theory/Quantitative Economics/Mathematical Methods , Probability Theory and Stochastic Processes |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1978-9781468425321:ONLINE Show nearby items on shelf |
Title: | Recent Advances in the Psychology of Language Formal and Experimental Approaches |
Author(s): | |
Date: | 1978 |
Size: | 1 online resource (432 p.) |
Note: | 10.1007/978-1-4684-2532-1 |
Contents: | of Volume 4B -- Section I: Formal Approaches -- Learning the Syntax of Questions -- Semantics and Language Acquisition: Some Theoretical Considerations -- Empirical Question About Developmental Psycholinguistics Raised By a Theory of |
Language Acquisition -- The Interplay of Semantic and Surface Structure Acquisition -- Predictive Understanding -- Sentence Construction By a Psychologically Plausible Formulator -- A Computational Model of Discourse Production -- | |
Structure and Use of Verbs of Motion -- Verbs of Judging and Acts of Judging -- A Programmatic Theory of Linguistic Performance -- On the Re-integration of Linguistics and Psychology -- Language Acquisition as the Addition of Verbal | |
Routines -- Syntax and Semantics for the Psycholinguist -- Syntax and Semantics of Relative Clauses -- Section II: Sentence Comprehension and Production -- Foreground and Background Information in Reasoning -- Anaphora: A Problem in | |
Text Comprehension -- Sentence Comprehension Processes in the Pre-Schooler -- Reference as a Speech Art: An Argument for Studying the Listener -- Gesture and Silence as Indicators of Planning in Speech -- Section III: Phonology -- | |
Sound Patterns and Spelling Patterns in English -- Children’s Knowledge of Selected Aspects of Sound Pattern of English -- “Environmental Invariants” and the Prosodic Aspects of Reversed Speech -- Implications of Studying Reduced | |
Consonant Clusters in Normal and Abnormal Child Speech -- Contributors -- Author Index | |
ISBN: | 9781468425321 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | NATO Conference Series : 4b |
Keywords: | Linguistics , Psycholinguistics , Experiential research , Linguistics , Psycholinguistics , Psychology Research |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Return to the Fermilab Library catalog