Filter by
Harmony and Paradox: Intensional Aspects of Proof-Theoretic Semantics
This open access book investigates the role played by identity of proofs in proof-theoretic semantics. It develops a conception of proof-theoretic semantics as primarily concerned with the relationship between proofs (understood as abstract entities) and derivations (the linguistic representations of proofs). It demonstrates that identity of proof is a key both to clarify some —still not whol…
- Edition
- 1
- ISBN/ISSN
- 9783031469213
- Collation
- XV, 184
- Series Title
- -
- Call Number
- -
Glocal Governance : How to Govern in the Anthropocene?
This open access book develops a conceptual framework for glocal governance as a multi-stakeholder local governance approach based on global human rights norms and democratic principles. It discusses glocal governance as part of an ongoing global transformation process that began in the 1990s, when democracy and individualizing responsibilities for governance became the dominant political syste…
- Edition
- -
- ISBN/ISSN
- 978-3-031-02108-4
- Collation
- X, 135
- Series Title
- SpringerBriefs in Political Science (BRIEFSPOLITICAL)
- Call Number
- 350 GLO
The Logical Writings of Karl Popper
This open access book is the first ever collection of Karl Popper's writings on deductive logic. Karl R. Popper (1902-1994) was one of the most influential philosophers of the 20th century. His philosophy of science ("falsificationism") and his social and political philosophy ("open society") have been widely discussed way beyond academic philosophy. What is not so well known is that Poppe…
- Edition
- 1
- ISBN/ISSN
- 978-3-030-94926-6
- Collation
- XXIV, 552
- Series Title
- -
- Call Number
- -
Advances in Proof-Theoretic Semantics
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 paradoxes, proof-theoretic foundations of set theory, Du…
- Edition
- Ed. 1
- ISBN/ISSN
- 978-3-319-22686-6
- Collation
- VI, 283
- Series Title
- Trends in Logic
- Call Number
- 511.3 ADV a
Political Islam and Religiously Motivated Political Extremism : An Internatio…
This open access book presents an international comparison of religiously motivated extremism in the Arab world and around the globe. Based on data from the Arab Barometer and the World Values Survey, it applies advanced statistical techniques to analyze how religiously motivated political extremism affects political and social outcomes as well as political violence. The study clearly shows tha…
- Edition
- -
- ISBN/ISSN
- 978-3-031-24854-2
- Collation
- XXIV, 88
- Series Title
- SpringerBriefs in Political Science (BRIEFSPOLITICAL)
- Call Number
- 320 TAU p
Proceedings of the 10th Hydrogen Technology Convention, Volume 1: WHTC 2023, …
This open access book highlights the latest advances in fundamental research, technologies and applications of hydrogen energy and fuel cells. In recent years, energy conversion between electricity and hydrogen energy has attracted increasing attention as a way to adjust the load of the grid. This book discusses and exchanges cutting-edge findings and technological developments in fields such a…
- Edition
- 1
- ISBN/ISSN
- 9789819986316
- Collation
- XI, 499
- Series Title
- -
- Call Number
- -
Green Infrastructure and Climate Change Adaptation : Function, Implementation…
This open access book introduces the function, implementation and governance of green infrastructure in Japan and other countries where lands are geologically fragile and climatologically susceptible to climate change. It proposes green infrastructure as an adaptation strategy for climate change and biodiversity conservation. In the face of climate change, dams, levees and floodways built as…
- Edition
- -
- ISBN/ISSN
- 978-981-16-6791-6
- Collation
- XII, 506
- Series Title
- Ecological Research Monographs (ECOLOGICAL)
- Call Number
- 570 GRE
Long-Term Ecosystem Changes in Riparian Forests
This open access book presents and analyzes the results of more than 30 years of long-term ecological research in riparian forest ecosystems with the aim of casting light on changes in the dynamics of riparian forests over time. The research, focusing on the Ooyamazawa riparian forest, one of the remaining old-growth forests in Japan, has yielded a number of interesting outcomes. First, it show…
- Edition
- -
- ISBN/ISSN
- 978-981-15-3009-8
- Collation
- VIII, 234
- Series Title
- Ecological Research Monographs (ECOLOGICAL)
- Call Number
- 570 LON
Beyond Data : Human Rights, Ethical and Social Impact Assessment in AI
This open access book focuses on the impact of Artificial Intelligence (AI) on individuals and society from a legal perspective, providing a comprehensive risk-based methodological framework to address it. Building on the limitations of data protection in dealing with the challenges of AI, the author proposes an integrated approach to risk assessment that focuses on human rights and encompasses…
- Edition
- -
- ISBN/ISSN
- 978-94-6265-531-7
- Collation
- XXIII, 200
- Series Title
- Information Technology and Law Series
- Call Number
- 001 MAN b
Theoretical and Experimental Studies on Steady-State Microbunching
This open access book is devoted to the theoretical and experimental studies of a novel accelerator light source mechanism called steady-state microbunching (SSMB) which promises high-power, high-repetition rate, narrow-band coherent radiation in an electron storage ring. The contribution of this dissertation consists of three parts: first, answers the question of how to realize SSMB from a bea…
- Edition
- -
- ISBN/ISSN
- 978-981-99-5800-9
- Collation
- XII, 160
- Series Title
- Springer Theses (Springer Theses)
- Call Number
- 530 DEN t
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography