SYMMETRICAL HEYTING ALGEBRAS WITH OPERATORS

被引：0
|
作者：
ITURRIOZ, L
机构：
来源：
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK | 1983年 / 29卷 / 01期
关键词：
D O I：
暂无
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
引用
收藏
页码：33 / 70
页数：38
相关论文
共 50 条
  • [21] On skew Heyting algebras
    Cvetko-Vah, Karin
    ARS MATHEMATICA CONTEMPORANEA, 2017, 12 (01) : 37 - 50
  • [22] Profinite Heyting Algebras
    G. Bezhanishvili
    N. Bezhanishvili
    Order, 2008, 25 : 211 - 227
  • [23] Profinite heyting algebras
    Bezhanishvili, G.
    Bezhanishvili, N.
    ORDER-A JOURNAL ON THE THEORY OF ORDERED SETS AND ITS APPLICATIONS, 2008, 25 (03): : 211 - 227
  • [24] Heyting algebras with Boolean operators for rough sets and. information retrieval applications
    SanJuan, Eric
    DISCRETE APPLIED MATHEMATICS, 2008, 156 (06) : 967 - 983
  • [25] ON HEYTING ALGEBRAS AND DUAL BCK-ALGEBRAS
    Yon, Y. H.
    Kim, K. H.
    BULLETIN OF THE IRANIAN MATHEMATICAL SOCIETY, 2012, 38 (01) : 159 - 168
  • [26] HEYTING-BROUWER ALGEBRAS
    ITURRIOZ, L
    BULLETIN DE L ACADEMIE POLONAISE DES SCIENCES-SERIE DES SCIENCES MATHEMATIQUES ASTRONOMIQUES ET PHYSIQUES, 1976, 24 (08): : 551 - 558
  • [27] States on Polyadic Heyting Algebras
    Dragulici, Dumitru Daniel
    JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING, 2016, 27 (5-6) : 573 - 594
  • [28] Normalisation by Completeness with Heyting Algebras
    Gilbert, Gaetan
    Hermant, Olivier
    LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, (LPAR-20 2015), 2015, 9450 : 469 - 482
  • [29] Free Heyting Algebras: Revisited
    Bezhanishvili, Nick
    Gehrke, Mai
    ALGEBRA AND COALGEBRA IN COMPUTER SCIENCE, PROCEEDINGS, 2009, 5728 : 251 - +
  • [30] HEYTING ALGEBRAS WITH DUAL PSEUDOCOMPLEMENTATION
    SANKAPPANAVAR, HP
    PACIFIC JOURNAL OF MATHEMATICS, 1985, 117 (02) : 405 - 415
12345