메뉴 건너뛰기




Volumn 20, Issue 4, 2010, Pages 917-946

Quantale modules and their operators, with applications

Author keywords

quantale modules; quantales; Residuated lattices

Indexed keywords

CONCRETE APPLICATIONS; QUANTALES; RESIDUATED LATTICES; SPECIAL CLASS;

EID: 77954982845     PISSN: 0955792X     EISSN: 1465363X     Source Type: Journal    
DOI: 10.1093/logcom/exn088     Document Type: Article
Times cited : (29)

References (32)
  • 3
    • 33845932089 scopus 로고    scopus 로고
    • Łukasiewicz Transform and its application to compression and reconstruction of digital images
    • A. Di Nola and C. Russo. Łukasiewicz Transform and its application to compression and reconstruction of digital images. Information Science, 177(6), 1481-1498, 2007.
    • (2007) Information Science , vol.177 , Issue.6 , pp. 1481-1498
    • Di Nola, A.1    Russo, C.2
  • 10
    • 0025573319 scopus 로고
    • The algebraic basis of mathematical morphology - Part I: Dilations and erosions
    • H. J. A. M. Heijmans and C. Ronse. The algebraic basis of mathematical morphology - Part I: Dilations and erosions. Computer Vision, Graphics and Image Processing, 50, 245-295, 1990.
    • (1990) Computer Vision Graphics and Image Processing , vol.50 , pp. 245-295
    • Heijmans, H.J.A.M.1    Ronse, C.2
  • 11
    • 33845922659 scopus 로고    scopus 로고
    • On a lossy image compression/ reconstruction method based on fuzzy relational equations
    • K. Hirota, K. Kawamoto, H. Nobuhara and S. I. Yoshida. On a lossy image compression/ reconstruction method based on fuzzy relational equations. Iranian Journal of Fuzzy Systems, 1, 33-42, 2004.
    • (2004) Iranian Journal of Fuzzy Systems , vol.1 , pp. 33-42
    • Hirota, K.1    Kawamoto, K.2    Nobuhara, H.3    Yoshida, S.I.4
  • 12
    • 20444362684 scopus 로고    scopus 로고
    • Relational image compression: Optimizations through the design of fuzzy coders and YUV color space
    • K. Hirota, H. Nobuhara, andW. Pedrycz. Relational image compression: optimizations through the design of fuzzy coders and YUV color space. Soft Computing, 9, 471-479, 2005.
    • (2005) Soft Computing , vol.9 , pp. 471-479
    • Hirota, K.1    Nobuhara, H.2    Pedrycz, W.3
  • 14
    • 0142205490 scopus 로고    scopus 로고
    • A survey of residuated lattices
    • J. Martinez ed, Kluwer, Dordrecht
    • P. Jipsen and C. Tsinakis. A survey of residuated lattices. Ordered Algebraic Structures J. Martinez, ed., pp. 19-56, Kluwer, Dordrecht, 2002.
    • (2002) Ordered Algebraic Structures , pp. 19-56
    • Jipsen, P.1    Tsinakis, C.2
  • 17
    • 13544263233 scopus 로고    scopus 로고
    • Fuzzy relation equations for coding/decoding processes of images and videos
    • V. Loia and S. Sessa. Fuzzy relation equations for coding/decoding processes of images and videos. Information Science, 171, no.1-3, 145-172, 2005.
    • (2005) Information Science , vol.171 , Issue.1-3 , pp. 145-172
    • Loia, V.1    Sessa, S.2
  • 23
    • 0034923815 scopus 로고    scopus 로고
    • Quantales, finite observations and strong bisimulation
    • P. Resende. Quantales, finite observations and strong bisimulation. Theoretical Computer Science, 254, 95-149, 2001.
    • (2001) Theoretical Computer Science , vol.254 , pp. 95-149
    • Resende, P.1
  • 24
    • 0037043587 scopus 로고    scopus 로고
    • Tropological systems are points of quantales
    • P. Resende.Tropological systems are points of quantales. Journal of Pure and Applied Algebra, 173, 87-120, 2002.
    • (2002) Journal of Pure and Applied Algebra , vol.173 , pp. 87-120
    • Resende, P.1
  • 25
    • 2542443315 scopus 로고    scopus 로고
    • Sup-lattice 2-forms and quantales
    • P. Resende. Sup-lattice 2-forms and quantales. Journal of Algebra, 276, 143-167, 2004.
    • (2004) Journal of Algebra , vol.276 , pp. 143-167
    • Resende, P.1
  • 26
    • 33750485049 scopus 로고    scopus 로고
    • Étale groupoids and their quantales
    • P. Resende. Étale groupoids and their quantales. Advances in Mathematics, 208/1, 147-209, 2007.
    • (2007) Advances in Mathematics , vol.208 , Issue.1 , pp. 147-209
    • Resende, P.1
  • 27
    • 0042029598 scopus 로고    scopus 로고
    • Localic sup-lattices and tropological systems
    • P. Resende and S. J. Vickers. Localic sup-lattices and tropological systems. Theoretical Computer Science, 305, 311-346, 2003.
    • (2003) Theoretical Computer Science , vol.305 , pp. 311-346
    • Resende, P.1    Vickers, S.J.2
  • 32
    • 77955005929 scopus 로고    scopus 로고
    • http://www.inf.u-szeged.hu/?ssip/1996/morpho/morphology.html.


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.