Mathematical 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.

This book presents the construction and resolution of 50 practical optimization problems and covers an exceptionally wide range, including games-associated problems (Unblock Me, Sudokus), logistical problems, and problems concerning plant distribution, production, operations scheduling, management and resource allocation.

This volume is the first systematic and thorough attempt to investigate the relation and the possible applications of mereology to contemporary science.

In this volume, different aspects of logics for dependence and independence are discussed, including both the  logical and computational aspects of dependence logic, and also applications  in a number of areas, such as statistics, social choice theory, databases, and computer security.

This volume covers a wide range of topics in the most recent debates in the philosophy of mathematics, and is dedicated to how semantic, epistemological, ontological and logical issues interact in the attempt to give a satisfactory picture of mathematical knowledge.

This bookgathers the proceedings of the conference "e;Cultures of Mathematics andLogic,"e; held in Guangzhou, China.

This handbook offers the first comprehensive reference guide to the interdisciplinary field of model-based reasoning.

This is a textbook on proof writing in the area of analysis, balancing a survey of the core concepts of mathematical proof with a tight, rigorous examination of the specific tools needed for an understanding of analysis.

The second edition of this highly praised textbook provides an expanded introduction to the theory of ordered sets and its connections to various subjects.

The aim of this volume is to collect original contributions by the best specialists from the area of proof theory, constructivity, and computation and discuss recent trends and results in these areas.

The book is a collection of contributionsby leading experts, developed around traditional themes discussed at the annualLinz Seminars on Fuzzy Set Theory.

This book celebrates and expands on J.

The book answers long-standing questions on scientific modeling andinference across multiple perspectives and disciplines, including logic,mathematics, physics and medicine.

This book constitutes the thoroughly refereedpost-conference proceedings of the 22nd International Workshop onAlgebraic Development Techniques, WADT 2014, held in September 2014 in Sinaia,Romania.

The prize-winning essays in this book address the fascinating but sometimes uncomfortable relationship between physics and mathematics.