Involutive Residuated Lattices, Substructural Logics  Page description

Help  Print 
Back »
 

Details of project

  
Identifier
146701
Type K
Principal investigator Jenei, Sándor
Title in Hungarian Involutív reziduált hálók, szubstrukturális logikák
Title in English Involutive Residuated Lattices, Substructural Logics
Keywords in Hungarian 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ó
Keywords in English involutive residuated lattices, structural description, classification, substructural logics, completeness, decidability, complexity, interpolation
Discipline
Mathematics (Council of Physical Sciences)100 %
Panel Mathematics and Computing Science
Department or equivalent Department of Applied Mathematics (Eszterházy Károly University)
Starting date 2024-01-01
Closing date 2027-12-31
Funding (in million HUF) 8.696
FTE (full time equivalent) 2.60
state running project




Back »