A lattice-valued set theory

被引：20
|
作者：
Titani, S [1 ]
机构：
[1] Chubu Univ, Kasugai, Aichi 4878501, Japan
来源：
ARCHIVE FOR MATHEMATICAL LOGIC | 1999年 / 38卷 / 06期
关键词：
Order Relation; Logical Implication;
D O I：
10.1007/s001530050134
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
A lattice-valued set theory is formulated by introducing the logical implication --> which represents the order relation on the lattice.
引用
收藏
页码：395 / 421
页数：27
相关论文
共 50 条
  • [41] Lattice-valued soft algebras
    Solovyov, Sergey A.
    SOFT COMPUTING, 2013, 17 (10) : 1751 - 1766
  • [42] Lattice-valued bornological systems
    Paseka, Jan
    Solovyov, Sergey A.
    Stehlik, Milan
    FUZZY SETS AND SYSTEMS, 2015, 259 : 68 - 88
  • [43] Categorical study for algebras of Fitting's lattice-valued logic and lattice-valued modal logic
    Ray, Kumar Sankar
    Das, Litan Kumar
    ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2021, 89 (3-4) : 409 - 429
  • [44] α-Resolution Method for Lattice-valued Horn Generalized Clauses in Lattice-valued Propositional Logic Systems
    Xu, Weitao
    Zhang, Wenqiang
    Zhang, Dexian
    Xu, Yang
    Pan, Xiaodong
    INTERNATIONAL JOURNAL OF COMPUTATIONAL INTELLIGENCE SYSTEMS, 2015, 8 : 75 - 84
  • [45] α-RESOLUTION METHOD FOR LATTICE-VALUED HORN GENERALIZED CLAUSES IN LATTICE-VALUED PROPOSITIONAL LOGIC SYSTEM
    Xu, Weitao
    Zhang, Wenqiang
    Zhang, Dexian
    Xu, Yang
    Pan, Xiaodong
    DECISION MAKING AND SOFT COMPUTING, 2014, 9 : 270 - 275
  • [46] α-Resolution Method for Lattice-valued Horn Generalized Clauses in Lattice-valued Propositional Logic Systems
    Weitao Xu
    Wenqiang Zhang
    Dexian Zhang
    Yang Xu
    Xiaodong Pan
    International Journal of Computational Intelligence Systems, 2015, 8 : 75 - 84
  • [47] Equivalence in automata theory based on complete residuated lattice-valued logic
    Xing, Hongyan
    Qiu, Damen
    Liu, Fuchun
    Fan, Zhujun
    FUZZY SETS AND SYSTEMS, 2007, 158 (13) : 1407 - 1422
  • [48] A DECISION-THEORETIC ROUGH SET APPROACH TO LATTICE-VALUED INFORMATION SYSTEM
    Yu, Jian-Hang
    Morita, Hiroshi
    Chen, Ming-Hao
    Xu, Wei-Hua
    PROCEEDINGS OF 2019 INTERNATIONAL CONFERENCE ON MACHINE LEARNING AND CYBERNETICS (ICMLC), 2019, : 78 - 83
  • [49] Subcategories of lattice-valued convergence spaces
    Jäger, G
    FUZZY SETS AND SYSTEMS, 2005, 156 (01) : 1 - 24
  • [50] LATTICE-VALUED BOREL MEASURES III
    Khurana, Surjit Singh
    ARCHIVUM MATHEMATICUM, 2008, 44 (04): : 307 - 316
12345