Seems you have not registered as a member of localhost.saystem.shop!
You may have to register before you can download all our books and magazines, click the sign up button below to create a free account.
Topological Duality for Distributive Lattices
Introducing Stone–Priestley duality theory and its applications to logic and theoretical computer science, this book equips graduate students and researchers with the theoretical background necessary for reading and understanding current research in the area. After giving a thorough introduction to the algebraic, topological, logical, and categorical aspects of the theory, the book covers two advanced applications in computer science, namely in domain theory and automata theory. These topics are at the forefront of active research seeking to unify semantic methods with more algorithmic topics in finite model theory. Frequent exercises punctuate the text, with hints and references provided.
Cosmopolitan Strangers in US Latinx Literature and Culture
This book presents a study of the figure of the stranger in US Latinx literary and cultural forms, ranging from contemporary novels through essays to film and transborder art activism. The focus on this abject figure is twofold: first, to explore its potential to expose the processes of othering to which Latinxs are subjected; and, second, to foreground its epistemic response to neocolonial structures and beliefs. Thus, this book draws on relevant sociological literature on the stranger to unveil the political and social processes behind the recognition of Latinxs as ‘out of place.’ On the other hand, and most importantly, this volume follows the path of neo-cosmopolitan approaches to bring to the fore processes of interrelatedness, interaction, and conviviality that run counter to criminalizing discourses around Latinxs. Through an engagement with these theoretical tenets, the goal of this book is to showcase the role of the Latinx stranger as a cosmopolitan mediator that transforms walls into bridges.
Hiroakira Ono on Substructural Logics
This volume is dedicated to Hiroakira Ono life’s work on substructural logics. Chapters, written by well-established academics, cover topics related to universal algebra, algebraic logic and the Full Lambek calculus; the book includes a short biography about Hiroakira Ono. The book starts with detailed surveys on universal algebra, abstract algebraic logic, topological dualities, and connections to computer science. It further contains specialised contributions on connections to formal languages (recognizability in residuated lattices and connections to the finite embedding property), covering systems for modal substructural logics, results on the existence and disjunction properties and finally a study of conservativity of expansions. This book will be primarily of interest to researchers working in algebraic and non-classical logic.
Logics and Falsifications
This volume examines the concept of falsification as a central notion of semantic theories and its effects on logical laws. The point of departure is the general constructivist line of argument that Michael Dummett has offered over the last decades. From there, the author examines the ways in which falsifications can enter into a constructivist semantics, displays the full spectrum of options, and discusses the logical systems most suitable to each one of them. While the idea of introducing falsifications into the semantic account is Dummett's own, the many ways in which falsificationism departs quite radically from verificationism are here spelled out in detail for the first time. The volum...
Neurath Reconsidered
This highly readable book is a collection of critical papers on Otto Neurath (1882-1945). It comprehensively re-examines Neurath’s scientific, philosophical and educational contributions from a range of standpoints including historical, sociological and problem-oriented perspectives. Leading Neurath scholars disentangle and connect Neurath’s works, ideas and ideals and evaluate them both in their original socio-historical context and in contemporary philosophical debates. Readers will discover a new critical understanding. Drawing on archive materials, essays discuss not only Neurath’s better-known works from lesser-known perspectives, but also his lesser-known works from the better-kn...
Dual Tableaux: Foundations, Methodology, Case Studies
This book presents logical foundations of dual tableaux together with a number of their applications both to logics traditionally dealt with in mathematics and philosophy (such as modal, intuitionistic, relevant, and many-valued logics) and to various applied theories of computational logic (such as temporal reasoning, spatial reasoning, fuzzy-set-based reasoning, rough-set-based reasoning, order-of magnitude reasoning, reasoning about programs, threshold logics, logics of conditional decisions). The distinguishing feature of most of these applications is that the corresponding dual tableaux are built in a relational language which provides useful means of presentation of the theories. In this way modularity of dual tableaux is ensured. We do not need to develop and implement each dual tableau from scratch, we should only extend the relational core common to many theories with the rules specific for a particular theory.
The Modern Gothic and Literary Doubles
The Modern Gothic and Literary Doubles is concerned with Gothic representations of London in the late 19th century. Establishing that a modern Gothic literary mode relocates the traditional rural Gothic to the late 19th century metropolis, this volume explores the cultural history of London in the 19th century. The subsequent discussion of the Gothic fictions of Stevenson, Wilde and Wells offers new perspectives from which to assess the impact of contemporary perceptions of London as a Gothicized space on the works of these novelists.
Electronic Government
This book constitutes the proceedings of the 20th IFIP WG 8.5 International Conference on Electronic Government, EGOV 2021, held in Granada, Spain, in September 2021, in conjunction with the IFIP WG 8.5 IFIP International Conference on Electronic Participation (ePart 2021) and the International Conference for E-Democracy and Open Government Conference (CeDEM 2021). The 23 full papers presented were carefully reviewed and selected from 63 submissions. The papers are clustered under the following topical sections: digital transformation; digital services and open government; open data: social and technical perspectives; smart cities; and data analytics, decision making, and artificial intelligence. Chapters "Perceived and Actual Lock-in Effects Amongst Swedish Public Sector Organisations when Using a SaaS Solution" and "Ronda: Real-time Data Provision, Processing and Publication for Open Data" are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
