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 条

[41] MAXIMAL SUBALGEBRAS OF HEYTING ALGEBRAS
ADAMS, ME
PROCEEDINGS OF THE EDINBURGH MATHEMATICAL SOCIETY, 1986, 29 : 359 - 365
[42] Compact Hausdorff Heyting algebras
Guram Bezhanishvili
John Harding
Algebra universalis, 2016, 76 : 301 - 304
[43] LUKASIEWICZ AND SYMMETRICAL HEYTING ALGEBRAS
ITURRIOZ, L
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1977, 23 (02): : 131 - 136
[44] Functional monadic Heyting algebras
Guram Bezhanishvili
John Harding
algebra universalis, 2002, 48 : 1 - 10
[45] A NEW CHARACTERIZATION OF COMPLETE HEYTING AND CO-HEYTING ALGEBRAS
Ranzato, Francesco
LOGICAL METHODS IN COMPUTER SCIENCE, 2017, 13 (03)
[46] On a Generalization of Heyting Algebras I
Akbar Tabatabai, Amirhossein
Alizadeh, Majid
Memarzadeh, Masoud
STUDIA LOGICA, 2024,
[47] Endomorphisms of complete heyting algebras
A. Pultr
J. Sichler
Semigroup Forum, 1997, 54 : 364 - 374
[48] ON DECIDABLE VARIETIES OF HEYTING ALGEBRAS
DUBHASHI, DP
JOURNAL OF SYMBOLIC LOGIC, 1992, 57 (03) : 988 - 991
[49] Compact Hausdorff Heyting algebras
Bezhanishvili, Guram
Harding, John
ALGEBRA UNIVERSALIS, 2016, 76 (03) : 301 - 304
[50] INJECTIVE AND PROJECTIVE HEYTING ALGEBRAS
BALBES, R
HORN, A
TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 1970, 148 (02) : 549 - &

← 1 2 3 4 5 →