Fermilab Fermilab Core Computing Division

Library Home |  Ask a Librarian library@fnal.gov |  Book Catalog |  Library Journals |  Requests |  SPIRES |  Fermilab Documents |

Fermilab Library
SPIRES-BOOKS: FIND KEYWORD THEORETICAL LINGUISTICS *END*INIT* use /tmp/qspiwww.webspi1/26221.149 QRY 131.225.70.96 . find keyword theoretical linguistics ( in books using www Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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