as well as extensions to modal logic and several substructural logics.

Philosophical motivation

The conception of meaning at the heart of proof-theoretic semantics is most easily made vivid by an everyday example. Asked what Tammy is a vixen means, one does not ordinarily produce a set of objects together with the assignment of an extension to the predicate; one says, rather, that to call Tammy a vixen is to commit oneself to her being female

1.Previous
3.Next