TY - JOUR AU - Järvinen, Jouni AU - Radeleczki, Sándor AU - Rivieccio, Umberto TI - Nelson algebras, residuated lattices and rough sets: A survey JF - JOURNAL OF APPLIED NON-CLASSICAL LOGICS J2 - J APPL NON-CLASS LOGICS VL - 34 PY - 2024 IS - 2-3 SP - 368 EP - 428 PG - 61 SN - 1166-3081 DO - 10.1080/11663081.2024.2336386 UR - https://m2.mtmt.hu/api/publication/34831085 ID - 34831085 N1 - A cikk 2023 novemberében elfogadásra került. AB - Over the past 50 years, Nelson algebras have been extensively studied by distinguished scholars as the algebraic counterpart of Nelson’s constructive logic with strong negation. Despite these studies, a comprehensive survey of the topic is currently lacking, and the theory of Nelson algebras remains largely unknown to most logicians. This paper aims to fill this gap by focussing on the essential developments in the field over the past two decades. Additionally, we explore generalisations of Nelson algebras, such as N4-lattices which correspond to the paraconsistent version of Nelson’s logic, as well as their applications to other areas of interest to logicians, such as duality and rough set theory. A general representation theorem states that each Nelson algebra is isomorphic to a subalgebra of a rough set-based Nelson algebra induced by a quasiorder. Furthermore, a formula is a theorem of Nelson logic if and only if it is valid in every finite Nelson algebra induced by a quasiorder. 1. Introduction In 1949, David Nelson introduced constructive logic with strong negation, often called simply Nelson logic. The introduction of Nelson logic was part of a larger effort to provide a constructive account of mathematical reasoning, as evidenced by Nelson’s later papers such as [3, 101]. While the intuitionists focused on the analysis of the notion of truth, Nelson’s proposal sought to provide a formal framework for a constructive analysis of the notion of falsity. Subsequent research since the 1950s has shown that the theory of Nelson logic is in- teresting beyond its original motivations. Helena Rasiowa was among the first scholars to take an interest in the topic, initiating the investigation of algebraic models of Nelson logic, which are now known as N3-lattices or Nelson algebras. More recently, following in Ra- siowa’s footsteps, Sergei Odintsov characterised the algebraic models of the paraconsistent weakening of Nelson logic, which were introduced in [3] and later named as N4-lattices [102, 103]. From the study of these classes of algebras, a rich structure theory has emerged, and interesting connections with other algebraic models of non-classical logics have been discovered. While partial overviews of Nelson logic and its algebraic models can be found in the paper [145] and the second part of the book [107], no comprehensive survey currently exists. We recommend these works to the reader for further historical background. The present work focuses on the recent developments of the last two decades. Since the turn of the twenty-first century, several noteworthy results have emerged in this area that we believe should be consolidated and reviewed in a single publication. Specifically, we are referring to the following: • the extension of the theory of Nelson algebras to the paraconsistent setting of N4- lattices; • recent developments on the representation of N3- and N4-lattices, as well as related algebras such as bilattices, using twist structures; LA - English DB - MTMT ER - TY - JOUR AU - Venczel, Tamás Bence AU - Berényi, László AU - Hriczó, Krisztián TI - Autóipari kockázati tényezők vizsgálati lehetőségei JF - MULTIDISZCIPLINÁRIS TUDOMÁNYOK: A MISKOLCI EGYETEM KÖZLEMÉNYE J2 - MULTIDISZCIPLINÁRIS TUDOMÁNYOK VL - 14 PY - 2024 IS - 1 SP - 20 EP - 32 PG - 13 SN - 2062-9737 DO - 10.35925/j.multi.2024.1.3 UR - https://m2.mtmt.hu/api/publication/34827932 ID - 34827932 AB - Az autóiparban a magas szintű szabványosítás jelentős mértékben hozzájárulhat a gyakori és előre nem látható kockázatok megelőzéséhez. Bár számos kockázatkezelési módszer áll rendelkezésre, hatékony intézkedések megvalósításához elengedhetetlenül fontos az aktuális kihívások megértése. Az autóipar kockázatkezelése egy átfogó mérési és értékelési megközelítést igényel. A kutatás célja a járműipar kockázati tényezőinek feltérképezése, melyhez egy döntéstámogató modell létrehozását tervezzük egy kísérleti tanulmány segítségével. A tanulmány során megvizsgáljuk a rendelkezésre álló módszereket és kiválasztjuk a feladatra ajánlottat. A relatív vélemények a jövőben értékes betekintést nyújthatnak a vállalati szintű kockázatcsökkentési stratégiák kidolgozásához, valamint segíthetnek megérteni az ellátási lánc szintjén jelentkező kihívásokat. LA - Hungarian DB - MTMT ER - TY - JOUR AU - Jakubíková-Studenovská, Danica AU - Pöschel, Reinhard AU - Radeleczki, Sándor TI - Generalized quasiorders and the Galois connection {\textbf {End}}–\varvec{{{\,\textrm{gQuord}\,}}} JF - ALGEBRA UNIVERSALIS J2 - ALGEBR UNIV VL - 85 PY - 2024 IS - 2 SN - 0002-5240 DO - 10.1007/s00012-024-00850-y UR - https://m2.mtmt.hu/api/publication/34824889 ID - 34824889 AB - Equivalence relations or, more general, quasiorders (i.e., reflexive and transitive binary relations) \varrho ϱ have the property that an n -ary operation f preserves \varrho , ϱ , i.e., f is a polymorphism of \varrho , ϱ , if and only if each translation (i.e., unary polynomial function obtained from f by substituting constants) preserves \varrho , ϱ , i.e., it is an endomorphism of \varrho . ϱ . We introduce a wider class of relations—called generalized quasiorders—of arbitrary arities with the same property. With these generalized quasiorders we can characterize all algebras whose clone of term operations is determined by its translations by the above property, what generalizes affine complete algebras. The results are based on the characterization of so-called u-closed monoids (i.e., the unary parts of clones with the above property) as Galois closures of the Galois connection {\textrm{End}} End – {{\,\textrm{gQuord}\,}}, gQuord , i.e., as endomorphism monoids of generalized quasiorders. The minimal u-closed monoids are described explicitly. LA - English DB - MTMT ER - TY - CHAP AU - Körei, Attila AU - Lengyelné Szilágyi, Szilvia ED - Lócska, Orsolya Dóra ED - Herendiné Kónya, Eszter TI - Oktatási robotok integrálása az egyetemi matematikaoktatásba T2 - Matematika és Informatika Didaktikai Kutatások 2024 PB - Debreceni Egyetem Matematika- és Számítástudományok Doktori Iskola CY - Debrecen SN - 9789634905721 PY - 2024 SP - 40 EP - 40 PG - 1 UR - https://m2.mtmt.hu/api/publication/34788783 ID - 34788783 N1 - Készült az RRF-2.3.1-21-2022-00013 azonosítószámú "Társadalmi Innovációs Nemzeti Laboratórium" elnevezésű projektben, Magyarország Helyreállítási és Ellenállóképességi Tervének keretében, az Európai Unió Helyreállítási és Ellenállóképességi Eszközének támogatásával. LA - Hungarian DB - MTMT ER - TY - CHAP AU - Lengyelné Szilágyi, Szilvia AU - Palencsár, Enikő ED - Lócska, Orsolya Dóra ED - Herendiné Kónya, Eszter TI - A JETI didaktikai játék paraméteroptimalizálási folyamata T2 - Matematika és Informatika Didaktikai Kutatások 2024 PB - Debreceni Egyetem Matematika- és Számítástudományok Doktori Iskola CY - Debrecen SN - 9789634905721 PY - 2024 SP - 42 EP - 42 PG - 1 UR - https://m2.mtmt.hu/api/publication/34788758 ID - 34788758 LA - Hungarian DB - MTMT ER - TY - JOUR AU - Hriczó, Krisztián TI - Heat and mass transfer analysis of nano-fluid flows in a non-uniform magnetic field JF - AIP CONFERENCE PROCEEDINGS J2 - AIP CONF PROC VL - 3034 PY - 2024 IS - 1 PG - 6 SN - 0094-243X DO - 10.1063/5.0195090 UR - https://m2.mtmt.hu/api/publication/34772287 ID - 34772287 LA - English DB - MTMT ER - TY - JOUR AU - Iskandar, Alaa AU - Kovács, Béla TI - Investigating the Impact of Curriculum Learning on Reinforcement Learning for Improved Navigational Capabilities in Mobile Robots JF - INTELIGENCIA ARTIFICIAL J2 - Intel Artif VL - 27 PY - 2024 IS - 73 SP - 163 EP - 176 PG - 14 SN - 1137-3601 DO - 10.4114/intartif.vol27iss73pp163-176 UR - https://m2.mtmt.hu/api/publication/34757573 ID - 34757573 LA - English DB - MTMT ER - TY - JOUR AU - L. Kiss, Márton AU - Szita, Klára (Tóthné) AU - Pintér, Judit Mária AU - Kósa, Balázs AU - Veres, Laura TI - Lifecycle Analysis of an Air Quality Sensor JF - ACTA POLYTECHNICA HUNGARICA J2 - ACTA POLYTECH HUNG VL - 21 PY - 2024 IS - 8 SP - 67 EP - 85 PG - 19 SN - 1785-8860 DO - 10.12700/APH.21.8.2024.8.4 UR - https://m2.mtmt.hu/api/publication/34743357 ID - 34743357 AB - Nowadays, it is becoming increasingly important to not only measure environmental impacts, in terms of energy efficiency, but also, in terms of the quality of life. We have developed an outdoor, low-cost environmental sensor that measures airborne dust concentrate and other air parameters. Our goal is to perform high-resolution measurements, based on hundreds of metering devices, to achieve full urban coverage. Using the data measured and collected by the sensors, our second goal is to establish the intelligent building management and settlement management systems and services. As the planned system will consist of hundreds of nodes, its environmental impact and durability cannot be neglected. Therefore, environmental planning is of paramount importance during the development. When developing sensors, it is advisable to focus on the most important factors of ecological design. During the life cycle analysis, the combined environmental impact of the nodes and the network itself, must be examined. © 2024, Budapest Tech Polytechnical Institution. All rights reserved. LA - English DB - MTMT ER - TY - JOUR AU - Pintér, Ákos AU - Rakaczki, Csaba TI - Indecomposability of mixed linear combinations of Bernoulli and Euler polynomials JF - PUBLICATIONES MATHEMATICAE DEBRECEN J2 - PUBL MATH DEBRECEN VL - 104 PY - 2024 IS - 1-4 SP - 159 EP - 170 PG - 12 SN - 0033-3883 DO - 10.5486/PMD.2024.9653 UR - https://m2.mtmt.hu/api/publication/34644444 ID - 34644444 LA - English DB - MTMT ER - TY - JOUR AU - Házy, Attila AU - Makó, Judit TI - Counter-examples concerning Breckner-convexity JF - MATHEMATICAL INEQUALITIES & APPLICATIONS J2 - MATH INEQUAL APPL VL - 27 PY - 2024 IS - 1 SP - 127 EP - 135 PG - 9 SN - 1331-4343 DO - 10.7153/mia-2024-27-09 UR - https://m2.mtmt.hu/api/publication/34557867 ID - 34557867 LA - English DB - MTMT ER -