77 research outputs found
Amalgamation in classes of involutive commutative residuated lattices
The amalgamation property and its variants are in strong relationship with
various syntactic interpolation properties of substructural logics, hence its
investigation in varieties of residuated lattices is of particular interest.
The amalgamation property is investigated in some classes of non-divisible,
non-integral, and non-idempotent involutive commutative residuated lattices in
this paper. It is proved that the classes of odd and even totally ordered,
involutive, commutative residuated lattices fail the amalgamation property. It
is also proved that their subclasses formed by their idempotent-symmetric
algebras have the amalgamation property but fail the strong amalgamation
property. Finally, it is shown that the variety of semilinear,
idempotent-symmetric, odd, involutive, commutative residuated lattices has the
amalgamation property, and hence also the transferable injections property
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
A categorical equivalence for odd or even involutive FL-chains
We exhibit a categorical equivalence between the class of odd or even
involutive FL-chains and a class of direct systems of abelian -groups.
Restricting this equivalence only to odd or only to even involutive
FL-chains or to further subclasses thereof (e.g., to Sugihara chains)
yields further categorical equivalences.Comment: arXiv admin note: text overlap with arXiv:2012.1418
Hungarian Battery Production – Public Opinion on Sustainability, Labor Market and the Environmental Protection
Transportation in the 20th century was linked to hydrocarbons. The first steps of the transition to electric propulsion are currently underway. Technical experts are still debating whether this is the ideal solution while producing the batteries required for the method has begun. One of the main areas of high-speed industrialization is Hungary. The government's intention is clear, primarily to increase GDP and create jobs. The population knows that jobs can only be filled by foreign, immigrant workers and is extremely worried about possible accidents during production and destruction. The research aims to explore the opinions in detail and examine the possibilities of approximating different positions. This quantitative study found that the respondents would like to live at an unrealistically large distance from such facilities. Many people want the battery factories to be banned or the investments to be stopped, and the fact that very few people are informed from the literature plays a significant role. The greatest fear is experienced among the middle-aged, and we justify our findings with social facts and negative events. In order to resolve the tensions, it is recommended to educate the masses on the one hand, and on the other hand, stricter control, and more significant sanctions. These methods ensure that negotiations between the population, civil organizations, and companies end with a compromise created by a debate supported by arguments in civilized conditions
- …