Constructive Provability Logic

20.08.2002 - 19.02.2004
Research funding project

People

Project leader

Institute

Grant funds

  • European Commission (EU) 6.FP: MOBILITY - Human resources and mobility Marie-Curie Grants 6.Rahmenprogramm für Forschung European Commission - Framework Programme European Commission Application number 10383

Keywords

GermanEnglish
BeweisbarkeitslogikProvability Logic
Konstruktive Logikconstructive logic
Grundlagenforschungbasic research

Publications