Bejelentkezés
 Fórum
 
 
Témakiírás
 
Maróti Miklós
Reziduált hálók

TÉMAKIÍRÁS

Intézmény: Szegedi Tudományegyetem
matematika- és számítástudományok
Matematika- és Számítástudományok Doktori Iskola

témavezető: Maróti Miklós
helyszín: 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.

felvehető hallgatók száma: 1

Jelentkezési határidő: 2016-11-30

 
Minden jog fenntartva © 2007, Országos Doktori Tanács - a doktori adatbázis nyilvántartási száma az adatvédelmi biztosnál: 02003/0001. Program verzió: 1.2318 ( 2016. XI. 26. )