Tense like equality algebras

سال انتشار: 1399
نوع سند: مقاله ژورنالی
زبان: انگلیسی
مشاهده: 497

فایل این مقاله در 24 صفحه با فرمت PDF قابل دریافت می باشد

استخراج به نرم افزارهای پژوهشی:

لینک ثابت به این مقاله:

شناسه ملی سند علمی:

JR_CGASAT-13-1_008

تاریخ نمایه سازی: 7 آذر 1400

چکیده مقاله:

Abstract. In this paper, first we define the notion of involutive operator
on bounded involutive equality algebras and by using it, we introduce a new
class of equality algebras that we called it a tense like equality algebra. Then
we investigate some properties of tense like equality algebra. For two involutive bounded equality algebras and an equality homomorphism between
them, we prove that the tense like equality algebra structure can be transfer
by this equality homomorphism. Specially, by using a bounded involutive
equality algebra and quotient structure of it, we construct a quotient tense
like equality algebra. Finally, we investigate the relation between tense like
equality algebras and tense MV-algebras.

کلیدواژه ها:

Equality algebra ، tense like equality algebra ، MV-algebra

نویسندگان

Mohammad Ali Hashemi

Department of Mathematics, Payame Noor University, P.O.Box ۱۹۳۹۵-۳۶۹۷, Tehran, Iran.

Rajabali Borzooei

Department of Mathematics, Shahid Beheshti University, Tehran, Iran.

مراجع و منابع این مقاله:

لیست زیر مراجع و منابع استفاده شده در این مقاله را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود مقاله لینک شده اند :
  • Borzooei, R.A., Zarean, M. and Zahiri, O., Involutive equality algebras, ...
  • Borzooei, R.A., Zebardast, F. and Aaly Kologani, M., Some types ...
  • Botur, M., Chajda, I., Halavs, H. and Kolarík, M., Tense ...
  • Botur, M. and Paseka, J., On tense MV-algebras, Fuzzy Sets ...
  • Burges, J., "Basic tense logic", in D.M. Gabbay, F. Gunther ...
  • Chajda, I. and Kolarík, M., Dynamic effect algebras, Math. Slovaca ...
  • Chang, C.C., Algebraic analysis of many valued logics, Trans. Amer. ...
  • Chirita, C., Tense theta-valued Moisil propositional logic, Int. J. Compute, ...
  • Cignoli, R., D’Ottaviano, I. and Mundici, D., "Algebraic Foundations of ...
  • Ciungu, L.C., On pseudo-equality algebras, Arch. Math. Logic ۵۳ (۲۰۱۴), ...
  • Ciungu, L.C., Internal states on equality algebras, Soft Computing ۱۹ ...
  • Diaconescu, D. and Georgescu, G., Tense operators on rm MV-algebras ...
  • Jenei, S., Equality algebras, Studia Logica ۱۰۰ (۲۰۱۲), ۱۲۰۱-۱۲۰۹ ...
  • Jenei, S. and Kóródi, L., Pseudo equality algebras, Arch. Math. ...
  • Moisil, G.C., Recherches sur les logiques non-chrysippiennes, Annates scientifiques de ...
  • Novák, V. and De Baets, B., EQ-algebras, Fuzzy Sets and ...
  • Zebardast, F., Borzooei, R.A. and Aaly Kologani, M., Results on ...
  • Zarean, M., Borzooei, R.A. and Zahiri, O., On state equality ...
  • نمایش کامل مراجع