In this paper, we present the notion of commutative coquantale frames as logical relational systems. We introduce an approach to study these frames through the utilization of distance functions in place of the commonly used fuzzy partially orders. We show that a commutative coquantale frame can be regarded as an algebraic structure that induces a commutative coquantale, while a commutative coquantale with q-distance function leads to the development of a commutative coquantale frame. Moreover, we provide several examples pertaining to these notions.
BélohlávekR., Fuzzy Relational Systems, Kluwer Academic Publishers, New York, 2002.
2.
BélohlávekR., Lattices of fixed points of Galois connections, Math Logic Quart47 (2001), 111–116.
3.
CiroR., An extension of Stone duality to fuzzy topologies and MV-algebras, Fuzzy Sets and Systems303 (2016), 80–96.
4.
DüntschI. and OrłowskaE., Discrete duality for rough relation algebras, Fundamenta Informaticae127(1-4) (2013), 35–47.
5.
DüntschI., KwuidaL. and OrłowskaE., A discrete representation for dicomplemented lattices, Fundamenta Informaticae156(3-4) (2017), 281–295.
6.
DüntschI., OrłowskaE. and WangHui, A relational logic for spatial contact based on rough set approximation, Fundam Informaticae148(1-2) (2016), 191–206.
7.
El-SaadyK., SharqawyS. and TherazA.A., Fuzzy quantic nuclei and conuclei with applications to fuzzy semi-quantales and (L, M)-quasi-fuzzy topologies, J Egypt Math Soc27(2019), 28.
8.
FlautC. (2019) D. Piciu, Connections between commutative rings and some algebras of logic, Iran J Fuzzy Syst19(6) (2022), 33–110.
9.
GirardJ.Y., Linear logic, Theoret Comp Sci50 (1987), 1–102.
10.
HájekP., Metamathematices of Fuzzy Logic, Kluwer Academic Publishers, Dordrecht (1998).
11.
HartonasC.OrłowskaE., Representation of lattices withmodal operators in two-sorted frames, Fundamenta Informaticae166(1) (2019), 29–56.
12.
HöhleU., KlementE.P., Non-classical logic and theirapplications to fuzzy subsets, Kluwer Academic Publisher, Boston, 1995.
13.
HöhleU., RodabaughS.E., Mathematics of Fuzzy Sets:Logic, Topology, and Measure Theory, The Handbooks of Fuzzy SetsSeries 3, Kluwer Academic Publishers, Boston, 1999.
14.
JunshengQ. and QingHu. Bao, On (⊙, &) -fuzzy rough setsbased on residuated and co-residuated lattices, Fuzzy Sets andSystems336 (2018), 54–86.
15.
KoJ.M. and KimY.C., Preserving maps and approximation operators incomplete co-residuated lattices, J Korean Inst Intell Syst30(5) (2020), 389–398.
16.
LaiH. and ZhangD., Concept lattices of fuzzy contexts: Formalconcept analysis vs. rough set theory, Int J Approx Reasoning50 (2009), 695–707.
17.
LiJ., MeiC. and LvY., Incomplete decision contexts: Approximateconcept construction, rule acquisition and knowledge redution, Int J Approx Reasoning54(1) (2013), 149–165.
18.
MulveyC.J., Quantales, Suppl Rend Cric Mat Palermo Ser.II12 (1986), 99–104.
19.
MulveyC.J. and PelletierJ.W., On the quantisation of point, Jof Pure and Applied Algebra159 (2001), 231–295.
20.
OhJ.M. and KimY.C., Various fuzzy connections and fuzzy conceptsin complete co-residuated lattices, Int J Approx Reasoning142 (2022), 451–468.
21.
OhJ.M. and KimY.C., Fuzzy Galois connections on Alexandrov L-topologies, Journal of Intelligent and Fuzzy Systems40 (2021), 251–270.
22.
OhJ.M. and KimY.C., Distance functions, upper approximation operators and Alexandrov fuzzy topologies, Journal of Intelligent and Fuzzy Systems40 (2021), 11915–11925.
23.
OrłowskaE., RewitzkyI.Context algebras, context frames and their discrete duality, Transactions on Rough Sets IX, Springer, Berlin2008, 212–229.
24.
OrłowskaE. and RewitzkyI., Algebras for Galois-styleconnections and their discrete duality, Fuzzy Sets and Systems161 (2010), 1325–1342.
25.
TurunenE.Mathematics Behind Fuzzy Logic, A Springer-Verlag Co.,, 1999.
26.
WangJ.T. and XinX.L., Monadic algebras of an involutive monoidal t-norm based logic, Iran J Fuzzy Syst19(3) (2022), 187–202.
27.
WardM. and DilworthR.P., Residuated lattices, Trans Amer Math Soc45 (1939), 335–354.
28.
WeiY. and Sang-EonHan, A Stone-type duality forsT0-stratified Alexandrov L-topological spaces, Fuzzy Sets and Systems282 (2016), 1–20.
29.
ZhengM.C. and WangG.J., Coresiduated lattice with applications, Fuzzy systems and Mathematics19 (2005), 1–6.
30.
ZhouH. and ShiH., Stone duality for R0-algebras with inter nalstates, Iran J Fuzzy Syst14(4) (2017), 139–161.
