Mathematical foundations

This textbook introduces first-order logic and its role in the foundations of mathematics by examining fundamental questions.

This book applies the formal discipline of logic to everyday discourse.

This book presents the latest research, conducted by leading philosophers and scientists from various fields, on the topic of top-down causation.

This book is dedicated to the work of Alasdair Urquhart.

This book is a collection of contributions honouring Arnon Avron's seminal work on the semantics and proof theory of non-classical logics.

This textbook introduces enumerative combinatorics through the framework of formal languages and bijections.

For a brief time in history, it was possible to imagine that a sufficiently advanced intellect could, given sufficient time and resources, in principle understand how to mathematically prove everything that was true.

This book creates a conceptual schema that acts as a correlation between Epistemology and Epistemic Logic.

A compact and easily accessible book, it guides the reader in unravelling the apparent mysteries found in doing mathematical proofs.

This book is dedicated to the life and work of the mathematician Joachim Lambek (1922-2014).

Since its inception, fuzzy logic has attracted an incredible amount of interest, and this interest continues to grow at an exponential rate.

This textbook explores the foundations of real analysis using the framework of general ordered fields, demonstrating the multifaceted nature of the area.

This book features more than 20 papers that celebrate the work of Hajnal Andreka and Istvan Nemeti.

This book offers a gentle introduction to type-2 fuzzy sets and, in particular, interval type-2 fuzzy sets and their application in biological modeling.

Keeping students involved and actively learning is challenging.

This textbook can serve as a comprehensive manual of discrete mathematics and graph theory for non-Computer Science majors; as a reference and study aid for professionals and researchers who have not taken any discrete math course before.

This book delves into finite mathematics and its application in physics, particularly quantum theory.

This contributed volume explores the ways logical skills have been perceived over the course of history.

This third volume continues Richard Routley's explorations of an improved Meinongian account of non-referring and intensional discourse (including joint work with Val Routley, later Val Plumwood).

Computable analysis is the modern theory of computability and complexity in analysis that arose out of Turing's seminal work in the 1930s.

This textbook provides a self-contained introduction to decidability of first-order theories and their combination.

This textbook offers a detailed introduction to the methodology and applications of sequent calculi in propositional logic.

This book considers the manifold possible approaches, past and present, to our understanding of the natural numbers.

This book presents peer-reviewed papers from the 4th International Conference on Applications of Mathematics and Informatics in Natural Sciences and Engineering (AMINSE2019), held in Tbilisi, Georgia, in September 2019.

This undergraduate textbook promotes an active transition to higher mathematics.

This volume is a collection of essays in honour of Professor Mohammad Ardeshir.

This book presents a set theoretical development for the foundations of the theory of atomic and finitely supported structures.

The contributions in this book survey results on combinations of probabilistic and various other classical, temporal and justification logical systems.

This book provides a concise and self-contained introduction to the foundations of mathematics.

This volume presents the state of the art in the algebraic investigation into substructural logics.

Kurt Godel (1906-1978) shook the mathematical world in 1931 by a result that has become an icon of 20th century science: The search for rigour in proving mathematical theorems had led to the formalization of mathematical proofs, to the extent that such proving could be reduced to the application of a few mechanical rules.

This book reports on cutting-edge concepts related to Bourbaki's notion of structures meres.

This volume examines problem solving and applied systems aimed at improving performance and management of organizations.

This book on proof theory centers around the legacy of Kurt Schutte and its current impact on the subject.

This monograph offers a critical introduction to current theories of how scientific models represent their target systems.

This easy-to-understand textbook introduces the mathematical language and problem-solving tools essential to anyone wishing to enter the world of computer and information sciences.

This book presents a philosophy of science, based on panenmentalism: an original modal metaphysics, which is realist about individual pure (non-actual) possibilities and rejects the notion of possible worlds.

This book constitutes the thoroughly revised selected papers from the 16th International Conference on Formal Aspects of Component Software, FACS 2019, held in Amsterdam, The Netherlands, in October 2019.

Probabilistic Safety Assessment (PSA) is a structured, comprehensive, and logical analysis method aimed at identifying and assessing risks in complex technological systems, such as the nuclear power plants.

This textbook offers an extensive list of completely solved problems in mathematical analysis.

In this volume we witness Wittgenstein in the act of composing and experimenting with his new visions in philosophy.

This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2020, held in Deerfield Beach, FL, USA, in January 2020.

This volume provides a broad perspective on the state of the art in the philosophy and conceptual foundations of quantum mechanics.

The chapters in this timely volume aim to answer the growing interest in Arthur Schopenhauer's logic, mathematics, and philosophy of language by comprehensively exploring his work on mathematical evidence, logic diagrams, and problems of semantics.

This edited volume collects essays on the four-valued logic known as Belnap-Dunn logic, or first-degree entailment logic (FDE).

This book presents chapters exploring the most recent developments in the role of technology in proving.

This book presents a detailed treatment of ordinal combinatorics of large sets tailored for independence results.

"e;Tell me,"e; Wittgenstein once asked a friend, "e;why do people always say, it was natural for man to assume that the sun went round the earth rather than that the earth was rotating?

This monograph explores the logical systems of early logicians in the Arabic tradition from a theoretical perspective, providing a complete panorama of early Arabic logic and centering it within an expansive historical context.