témavezető: Maróti Miklós
helyszín (magyar oldal): SZTE TTIK Matematika- és Számítástudományok Doktori Iskola 6720 Szeged, Aradi vértanúk tere 1. helyszín rövidítés: MatDI
A kutatási téma leírása:
A nemklasszikus logika algebrai módszerekkel való vizsgálata természetes módon vezet a reziduált hálókhoz, olyan algebrai struktúrákhoz, amelyek hálók és monoidok is egyben, és teljesítik az ugynevezett reziduális axiómát. Tipikus reziduált hálók a Boole- és Heyting-algebrák, illetve a hálószerűen rendezett csoportok. A téma legújabb érdekes eredményei a hálóelmélet, a logika és a számítástechnika fogalmainak és módszereinek (Gentzen-kalkulus, Dedekind-MacNeille-kiterjesztés, azonosság probléma eldönthetősége, véges model tulajdonság, minimális varietások)együttes alkalmazásával születtek, illetve azok egymáshoz való kapcsolatát vizsgálják.
Bejelentkezés
