Szubstrukturális logikák algebrai és bizonyításelméleti vizsgálata = Algebraic and Proof Theoretic Investigations of Substructural Logics

A kutatás fő eredményei: - Az ""Equality"" algebrák bevezetése (Studia Logica). - A ""strongly involutive uninorm"" algebrák bevezetése és osztályozása, valamint a vonatkozó logika komplexitásának vizsgálata (J Logic and Computation). - Az ""involutive FLe-monoid""-ok algebrai vizsgálata; kúp-reprezentáció és egyes véges láncok osztályozása (Archive for Mathematical Logic). - Az involutív uninormák egy osztályának osztályozása, az itt bevezetett ferde-szimmetrizáció segítségével (J Logic and Computation). - A forgatás konstrukció és az Ábel csoportok kapcsolatának vizsgálata (Fuzzy Sets and Systems). - A reziduált hálók geometriai jellegű vizsgálata (Annals of Pure and Applied Logic). Lektorálás alatt: az ""Elnyelő-folytonos, éles, szubreál láncon értelmezett FLe-algebrák osztályozása"" és a ""Pseudo Equality Algebras"" cikkek. | The scientific achievements of the project are the following: - The introducing of equality algebras (Studia Logica). - The introducing and classifying of strongly involutive uninorm algebras along with complexity issues of the related logic (J Logic and Computation). - Algebraic investigation of involutive FLe-monoids, in particular, conic representation and classification of certain finite chains (Archive for Mathematical Logic). - Structural description of a class of involutive uninorms via inrtoducing skew symmetrization (J Logic and Computation). - An investigation of the link between the rotation-construction and Abelian groups (Fuzzy Sets and Systems). - A geometric flavour study of residuated lattices (Annals of Pure and Applied Logic). - ""Classification of absorbent-continuous sharp FLe-algebras over subreal chains"" and Pseudo Equality Algebras"" (two articles under review

Pseudo-Diagonals and Uniqueness Theorems

We examine a certain type of abelian C*-subalgebras that allow one to give a unified treatment of two uniqueness theorems: for graph C*-algebras and for certain reduced crossed products