SESSION COMPLETENESS

KEYNOTE SPEAKER
Maria Manzano
University of Salamanca, Spain
"Leon Henkin and the Completeness theorem"

Tomasz Jarmuzek
Department of Logic, Nicolas Copernicus University, Torún, Poland
"Metatheory of tableau systems"

Enrico Moriconi
Dpt pf Philosophy, University of Pisa, Italy
"On the source of the notion of semantic completeness"

Sergey Pavlov
Institute of Philosophy, Academy of Science, Moscow, Russia
"About syntactic analogues to proof of the completeness theorem"

 

Vasil Dinev Penchev
Bulgarian Academy of Sciences, Sofia, Bulgaria
"The quantum strategy of completeness"

Thomas Piecha and Peter Schroeder-Heister
University of Tübingen, Germany
"Atomic systems in proof-theoretic semantics and the problem of completeness"

For co-authored papers, first is the name of the one who will present the talk. Talks are located in a workshop or in a session
Keynote talks= 45 mn / Contributed talks = 30 mn (including discussion in both cases)