Filter
Matematisk logik
Filter
The main idea behind this book is to encourage readers to approach mathematical domains from a functional programming perspective: to identify the main functions and types involved …
We look at problems of truth and knowledge from various angles. Insufficient information may prevent the direct use of certain operations, as the use of probability in legal …
Oiva Ketonen (1913--2000) was the closest to a student the creator of modern proof theory Gerhard Gentzen ever had. Their encounter took place in 1938--39 in G ttingen, with …
This book honors J. Michael Dunn, who was a preeminent relevance logician. Dunn's careerspanned over 50 years and his research results had an impact on philosophy, mathematics and …
This title is part of UC Press's Voices Revived program, which commemorates University of California Press’s mission to seek out and cultivate the brightest minds and give them …
Ever since antiquity, philosophers have recognized that truth comes in many "modes", so that a proposition may not only be true or false, but also e.g. "necessary" or "possible". …
This volume contains papers based on invited lectures from the 16th International Congress of Logic, Methodology and Philosophy of Science and Technology, descriptions of congress …
Using a unique pedagogical approach, this text introduces mathematical logic by guiding students in implementing the underlying logical concepts and mathematical proofs via Python …
In these essays Geoffrey Hellman presents a strong case for a healthy pluralism in mathematics and its logics, supporting peaceful coexistence despite what appear to be …