Thesis supervisor: Miklós Maróti
Location of studies (in Hungarian): SZTE TTIK Matematika- és Számítástudományok Doktori Iskola 6720 Szeged, Aradi vértanúk tere 1. Abbreviation of location of studies: MatDI
Description of the research topic:
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.