共 50 条
- [31] Heyting algebras and formal languages [J]. JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2002, 8 (07): : 722 - 736
- [33] ON AN EXTENSION OF THE CLASS OF HEYTING ALGEBRAS [J]. COMPTES RENDUS DE L ACADEMIE DES SCIENCES SERIE I-MATHEMATIQUE, 1986, 302 (03): : 83 - 86
- [35] Almost Semi Heyting Algebras [J]. SOUTHEAST ASIAN BULLETIN OF MATHEMATICS, 2018, 42 (01) : 95 - 110
- [37] A NOTE ON NONNORMAL MODAL ALGEBRAS AND HEYTING ALGEBRAS [J]. JOURNAL OF SYMBOLIC LOGIC, 1987, 52 (04) : 1093 - 1094
- [38] LUKASIEWICZ AND SYMMETRICAL HEYTING ALGEBRAS [J]. ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1977, 23 (02): : 131 - 136