07/10/2004
Valeri Plisko (Moscow State University)
Predicate logics of constructive theories

In the talk the author's results in investigating constructive logic are presented. Among them:

1. a successive approach to constructing the constructive logic and its results;
2. lower and upper bound of arithmetic complexity of the predicate logics of arithmetic theories based on various variants of constructive semantics (recursive realizability, modified realizability, Goedel's interpretation).