This book was written to serve as an introduction to logic, with in each chapter – if applicable – special emphasis on the interplay between logic and philosophy, mathematics, language and (theoretical) computer science. The reader will not only be provided with an introduction to classical logic, but to philosophical (modal, epistemic, deontic...
This volume seeks to further the use of formal methods in clarifying one of the central problems of philosophy: that of our free human agency and its place in our indeterministic world. It celebrates the important contributions made in this area by Nuel Belnap, American logician and philosopher.Philosophically, indeterminism and free action can see...
This easy-to-follow textbook/reference presents a concise introduction to mathematical analysis from an algorithmic point of view, with a particular focus on applications of analysis and aspects of mathematical modelling. The text describes the mathematical theory alongside the basic concepts and methods of numerical analysis, enriched by computer ...
This is one of the first books on a newly emerging field of discrete differential geometry and an excellent way to access this exciting area. It surveys the fascinating connections between discrete models in differential geometry and complex analysis, integrable systems and applications in computer graphics. The authors take a closer look at discre...
This book constitutes the proceedings of the 15th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2012, held as part of the joint European Conference on Theory and Practice of Software, ETAPS 2012, which took place in Tallinn, Estonia, in March/April 2012.
The 29 papers presented in this book toget...
'This is an excellent and engaging resource on delusions. The idea that delusions should not be seen as radically different from other beliefs… is an important challenge to much contemporary thinking and practice. It should be of interest to anyone studying delusional beliefs, and to all those who aim to help people who are troubled by them....
This book addresses the age-old problem of infinite regresses in epistemology. How can we ever come to know something if knowing requires having good reasons, and reasons can only be good if they are backed by good reasons in turn? The problem has puzzled philosophers ever since antiquity, giving rise to what is often called Agrippa's Trilemma...
This book studies the foundations of quantum theory through its relationship to classical physics. This idea goes back to the Copenhagen Interpretation (in the original version due to Bohr and Heisenberg), which the author relates to the mathematical formalism of operator algebras originally created by von Neumann. The book therefore includes compr...
This open access book provides innovative methods and original applications of sequence analysis (SA) and related methods for analysing longitudinal data describing life trajectories such as professional careers, family paths, the succession of health statuses, or the time use. The applications as well as the methodological contributions propo...
This book constitutes the proceedings of the 21st International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2018, which took place in Thessaloniki, Greece, in April 2018, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2018.The 31 papers presented in this volume were ca...
This volume describes phase 3 of the AiREAS multidisciplinary cocreation effort to produce a Healthy City. Phase 1 referred to making visible the invisible from an air quality and human exposure perspective. Phase 2 studies air quality related to health and Phase 3 looks at air quality, health and lifestyle from the perspective of persuasion to inn...
This book presents a consistent development of the Kohn-Nirenberg type global quantization theory in the setting of graded nilpotent Lie groups in terms of their representations. It contains a detailed exposition of related background topics on homogeneous Lie groups, nilpotent Lie groups, and the analysis of Rockland operators on graded Lie groups...
Economists have long sought to maximise economic growth, believing this to be their best contribution to improving human welfare. That approach is not sustainable in the face of ongoing issues such as global climate change, environmental damage, rising inequality and enduring poverty. Alternatives must be found.
This book addresses that challenge....
These Proceedings offer a selection of peer-reviewed research and survey papers by some of the foremost international researchers in the fields of finance, energy, stochastics and risk, who present their latest findings on topical problems. The papers cover the areas of stochastic modeling in energy and financial markets; risk management with envir...
This volume is the first ever collection devoted to the field of proof-theoretic semantics. Contributions address topics including the systematics of introduction and elimination rules and proofs of normalization, the categorial characterization of deductions, the relation between Heyting's and Gentzen's approaches to meaning, knowability...
This book provides an extensive treatment of Hardy inequalities and closely related topics from the point of view of Folland and Stein's homogeneous (Lie) groups. The place where Hardy inequalities and homogeneous groups meet is a beautiful area of mathematics with links to many other subjects. While describing the general theory of Hardy, Rel...
This book presents a comprehensive survey of modern operator techniques for boundary value problems and spectral theory, employing abstract boundary mappings and Weyl functions. It includes self-contained treatments of the extension theory of symmetric operators and relations, spectral characterizations of selfadjoint operators in terms of the anal...
This open access book presents the key aspects of statistics in Wasserstein spaces, i.e. statistics in the space of probability measures when endowed with the geometry of optimal transportation. Further to reviewing state-of-the-art aspects, it also provides an accessible introduction to the fundamentals of this current topic, as well as an overvie...
This important textbook has been revised and updated to continue its focus on the link between ethics and economic policy analysis, whilst ensuring that perspectives addressing the moral limits of the market, latest behavioural economics literature, and the changes in inequality over the years are included. Basic philosophical concepts are systemat...
This advanced textbook introduces the main concepts and advances in systems and control theory, and highlights the importance of geometric ideas in the context of possible extensions to the more recent developments in nonlinear systems theory. Although inspired by engineering applications, the content is presented within a strong theoretical framew...
The spread of the Internet into all areas of business activities has put a particular focus on business models. The digitalization of business processes is the driver of changes in company strategies and management practices alike. This textbook provides a structured and conceptual approach, allowing students and other readers to understand the com...
A unified treatment of the most important results in the study of fractional graph concepts, this volume explores the various ways in which integer-valued concepts can be modified to derive nonintegral values. It begins with the general fractional theory of hypergraphs and presents in-depth coverage of fundamental and advanced topics. Subjects incl...
This open book offers a selection of research papers and case studies presented at the 3rd international conference "Smart and Sustainable Planning for Cities and Regions", held in December 2019 in Bolzano, Italy, and explores the concept of smart and sustainable planning, including top contributions from academics, policy makers, consult...
Types are the central organizing principle of the theory of programming languages. Language features are manifestations of type structure. The syntax of a language is governed by the constructs that define its types, and its semantics is determined by the interactions among those constructs. The soundness of a language design - the absence of ill-d...
The purpose of the book is to give a thorough introduction to the methods of model theory for first order logic. Model theory is the branch of logic that deals with mathematical structures and the formal languages they interpret. First order logic is the most important formal language and its model theory is a rich and interesting subject with sign...
The increasing capacity of digital networks and computing power, together with the resulting connectivity and availability of "big data", are impacting financial systems worldwide with rapidly advancing deep-learning algorithms and distributed ledger technologies. They transform the structure and performance of financial markets, the serv...