INTERPRETATIONS INTO HEYTING ALGEBRAS

被引:3
|
作者
LEWIN, R [1 ]
机构
[1] CATHOLIC UNIV CHILE,SANTIAGO,CHILE
关键词
D O I
10.1007/BF01188392
中图分类号
O1 [数学];
学科分类号
0701 ; 070101 ;
摘要
引用
收藏
页码:149 / 166
页数:18
相关论文
共 50 条
  • [1] A NOTE ON INTERPRETATIONS OF HEYTING ALGEBRAS
    TAYLOR, W
    ALGEBRA UNIVERSALIS, 1987, 24 (03) : 289 - 291
  • [2] PROFINITE HEYTING ALGEBRAS AND PROFINITE COMPLETIONS OF HEYTING ALGEBRAS
    Bezhanishvili, Guram
    Morandi, Patrick J.
    GEORGIAN MATHEMATICAL JOURNAL, 2009, 16 (01) : 29 - 47
  • [3] Subalgebras of Heyting and De Morgan Heyting Algebras
    Castano, Valeria
    Munoz Santis, Marcela
    STUDIA LOGICA, 2011, 98 (1-2) : 123 - 139
  • [4] Heyting algebras with operators
    Hasimoto, Y
    MATHEMATICAL LOGIC QUARTERLY, 2001, 47 (02) : 187 - 196
  • [5] Inquisitive Heyting Algebras
    Puncochar, Vit
    STUDIA LOGICA, 2021, 109 (05) : 995 - 1017
  • [6] ON FRONTAL HEYTING ALGEBRAS
    Castiglioni, Jose L.
    Sagastume, Marta
    San Martin, Hernan J.
    REPORTS ON MATHEMATICAL LOGIC, 2010, 45 : 201 - 224
  • [7] Subalgebras of Heyting and De Morgan Heyting Algebras
    Valeria Castaño
    Marcela Muñoz Santis
    Studia Logica, 2011, 98 : 123 - 139
  • [8] Inquisitive Heyting Algebras
    Vít Punčochář
    Studia Logica, 2021, 109 : 995 - 1017
  • [9] On skew Heyting algebras
    Cvetko-Vah, Karin
    ARS MATHEMATICA CONTEMPORANEA, 2017, 12 (01) : 37 - 50
  • [10] Profinite Heyting Algebras
    G. Bezhanishvili
    N. Bezhanishvili
    Order, 2008, 25 : 211 - 227