Relation between Sheffer Stroke and Hilbert algebras

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

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

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

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

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

JR_CGASAT-14-1_008

تاریخ نمایه سازی: 23 شهریور 1400

چکیده مقاله:

In this paper, we introduce a Sheffer stroke Hilbert algebra by giving definitions of Sheffer stroke and a Hilbert algebra. After it is shown that the axioms of Sheffer stroke Hilbert algebra are independent, it is given some properties of this algebraic structure. Then it is stated the relationship between Sheffer stroke Hilbert algebra and Hilbert algebra by defining a unary operation on Sheffer stroke Hilbert algebra. Also, it is presented deductive system and ideal of this algebraic structure. It is defined an ideal generated by a subset of a Sheffer stroke Hilbert algebra, and it is constructed a new ideal of this algebra by adding an element of this algebra to its ideal.

کلیدواژه ها:

Hilbert algebra ، Sheffer stroke ، Sheffer stroke Hilbert algebra

نویسندگان

Tahsin Oner

Department of Mathematics, Ege University, ۳۵۱۰۰ Izmir, Turkey

Tugce Katican

Department of Mathematics, Ege University, ۳۵۱۰۰ Izmir, Turkey

Arsham Borumand Saeid

Department of Pure Mathematics, Faculty of Mathematics and Computer, Shahid Bahonar University of Kerman, Kerman, Iran.

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

لیست زیر مراجع و منابع استفاده شده در این مقاله را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود مقاله لینک شده اند :
  • Abbott, J.C., Implicational algebras, Bull. Math. Soc. Sci. Math. Roumanie ...
  • Chajda, I., Sheffer operation in ortholattices, AActa Univ. Palack. Olomuc. ...
  • Rerum Natur. Math. ۴۴(۱) (۲۰۰۵), ۱۹-۲۳ ...
  • Cornish, W.H., On positive implicative BCK-algebras, Mathematics Seminar Notes۸ (۱۹۸۰), ...
  • Diego, A., Sur les algebras de Hilbert, Ed. Hermann, Collection ...
  • ۲۱, (۱۹۶۶) ...
  • Henkin, L., An algebraic characterization of quantifiers, Fund. Math. ۳۷ ...
  • Iorgulescu, A., "Algebras of logic as BCK algebras", Editura ASE, ...
  • Iseeki, K. and Tanaka, S., An introduction to the theory ...
  • Jpn., ۲۳(۱) (۱۹۷۸), ۱-۲۶ ...
  • Jun, Y.B., Commutative Hilbert Algebra, Soochow Journal of Mathematics, ۲۲(۴)(۱۹۹۶), ...
  • McCune, W., Veroff, R., Fitelson, B., Harris, K., Feist, A., ...
  • Oner T., and Senturk I.,The Sheffer Stroke Operation Reducts of ...
  • Rasiowa, H., "An algebraic approach to non-classical logics", Studies in ...
  • Sheffer, H.M., A set of five independent postulates for Boolean ...
  • Schmid, J., Distributive lattices and rings of quotients, Coll. Math. ...
  • نمایش کامل مراجع