This volume contains papers presented at an international workshop. It gives an overview of vario...

Proof theory has long been established as a basic discipline of mathematical logic. It has recent...

This book constitutes the refereed proceedings of the 5th International Workshop on Extensions of...

This volume contains papers presented at the secondinternational workshopon extensions of logic...

This volume is the first ever collection devoted to the field of proof-theoretic semantics. Contr...

This open access book is the first ever collection of Karl Popper's writings on deductive logic.

The 14th International Congress of Logic, Methodology and Philosophy of Science was held on July ...

This volume is the first ever collection devoted to the field of proof-theoretic semantics. Contr...

This open access book is the first ever collection of Karl Popper's writings on deductive logic.