Tense and dynamic algebras related to GFA

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.

Abolpour Kh.; ZAHEDI M.M.; SHAMSIZADEH M.

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

Journal Paper

Paper Information

Journal: Year:2021 | Volume:2 | Issue:1 Page(s): 33-46

Download Full-Text

Persian Verion

View:

176

Download:

100

Cites:

Information Journal Paper

Title

Tense and dynamic algebras related to GFA

Author(s)

Abolpour Kh. | ZAHEDI M.M. | SHAMSIZADEH M. | Issue Writer Certificate

Keywords

Dynamic algebra

general fuzzy automata

tense algebra

modal

transition frame

representable

Abstract

The present paper is an attempt to suggest and scrutinize tense operators in the dynamic logic B which is regarded as a set of propositions about the general fuzzy automaton ~ F, in which its underlying structure has been a bounded poset. Here, the operators T ; P ; H and F are proposed regardless of what propositional connectives the logic comprises. For this purpose, the axiomatization of universal quanti ers is applied as a starting point and these axioms are modi ed. In this study, rstly, we demonstrate that the operators can be identi ed as modal operators and the pairs (T ; P ) are examined as the socalled dynamic pairs. In addition, constructions of these operators are attained in the corresponding algebra and in the following a transition frame is suggested. Besides, the problem of nding a transition frame is solved in the case when the tense operators are given. Speci cally, this study shows that the tense algebra B is representable in its Dedekind-MacNeille completion. Representation theorems for dynamic and tense algebra are explicated in details in the related given theorems.

Multimedia

No record.

Cites

No record.

References

No record.

Cite

APA: Copy

Abolpour, Kh., ZAHEDI, M.M., & SHAMSIZADEH, M.. (2021). Tense and dynamic algebras related to GFA. JOURNAL OF ALGEBRAIC HYPERSTRUCTURES AND LOGICAL ALGEBRAS, 2(1 ), 33-46. SID. https://sid.ir/paper/960776/en

Vancouver: Copy

Abolpour Kh., ZAHEDI M.M., SHAMSIZADEH M.. Tense and dynamic algebras related to GFA. JOURNAL OF ALGEBRAIC HYPERSTRUCTURES AND LOGICAL ALGEBRAS[Internet]. 2021;2(1 ):33-46. Available from: https://sid.ir/paper/960776/en

IEEE: Copy

Kh. Abolpour, M.M. ZAHEDI, and M. SHAMSIZADEH, “Tense and dynamic algebras related to GFA,” JOURNAL OF ALGEBRAIC HYPERSTRUCTURES AND LOGICAL ALGEBRAS, vol. 2, no. 1 , pp. 33–46, 2021, [Online]. Available: https://sid.ir/paper/960776/en

Related Journal Papers

No record.

Related Seminar Papers

No record.

Related Plans

No record.

Recommended Workshops