Involutív reziduált hálók, szubstrukturális logikák  részletek

súgó  nyomtatás 
vissza »
 

Projekt adatai

  
azonosító
146701
típus K
Vezető kutató Jenei Sándor
magyar cím Involutív reziduált hálók, szubstrukturális logikák
Angol cím Involutive Residuated Lattices, Substructural Logics
magyar kulcsszavak involutív reziduált hálók, strukturális leírás, osztályozás, szubstrukturális logikák, teljesség, eldönthetőség, bonyolultság, interpoláció
angol kulcsszavak involutive residuated lattices, structural description, classification, substructural logics, completeness, decidability, complexity, interpolation
megadott besorolás
Matematika (Műszaki és Természettudományok Kollégiuma)100 %
zsűri Matematika–Számítástudomány
Kutatóhely Alkalmazott Matematika Tanszék (Eszterházy Károly Katolikus Egyetem)
projekt kezdete 2024-01-01
projekt vége 2027-12-31
aktuális összeg (MFt) 8.696
FTE (kutatóév egyenérték) 2.60
állapot aktív projekt




vissza »