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

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

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

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

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

This volume contains finalized versions of papers presented at an international workshop on exten...

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.K...

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