On the Category of EQ-algebras-Reference-Cited by-同舟云学术

On the Category of EQ-algebras

Published:2021-01-20 Issue:4 Volume:50 Page:397-419
ISSN:2449-836X
Container-title:Bulletin of the Section of Logic
language:
Short-container-title:B Sect Log

Author:

Akhlaghinia Narges^ORCID,Aaly Kologani Mona^ORCID,Borzooei Rajab Ali^ORCID,Xin Xiao Long^ORCID

Abstract

In this paper, we studied the category of EQ-algebras and showed that it is complete, but it is not cocomplete, in general. We proved that multiplicatively relative EQ-algebras have coequlizers and we calculated coproduct and pushout in a special case. Also, we constructed a free EQ-algebra on a singleton.

Publisher

Uniwersytet Lodzki (University of Lodz)

Subject

Logic,Philosophy

Reference20 articles.

[1] J. Adámek, H. Herrlich, G. E. Strecker, Abstract and concrete categorise, the joy of cats, no. 17 in A Wiely series OF Texts, Monographs and Tracts Pure and applied mathematics, John Wiley and Sons, New york (1990).

[2] S. Awodey, Category theory, Oxford Logic Guides, Clarendon press, Oxford (2006).

[3] T. S. Blyth, Categories, Longman, London (1986).

[4] R. A. Borzooei, M. Bakhshi, O. Zahiri, Filter theory on hyper residuated lattices, Quasigroups and Related Systems, vol. 22 (2014), pp. 33–50, DOI: http://dx.doi.org/10.1090/S0002-9904-1935-06166-X.

[5] R. A. Borzooei, A. A. Estaji, M. Mobini, On the category of rough sets, Soft Computing, vol. 21 (2017), pp. 2201–2214, DOI: http://dx.doi.org/10.1007/s00500-016-2135-9.

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

1. Generalization of filter theory of EQ-algebras based on lattices;Journal of Logic and Computation;2024-09-08

2. \(n\)-Fold Filters of EQ-Algebras;Bulletin of the Section of Logic;2022-10-14

3. Prime preideals on bounded EQ-algebras;Analele Universitatii "Ovidius" Constanta - Seria Matematica;2022-02-01

4. Preideals in EQ-algebras;Soft Computing;2021-08-21

5. Construction of (n-Fold) EQ-Algebras by Using Fuzzy n-Fold Filters;New Mathematics and Natural Computation;2021-04-10