Jenei Sándor (Pécs): Involutív reziduált monoidok
                                egy fajtájának osztályozása

<br><br>
Az előadás fő eredménye az éles, involutiv, kommutatív, teljes,
sűrűn-rendezett, rendezett Lambek-algebrák osztályozása. Ezek 
az algebrák az
algebrai logikában merülnek fel; teljes, sűrűn rendezett 
láncokon megadott
reziduált hálók egy osztálya. Az osztályozás a teljes, 
sűrűn-rendezett,
szeparábilis láncok esetéről szól, de igen valószínű, hogy a 
kapott eredmeny
kiterjeszthető a teljes, sűrűn rendezett (nem szeparábilis) 
alaphalmaz
esetre is. Az osztályozás tekinthető úgy, mint a rendezett 
csoportok
kúpreprezentációjának a lehető legmesszebbi általánosítása. Az 
osztályozás
következménye egy megoldatlan logikai probléma tisztázása is; 
belátjuk, hogy
az IUL-logika (Involutív Uninorm Logic) nem standard teljes. Az 
osztályozási
tétel nagyon gyenge algebrai struktúráról mond sokat, 
felhasználva "nem
algebrai ízű" módszereket is.