Proof-theoretical and Algebraic Study of Nonclassical Logics

01.07.2008 - 30.06.2010
Research funding project

People

Project leader

Project personnel

Institute

Grant funds

  • European Commission (EU) FP7 III. PEOPLE (Marie Curie Actions) 7.Rahmenprogramm für Forschung European Commission - Framework Programme European Commission Call identifier FP7-PEOPLE-2007-2-1-IEF Application number 219376

Research focus

  • Computational Intelligence: 100%

Publications