@article { author = {Dvureˇcenskij, A.}, title = {Prof. Antonio Di Nola -- 3/4C?}, journal = {Journal of Algebraic Hyperstructures and Logical Algebras}, volume = {3}, number = {1}, pages = {1-3}, year = {2022}, publisher = {University of Hatef (Hatef College University)}, issn = {2676-6000}, eissn = {2676-6019}, doi = {10.52547/HATEF.JAHLA.3.1.1}, abstract = {This article introduces Professor Di Nola, her life and research.}, keywords = {MV-algebra,Lukasiewicz logic,Fuzzy logic,Di Nola's Representation Theorem}, url = {https://jahla.hatef.ac.ir/article_143309.html}, eprint = {https://jahla.hatef.ac.ir/article_143309_9b0d6ed5457970fbe78a807bd3c68dd7.pdf} } @article { author = {Salounova, D. and Rachunek, J.}, title = {A lattice-theoretical approach to extensions of filters in algebras of substructural logic}, journal = {Journal of Algebraic Hyperstructures and Logical Algebras}, volume = {3}, number = {1}, pages = {5-14}, year = {2022}, publisher = {University of Hatef (Hatef College University)}, issn = {2676-6000}, eissn = {2676-6019}, doi = {10.52547/HATEF.JAHLA.3.1.2}, abstract = {Commutative bounded integral residuated lattices (residutaed lattices, in short) form a large class of algebras containing algebras which are algebraic counterparts of certain propositional fuzzy logics. The paper deals with the so-called extended filters of filters of residuated lattices. It is used the fact that the extended filters of filters associated with subsets coincide with those associated ones with corresponding filters. This makes it possible to investigate the set of all extended filters of residuated lattices within the Heyting algebras of their filters by means of the structural methods of the theory of such algebras.}, keywords = {residuated lattice,Heyting algebra,relative Stone algebra}, url = {https://jahla.hatef.ac.ir/article_136625.html}, eprint = {https://jahla.hatef.ac.ir/article_136625_f93b3b875087b711b5a0c5298ec478ed.pdf} } @article { author = {Georgescu, G.}, title = {New results on Congruence Boolean Lifting Property}, journal = {Journal of Algebraic Hyperstructures and Logical Algebras}, volume = {3}, number = {1}, pages = {15-34}, year = {2022}, publisher = {University of Hatef (Hatef College University)}, issn = {2676-6000}, eissn = {2676-6019}, doi = {10.52547/HATEF.JAHLA.3.1.3}, abstract = {The Lifting Idempotent Property (LIP) of ideals in commutative rings inspired the study of Boolean lifting properties in the context of other concrete algebraic structures (MV-algebras, commutative l-groups, BL-algebras, bounded distributive lattices, residuated lattices, etc.), as well as for some types of universal algebras (C. Muresan and the author defined and studied the Congruence Boolean Lifting Property (CBLP) for congruence modular algebras). A lifting ideal of a ring R is an ideal of R fulfilling LIP. In a recent paper, Tarizadeh and Sharma obtained new results on lifting ideals in commutative rings. The aim of this paper is to extend an important part of their results to congruences with CBLP in semidegenerate congruence modular algebras. The reticulation of such algebra will play an important role in our investigations (recall that the reticulation of a congruence modular algebra A is a bounded distributive lattice L(A) whose prime spectrum is homeomorphic with Agliano's prime spectrum of A). Almost all results regarding CBLP are obtained in the setting of semidegenerate congruence modular algebras having the property that the reticulations preserve the Boolean center. The paper contains several properties of congruences with CBLP. Among the results we mention a characterization theorem of congruences with CBLP. We achieve various conditions that ensure CBLP. Our results can be applied to a lot of types of concrete structures: commutative rings, l-groups, distributive lattices, MV-algebras, BL-algebras, residuated lattices, etc. }, keywords = {Commutator operation,semidegenerate congruence modular algebras,prime congruences,reticulation,Boolean center,congruence Boolean lifting property}, url = {https://jahla.hatef.ac.ir/article_139297.html}, eprint = {https://jahla.hatef.ac.ir/article_139297_aac4bc40cc73c2b01a3d3a4de6936d8c.pdf} } @article { author = {Dvureˇcenskij, A.}, title = {A short note on categorical equivalences of proper weak pseudo EMV-algebras}, journal = {Journal of Algebraic Hyperstructures and Logical Algebras}, volume = {3}, number = {1}, pages = {35-44}, year = {2022}, publisher = {University of Hatef (Hatef College University)}, issn = {2676-6000}, eissn = {2676-6019}, doi = {10.52547/HATEF.JAHLA.3.1.4}, abstract = {We study the class of weak pseudo EMV-algebras without top element that are a non-commutative generalization of MV-algebras, pseudo MV-algebras and generalized Boolean algebras. We present their categorical equivalences to a special category of pseudo MV-algebras with a fixed maximal and normal ideal as well as to a special category of unital l-groups with a fixed maximal and normal l-ideal.}, keywords = {Weak pseudo EMV-algebra,pseudo MV-algebra,idempotent element,representation of wPEMV-algebras,proper wPEMV-algebra,associated wPEMV-algebra,categorial equivalence,unital l-group}, url = {https://jahla.hatef.ac.ir/article_140345.html}, eprint = {https://jahla.hatef.ac.ir/article_140345_7458027f0f98764dea650d29dd69f208.pdf} } @article { author = {Grigolia, R.}, title = {A longtime season of friendship and scientific collaboration}, journal = {Journal of Algebraic Hyperstructures and Logical Algebras}, volume = {3}, number = {1}, pages = {45-60}, year = {2022}, publisher = {University of Hatef (Hatef College University)}, issn = {2676-6000}, eissn = {2676-6019}, doi = {10.52547/HATEF.JAHLA.3.1.5}, abstract = {The paper is devoted to a survey of Antonio Di Nola's, and Antonio Di Nola and Revaz Grigolia's scientific researches of longtime scientific collaboration.}, keywords = {MV-algebra,Variety,perfect MV-algebra,category,free,Projective,monadic,Dynamic}, url = {https://jahla.hatef.ac.ir/article_135005.html}, eprint = {https://jahla.hatef.ac.ir/article_135005_6add893f1b95f7607961fb1b90edbcda.pdf} } @article { author = {Ghilardi, S. and Lenzi, G.}, title = {Unification in lax logic}, journal = {Journal of Algebraic Hyperstructures and Logical Algebras}, volume = {3}, number = {1}, pages = {61-75}, year = {2022}, publisher = {University of Hatef (Hatef College University)}, issn = {2676-6000}, eissn = {2676-6019}, doi = {10.52547/HATEF.JAHLA.3.1.6}, abstract = {In this paper, we focus on the intuitionistic propositional logic extended with a local operator [22] (also called nucleus [21]); such logic is commonly named lax logic after [9]. We prove that unification is finitary in this logic and supply algorithms for computing a basis of unifiers and for recognizing admissibility of inference rules, following analogous known results for intuitionistic logic.  }, keywords = {Nuclei,lax logic,unification theory,admissible inference rules}, url = {https://jahla.hatef.ac.ir/article_138458.html}, eprint = {https://jahla.hatef.ac.ir/article_138458_9502eef4201eff01e073b82589e6f118.pdf} } @article { author = {Borzooei, R.A. and Jun, Y.B. and Aaly, M.}, title = {Ultra deductive systems and (nilpotent) Boolean elements in hoops}, journal = {Journal of Algebraic Hyperstructures and Logical Algebras}, volume = {3}, number = {1}, pages = {77-93}, year = {2022}, publisher = {University of Hatef (Hatef College University)}, issn = {2676-6000}, eissn = {2676-6019}, doi = {10.52547/HATEF.JAHLA.3.1.7}, abstract = {In this paper, first we define the concept of nilpotent element on a hoop H, study some properties of them and investigate the relation with ultra deductive systems. Then by using this notion, we introduce cyclic hoops and prove that every cyclic hoop has a unique generator and is a local MV-algebra. In the follows, we introduce the notion of Boolean elements on hoops and investigate some of their properties and relation among Boolean elements with ultra deductive systems and nilpotent elements. Finally, we introduce a functor between the category of hoops and category of Boolean elements of them. }, keywords = {Hoop,ultra deductive system,nilpotent,Boolean element,MV-algebra}, url = {https://jahla.hatef.ac.ir/article_137133.html}, eprint = {https://jahla.hatef.ac.ir/article_137133_dbcda696e0ad60c32c89c97ef305f9a9.pdf} }