Abstract:
As a rough lower bound for resource usage in classical predicate
logic, I propose the number of disjuncts in a tautologous Herbrand
disjunction.  This leads to an interpretation of propositional,
multiplicative, linear logic.  It turns out that validity in this
interpretation coincides with validity in game semantics.  I plan to
include in my talk the necessary background material, perhaps at
the cost of excluding non-trivial proofs.

Back to Talks Page