Szubstrukturális logikák algebrai és bizonyításelméleti vizsgálata  részletek

súgó  nyomtatás 
vissza »

 

Projekt adatai

 
azonosító
76811
típus K
Vezető kutató Jenei Sándor
magyar cím Szubstrukturális logikák algebrai és bizonyításelméleti vizsgálata
Angol cím Algebraic and Proof Theoretic Investigations of Substructural Logics
magyar kulcsszavak szubstrukturális logikák, algebraizáció, reziduális hálók, bizonyításelmélet
angol kulcsszavak substructural logics, algebraization, residuated lattices, proof theory
megadott besorolás
Matematika (Matematikai, Fizikai, Kémiai és Mérnöki Tudományok)100 %
Ortelius tudományág: Matematikai logika
zsűri Matematika–Számítástudomány
Kutatóhely Matematikai és Informatikai Intézet (Pécsi Tudományegyetem)
projekt kezdete 2009-01-01
projekt vége 2012-12-31
aktuális összeg (MFt) 3.600
FTE (kutatóév egyenérték) 1.80
állapot lezárult projekt
magyar összefoglaló
A kutatás céljai a következő négy pontban foglalhatók össze:

1. A szubstrukturális logikák elméletében az algebrai és a bizonyításelméleti módszerek kölcsönös kapcsolatának vizsgálata a fenti két disciplina mélyebb megértése érdekében.
2. A matematikai fuzzy logikák vizsgálata a szubstrukturális logikák elméletében frissen kifejlesztett módszerek segítségével. Ezen felül különböző balról-folytonos t-norma-osztályok algebrai karakterizációja.
3. Fordítva, a pályázó geometriai módszerének kiterjesztése matematikai fuzzy logikák elméletéről a szubstrukturális logikák elméletére.
4. A szubstrukturális logikák területén elért eredmények alkalmazása a játékelmélet és a számításelmélet területén, ideértve mesterséges intelligenciai és számítógépes alkalmazásokat.
angol összefoglaló
The goal of the proposed research covers the following topics:

1. Developing a study of interrelations between algebraic methods and proof-theoretic methods in substructural logics in order to obtain a deeper understanding of these two disciplines.
2. A study of mathematical fuzzy logics in relation to substructural logics, based on results and techniques developed recently in the study of substructural logics. In addition, finding algebraic characterizations of different subclasses of left-continuous t-norms.
3. Conversely, extending the geometric approach, developed in mathematical fuzzy logics by the applicant, to substructural logics.
4. Applications of results on substructural logics to both game theory and information science, including Artificial Intelligence and Software Engineering.





 

Zárójelentés

 
kutatási eredmények (magyarul)
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.
kutatási eredmények (angolul)
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)
a zárójelentés teljes szövege https://www.otka-palyazat.hu/download.php?type=zarobeszamolo&projektid=76811
döntés eredménye
igen





 

Közleményjegyzék

 
S. Jenei, F. Montagna: Strongly Involutive Uninorm Algebras, JOURNAL OF LOGIC AND COMPUTATION, 2013
S. Jenei: Equality Algebras, Studia Logica 100, 1201-1209, 2012
S. Jenei, H. Ono: On involutive FLe-monoids, ARCHIVE FOR MATHEMATICAL LOGIC 51:(7) pp. 719-738, 2012
S. Jenei: Structural description of a class of involutive uninorms via skew symmetrization, Journal of Logic and Computation, 21:(5) pp. 729-737., 2011
S. Jenei: On the relationship between the rotation construction and ordered Abelian groups, Fuzzy Sets and Systems 161 (2010), 277–284., 2010
S. Jenei: Erratum "On the reflection invariance of residuated chains, Annals of Pure and Applied Logic 161 (2009) 220-227", Annals of Pure and Applied Logic 161, pp. 1603-1604 (DOI: 10.1016/j.apal.2010.06.002), 2010
S. Jenei: On the reflection invariance of residuated chains, Annals of Pure and Applied Logic 161 (2009) 220–227., 2009
S. Jenei: Construction Methods for Uninorms via Rotation, Rotation-Annihilation, and Twin Rotation, In: S. Greco, B. Bouchon-Meunier, G. Coletti, M. Fedrizzi, B. Matarazzo, RR Yager (szerk.) Proc. IPMU2012 pp 251-260., 2012
S. Jenei, L. Kóródi: On the variety of equality algebras, Proceedings of EUSFLAT 2011, 2011
S. Jenei, F. Montagna: Two new classification theorems on residuated monoids, 33rd Linz Seminar on Fuzzy Set Theory (Enriched Category Theory and Related Topics), pp. 34-40., 2012
S. Jenei: Classification Results on Residuated Lattices, 1084th AMS Meeting, Akron, Amerikai Egyesült Államok, 2012




vissza »