Adam Přenosil získal JUNIOR STAR grant

Od ledna příštího roku podpoří Grantová agentura ČR (GA ČR) osmnáct nových projektů JUNIOR STAR. Jedním z příjemců grantu je Adam Přenosil z Ústavu informatiky AV ČR.

[ [list] ]

Vysoce výběrová soutěž je určena pro excelentní vědkyně a vědce na začátku kariéry, kteří do České republiky přicházejí ze zahraničí nebo mají významnou zahraniční zkušenost. Díky finanční podpoře jim umožňuje vybudovat nový vědecký tým a zaměřit se na nové oblasti výzkumu.

Adam Přenosil získal podporu GA ČR na projekt "Algebraizace logiky prvního řádu", jehož cílem je vyvinout algebraický nástroj pro studium neklasické logiky prvního řádu analogický ke stávající teorii výroku AAL a aplikovat jej na konkrétní neklasickou logiku prvního řádu, s cílem dokázat např. interpolaci a Bethou definovatelnost.