Filter
Matematisk logik
Filter
Quantitative thinking is our inclination to view natural and everyday phenomena through a lens of measurable events, with forecasts, odds, predictions, and likelihood playing a …
Hilbert's Programs & Beyond presents the foundational work of David Hilbert in a sequence of thematically organized essays. They first trace the roots of Hilbert's work to the …
This handbook volume covers fundamental topics of semantics in logic and computation. The chapters (some monographic in length), were written following years of co-ordination and …
This book not only discusses cellular automata (CA) as accouterment for simulation, but also the actual building of devices within cellular automata. CA are widely used tools for …
Frege is widely regarded as having set much of the agenda of contemporary analytic philosophy. As standardly read, he meant to introduce--and make crucial contributions to--the …
Neil Tennant presents an original logical system with unusual philosophical, proof-theoretic, metalogical, computational, and revision-theoretic virtues. Core Logic, which lies …
This is the first logically precise, computationally implementable, book-length account of rational belief revision. It explains how a rational agent ought to proceed when adopting …
Does syllogistic logic have the resources to capture mathematical proof? This volume provides the first unified account of the history of attempts to answer this question, the …
The term "e;fuzzy logic,"e; as it is understood in this book, stands for all aspects of representing and manipulating knowledge based on the rejection of the most …
This third edition, now available in paperback, is a follow up to the author's classic Boolean-Valued Models and Independence Proofs in Set Theory,. It provides an exposition of …