BCK-ALGEBRAS AND HYPER BCK-ALGEBRAS INDUCED BY A DETERMINISTIC FINITE AUTOMATON

Q: How can I download an article?

To download an article from SID, first log in to the site, search for the article title, and click on the 'Download Article' option.

Q: How can I download an ISI article?

To download an ISI article on SID, enter the keyword or article title in the search bar, view the relevant results, click on the desired article, and select the 'Download Article' option.

Q: How can I access the SID database?

To access the SID database, visit SID.ir, create an account, and log in to access scientific resources.

Q: Is downloading articles from SID free?

Some articles on SID are available for free, while others require payment. Details are specified on the article's page.

GOL MOHAMMADIAN M.; ZAHEDI M.M.

مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

Journal Paper

Paper Information

Journal: Iranian Journal of Mathematical Sciences and Informatics Year:2009 | Volume:4 | Issue:1 Page(s): 79-98

Download Full-Text

View:

391

Download:

173

Cites:

Information Journal Paper

Title

BCK-ALGEBRAS AND HYPER BCK-ALGEBRAS INDUCED BY A DETERMINISTIC FINITE AUTOMATON

Author(s)

GOL MOHAMMADIAN M. | ZAHEDI M.M. | Issue Writer Certificate

Keywords

DETERMINISTIC FINITE AUTOMATON

BCK-ALGEBRA

HYPER BCK-ALGEBRA

QUOTIENT BCK-ALGEBRA

Abstract

In this note first we define a BCK-ALGEBRA on the states of a DETERMINISTIC FINITE AUTOMATON. Then we show that it is a BCK-ALGEBRA with condition (S) and also it is a positive implicative BCK-algebra. Then we find some QUOTIENT BCK-ALGEBRAs of it. After that we introduce a hyper BCK-ALGEBRA on the set of all equivalence classes of an equivalence relation on the states of a DETERMINISTIC FINITE AUTOMATON and we prove that this hyper BCK-ALGEBRA is simple, strong normal and implicative. Finally we define a semi continuous DETERMINISTIC FINITE AUTOMATON. Then we introduce a hyper BCK-ALGEBRA S on the states of this automaton and we show that S is a weak normal HYPER BCK-ALGEBRA.

Cites

RADICAL AND IT’S APPLICATIONS IN BCH-ALGEBRAS

References

No record.

Cite

APA: Copy

GOL MOHAMMADIAN, M., & ZAHEDI, M.M.. (2009). BCK-ALGEBRAS AND HYPER BCK-ALGEBRAS INDUCED BY A DETERMINISTIC FINITE AUTOMATON. IRANIAN JOURNAL OF MATHEMATICAL SCIENCES AND INFORMATICS (IJMSI), 4(1), 79-98. SID. https://sid.ir/paper/310276/en

Vancouver: Copy

GOL MOHAMMADIAN M., ZAHEDI M.M.. BCK-ALGEBRAS AND HYPER BCK-ALGEBRAS INDUCED BY A DETERMINISTIC FINITE AUTOMATON. IRANIAN JOURNAL OF MATHEMATICAL SCIENCES AND INFORMATICS (IJMSI)[Internet]. 2009;4(1):79-98. Available from: https://sid.ir/paper/310276/en

IEEE: Copy

M. GOL MOHAMMADIAN, and M.M. ZAHEDI, “BCK-ALGEBRAS AND HYPER BCK-ALGEBRAS INDUCED BY A DETERMINISTIC FINITE AUTOMATON,” IRANIAN JOURNAL OF MATHEMATICAL SCIENCES AND INFORMATICS (IJMSI), vol. 4, no. 1, pp. 79–98, 2009, [Online]. Available: https://sid.ir/paper/310276/en

Related Journal Papers

No record.

Related Seminar Papers

No record.

Related Plans

No record.

Recommended Workshops