The Relational Data Model with Truth Estimates in Heyting Algebras

被引：0
|
作者：
Tsalenko, M. S.
机构：
来源：
Programming and Computer Software (English Translation of Programmirovanie) | / 21卷 / 02期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [21] Normalisation by Completeness with Heyting Algebras
    Gilbert, Gaetan
    Hermant, Olivier
    LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, (LPAR-20 2015), 2015, 9450 : 469 - 482
  • [22] Free Heyting Algebras: Revisited
    Bezhanishvili, Nick
    Gehrke, Mai
    ALGEBRA AND COALGEBRA IN COMPUTER SCIENCE, PROCEEDINGS, 2009, 5728 : 251 - +
  • [23] HEYTING ALGEBRAS WITH DUAL PSEUDOCOMPLEMENTATION
    SANKAPPANAVAR, HP
    PACIFIC JOURNAL OF MATHEMATICS, 1985, 117 (02) : 405 - 415
  • [24] Truth Discovery on Inconsistent Relational Data
    Jizhou Sun
    Jianzhong Li
    Hong Gao
    Hongzhi Wang
    TsinghuaScienceandTechnology, 2018, 23 (03) : 288 - 302
  • [25] Truth Discovery on Inconsistent Relational Data
    Sun, Jizhou
    Li, Jianzhong
    Gao, Hong
    Wang, Hongzhi
    TSINGHUA SCIENCE AND TECHNOLOGY, 2018, 23 (03) : 288 - 302
  • [26] Relational correspondences for L-fuzzy rough approximations defined on De Morgan Heyting algebras
    Jouni Järvinen
    Michiro Kondo
    Soft Computing, 2024, 28 : 903 - 916
  • [27] Model theory of Boolean products of subdirectly irreducible Heyting algebras
    Sprenger, KH
    COMMUNICATIONS IN ALGEBRA, 1998, 26 (05) : 1349 - 1366
  • [28] Relational correspondences for L-fuzzy rough approximations defined on De Morgan Heyting algebras
    Jarvinen, Jouni
    Kondo, Michiro
    SOFT COMPUTING, 2024, 28 (02) : 1317 - 1335
  • [29] Endomorphisms of complete Heyting algebras
    Pultr, A
    Sichler, J
    SEMIGROUP FORUM, 1997, 54 (03) : 364 - 374
  • [30] Heyting algebras and formal languages
    Kuich, W
    Sauer, N
    Urbanek, F
    JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2002, 8 (07): : 722 - 736
12345