Relation between Sheffer Stroke and Hilbert algebras

Publish Year: 1400
نوع سند: مقاله ژورنالی
زبان: English
View: 176

This Paper With 24 Page And PDF Format Ready To Download

  • Certificate
  • من نویسنده این مقاله هستم

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

لینک ثابت به این Paper:

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

JR_CGASAT-14-1_008

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

Abstract:

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.

Keywords:

Hilbert algebra , Sheffer stroke , Sheffer stroke Hilbert algebra

Authors

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.

مراجع و منابع این Paper:

لیست زیر مراجع و منابع استفاده شده در این Paper را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود Paper لینک شده اند :
  • 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. ...
  • نمایش کامل مراجع