On GE-algebras-Reference-Cited by-同舟云学术

On GE-algebras

Published:2020-08-30 Issue:1 Volume:50 Page:81-96
ISSN:2449-836X
Container-title:Bulletin of the Section of Logic
language:
Short-container-title:B Sect Log

Author:

Bandaru Ravikumar^ORCID,Saeid Arsham Borumand^ORCID,Jun Young Bae^ORCID

Abstract

Hilbert algebras are important tools for certain investigations in intuitionistic logic and other non-classical logic and as a generalization of Hilbert algebra a new algebraic structure, called a GE-algebra (generalized exchange algebra), is introduced and studied its properties. We consider filters, upper sets and congruence kernels in a GE-algebra. We also characterize congruence kernels of transitive GE-algebras.

Publisher

Uniwersytet Lodzki (University of Lodz)

Subject

Logic,Philosophy

Reference16 articles.

[1] J. C. Abbott, Semi-boolean algebra, Matematički Vesnik, vol. 4(19) (1967), pp. 177–198.

[2] R. A. Borzooei, S. Khosravi Shoar, Implication algebras are equivalent to the dual implicative (BCK)-algebras, Scientiae Mathematicae Japonicae, vol. 63(3) (2006), pp. 429–431.

[3] R. A. Borzooei, J. Shohani, On generalized Hilbert algebras, Italian Journal of Pure and Applied Mathematics, vol. 29 (2012), pp. 71–86.

[4] D. Buşneag, A note on deductive systems of a Hilbert algebra, Kobe Journal of Mathematics, vol. 2(1) (1985), pp. 29–35.

[5] D. Buşneag, Categories of algebraic logic, Editura Academiei Romane (2006).

Cited by 16 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. On pre-Hilbert and positive implicative pre-Hilbert algebras;Bulletin of the Section of Logic;2024-05-20

2. On Quasi Generalized Exchange Algebras;European Journal of Pure and Applied Mathematics;2024-02-04

3. Pseudo GE-Algebras as the Extension of GE-Algebras;Kragujevac Journal of Mathematics;2024

4. On Implicative and Positive Implicative GE Algebras;Bulletin of the Section of Logic;2023-09-25

5. The Prominentness of Fuzzy GE-Filters in GE-Algebras;International Journal of Analysis and Applications;2023-03-17