Sökt på: Böcker av Sara Negri
totalt 7 träffar
Structural Proof Theory
Structural proof theory is a branch of logic that studies the general structure and properties of logical and mathematical proofs. This book is both a concise introduction to the …
Mathesis Universalis, Computability and Proof
In a fragment entitled Elementa Nova Matheseos Universalis (1683?) Leibniz writes “the mathesis […] shall deliver the method through which things that are conceivable can be …
Proof Analysis
This book continues from where the authors' previous book, Structural Proof Theory, ended. It presents an extension of the methods of analysis of proofs in pure logic to elementary …
Investigations into the Predicate Calculus
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 …
Advances in Modal Logic, Volume 13
Logic deals with the fundamental notions of truth and falsity. Modal logic arose from the philosophical study of "modes of truth" with the two most common modes being "necessarily …
Proof Analysis
This book continues from where the authors' previous book, Structural Proof Theory, ended. It presents an extension of the methods of analysis of proofs in pure logic to elementary …
Automated Reasoning with Analytic Tableaux and Related Methods
This book constitutes the proceedings of the 30th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2021, held in Birmingham, UK, …