Mathematical logic

This book introduces and develops new algebraic methods to work with relations, often conceived as Boolean matrices, and applies them to topology.

This book examines the role of acts of choice in classical and intuitionistic mathematics.

This book offers an introduction to artificial adaptive systems and a general model of the relationships between the data and algorithms used to analyze them.

This book presents an intuitive picture-oriented approach to the formative processes technique and to its applications.

This book explains exactly what human knowledge is.

This book explores new findings on the long-neglected topic of theory construction and discovery, and challenges the orthodox, current division of scientific development into discrete stages: the stage of generation of new hypotheses; the stage of collection of relevant data; the stage of justification of possible theories; and the final stage of selection from among equally confirmed theories.

While it is well known that the Delian problems are impossible to solve with a straightedge and compass - for example, it is impossible to construct a segment whose length is cube root of 2 with these instruments - the discovery of the Italian mathematician Margherita Beloch Piazzolla in 1934 that one can in fact construct a segment of length cube root of 2 with a single paper fold was completely ignored (till the end of the 1980s).

This volume presents essays by pioneering thinkers including Tyler Burge, Gregory Chaitin, Daniel Dennett, Barry Mazur, Nicholas Humphrey, John Searle and Ian Stewart.

This book constitutes the thoroughly refereed post-conference proceedings of the 23rd IFIP WG 1.

This volume collects nine essays that investigate the work of Gottlob Frege.

This edited volume focuses on the work of Professor Larisa Maksimova, providing a comprehensive account of her outstanding contributions to different branches of non-classical logic.

This book collects, for the first time in one volume, contributions honoring Professor Raymond Smullyan's work on self-reference.

This monograph details several different methods for constructing simple relation algebras, many of which are new with this book.

This book offers a state-of-the-art introduction to the basic techniques and results of neighborhood semantics for modal logic.

This is a collection of new investigations and discoveries on the history of a great tradition, the Lvov-Warsaw School of logic and mathematics, by the best specialists from all over the world.

The first volume of a pair that charts relation algebras from novice to expert level, this text offers a comprehensive grounding for readers new to the topic.

This volume offers a wide range of both reconstructions of Nikolai Vasiliev's original logical ideas and their implementations in the modern logic and philosophy.

The second volume of a pair that charts relation algebras from novice to expert level, this text brings the well-grounded reader to the frontiers of research.

Cyber-physical systems (CPSs) combine cyber capabilities, such as computation or communication, with physical capabilities, such as motion or other physical processes.

This book offers insight into the nature of meaningful discourse.

This volume honours the life and work of Solomon Feferman, one of the most prominent mathematical logicians of the latter half of the 20th century.

This collection documents the work of the Hyperuniverse Project which is a new approach to set-theoretic truth based on justifiable principles and which leads to the resolution of many questions independent from ZFC.

This book focuses on the game-theoretical semantics and epistemic logic of Jaakko Hintikka.

This book, now in a thoroughly revised second edition, provides a comprehensive and accessible introduction to modern set theory.

This book defines a logical system called the Protocol-theoretic Logic of Epistemic Norms (PLEN), it develops PLEN into a formal framework for representing and reasoning about epistemic norms, and it shows that PLEN is theoretically interesting and useful with regard to the aims of such a framework.

This book offers a defense against non-classical approaches to the paradoxes.

This book offers an inspiring and naive view on language and reasoning.

This book deals with the problem of finding suitable languages that can represent specific classes of Petri nets, the most studied and widely accepted model for distributed systems.

This book is an exploration and defense of the coherence of classical theism's doctrine of divine aseity in the face of the challenge posed by Platonism with respect to abstract objects.

This book provides a critical examination of how the choice of what to believe is represented in the standard model of belief change.

This visionary and engaging book provides a mathematical perspective on the fundamental ideas of numbers, space, life, evolution, the brain and the mind.

Now in its third decade, the Colorado Mathematical Olympiad (CMO), founded by the author, has become an annual state-wide competition, hosting many hundreds of middle and high school contestants each year.

This book presents the entire body of thought of Norbert Wiener (1894-1964), knowledge of which is essential if one wishes to understand and correctly interpret the age in which we live.

This monograph looks at causal nets from a philosophical point of view.

The book offers a comprehensive survey of intuitionistic fuzzy logics.

This text covers topics in algebraic geometry and commutative algebra with a strong perspective toward practical and computational aspects.

This book discusses major milestones in Rohit Jivanlal Parikh's scholarly work.

This book argues for a view in which processes of dialogue and interaction are taken to be foundational to reasoning, logic, and meaning.

The aim of this book is to provide an introduction to probability logic-based formalization of uncertain reasoning.

In this book the authors present new results on interpolation for nonmonotonic logics, abstract (function) independence, the Talmudic Kal Vachomer rule, and an equational solution of contrary-to-duty obligations.

This is a collection of new investigations and discoveries on the theory of opposition (square, hexagon, octagon, polyhedra of opposition) by the best specialists from all over the world.

Now in its second edition, this textbook provides an introduction and overview of number theory based on the density and properties of the prime numbers.

This book questions the relevance of computation to the physical universe.

In this book the authors present an alternative set theory dealing with a more relaxed notion of infiniteness, called finitely supported mathematics (FSM).

Gerhard Gentzen is best known for his development of the proof systems of natural deduction and sequent calculus, central in many areas of logic and computer science today.

This book presents a set of historical recollections on the work of Martin Davis and his role in advancing our understanding of the connections between logic, computing, and unsolvability.

This book presents a collection of contributions from related logics to applied paraconsistency.

This book covers work written by leading scholars from different schools within the research area of paraconsistency.

This is a self-contained exposition by one of the leading experts in lattice theory, George Gratzer, presenting the major results of the last 70 years on congruence lattices of finite lattices, featuring the author's signature Proof-by-Picture method.