Congruences of Sheffer stroke basic algebras

Ibrahim Senturk 1 , Tahsin Oner 2 ,  and Arsham Borumand Saeid 3
  • 1 Department of Mathematics, Faculty of Sciences, Ege University, Bornova, 35100, Izmir, Turkey
  • 2 Department of Mathematics, Faculty of Sciences, Ege University, Bornova, 35100, Izmir, Turkey
  • 3 Department of Pure Mathematics, Faculty of Mathematics and Computer, Shahid Bahonar University of Kerman, Iran, Kerman


In this paper, congruences and (order, prime and compatible) filters are introduced in Sheffer stroke basic algebras. They are interrelated with each other. Also some relationships between filters and congruences by focusing on their properties in these structures are given. In addition to these, a basic algebra is constructed by the help of compatible filter and 𝒜/ Θ (F). Moreover, a representation theorem for Sheffer stroke basic algebra by using prime filters and 𝒜/ Θ (F) is stated and proved.

If the inline PDF is not rendering correctly, you can download the PDF file here.

  • [1] Abbott JC. Semi-boolean algebra. Matematički Vesnik 1967; 40: 177-198.

  • [2] Abbott JC. Implicational algebras. Bulletin Mathématique de la Société des Sciences Mathématiques de la République Socialiste de Roumanie 1967; 11 (59): 3-23.

  • [3] Chajda I, Halaš R. An implication in orthologic. International Journal of Theoretical Physics 2005; 44: 735-744.

  • [4] Chajda I. Orthomodular semilattices. Discrete Mathematics 2007; 307 (1): 115–118.

  • [5] Chajda I, Halaš R, Länger H. Orthomodular implication algebras. International Journal of Theoretical Physics 2001; 40: 1875-1884.

  • [6] Chajda I, Halaš R, Länger H. Operations and structures derived from non-associative MV-algebras. Soft Computing 2018; 1–10.

  • [7] Chajda I, Emanovský P. Bounded lattices with antitone involutions and properties of MV-algebras. Discussiones Mathematicae, General Algebra and Applications 2004; 24: 32-42.

  • [8] Chajda I. Lattices and semilattices having an antitone involution in every upper interval. Comment. Math. Univ. Carolin 2003; 44: 577-585.

  • [9] Chajda I, Kühr J. Basic algebras. Clone Theory and Discrete Mathematics Algebra and Logic Related to Computer Science; 2013.

  • [10] Chajda I. Basic algebras and their applications, an overview. Proceedings of the Salzburg Conference, Verlag Johannes Heyn, Klagenfurt 2011.

  • [11] Chajda I, Halaš R, Kühr J. Many-valued quantum algebras. Algebra Universalis 2009; 60: 63-90.

  • [12] Chajda I, Kühr J. Ideals and Congruences of basic algebras. Soft Computing 2013; 17: 1030-1039.

  • [13] Chajda I. Sheffer operation in ortholattices, Acta Universitatis Palackianae Olomucensis, Facultas Rerum Naturalium Mathematica 2005; 44: 19–23.

  • [14] Chajda I., Basic algebras, logics, trends and applications, Asian-European Journal of Mathematics 2015; 8.

  • [15] Cignoli RL, d’Ottaviano IM, Mundici D. Algebraic foundations of many-valued reasoning. Springer Science and Business Media, 2013.

  • [16] Grätzer G. General Lattice Theory. Springer Science and Business Media, 2002.

  • [17] McCune W, Verof R, Fitelson B, Harris K, Feist A, Wos L, Short single axioms for Boolean algebra. Journal of Automated Reasoning 2002; 29: 1-16.

  • [18] Oner T, Senturk I. The Sheffer stroke operation reducts of basic algebras. Open Mathematics 2017, 15(1): 926-935.

  • [19] Sheffer HM. A set of five independent postulates for Boolean algebras, with application to logical constants. Transactions of the American Mathematical Society 1913; 14: 481-488.

  • [20] Tarski A. Ein beitrag zur axiomatik der abelschen gruppen. Fundamenta Mathematicae 1938, 30: 253-256.


Journal + Issues

The journal is published by Faculty of Mathematics and Computer Science of Ovidius University, Constanta, Romania.