A concise introduction to structural proof theory, a branch of logic studying the general structure of logical and mathematical proofs.

"Proof theory is a central area of mathematical logic of special interest to philosophy . It has its roots in the foundational debate of the 1920s, in particula

This introduction to the basic ideas of structural proof theory contains a thorough discussion and comparison of various types of formalization of first-order l

Fuzzy logics are many-valued logics that are well suited to reasoning in the context of vagueness. They provide the basis for the wider field of Fuzzy Logic, en

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