This volume is the first ever collection devoted to the field of proof-theoretic semantics. Contributions address topics including the systematics of introducti

This book is a monograph on the topic of Proof-Theoretic Semantics, a theory of meaning constituting an alternative to the more traditional Model-Theoretic Sema

This is a monograph about logic. Specifically, it presents the mathe matical theory of the logic of bunched implications, BI: I consider Bl's proof theory, mode

This book explains how the meanings of the symbols of logic are determined by the rules that govern them.

Provides an original analysis of negation - a central concept of logic - and how to define its meaning in proof-theoretic semantics.