Login
 Forum
 
 
Thesis topic proposal
 
Miklós Maróti
Reziduált hálók

THESIS TOPIC PROPOSAL

Institute: University of Szeged
mathematics and computing
Doctoral School of Mathematics and Computer Science

Thesis supervisor: Miklós Maróti
Location of studies: 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.

Number of students who can be accepted: 1

Deadline for application: 2016-11-30

 
All rights reserved © 2007, Hungarian Doctoral Council. Doctoral Council registration number at commissioner for data protection: 02003/0001. Program version: 1.2318 ( 2016. XI. 26. )