BOOLEAN VALUED MODELS AND INCOMPLETE SPECIFICATIONS

被引：0

|

作者：

DAHN, BI

机构：

来源：

LECTURE NOTES IN COMPUTER SCIENCE | 1988年 / 343卷

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

收藏

页码：119 / 126

页数：8

相关论文

共 50 条

[21] Complete and incomplete Boolean degrees
Marchenkov, S. S.
PROBLEMS OF INFORMATION TRANSMISSION, 2010, 46 (04) : 346 - 352
[22] What is Boolean valued analysis?
S. S. Kutateladze
Siberian Advances in Mathematics, 2007, 17 (2) : 91 - 111
[23] WHAT IS BOOLEAN VALUED ANALYSIS?
Kutateladze, S. S.
SIBERIAN ELECTRONIC MATHEMATICAL REPORTS-SIBIRSKIE ELEKTRONNYE MATEMATICHESKIE IZVESTIYA, 2006, 3 : 402 - 427
[24] BOOLEAN VALUED DEDEKIND DOMAINS
NISHIMURA, H
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1991, 37 (01): : 65 - 76
[25] BOOLEAN VALUED AND STONE ALGEBRA VALUED MEASURE THEORIES
NISHIMURA, H
MATHEMATICAL LOGIC QUARTERLY, 1994, 40 (01) : 69 - 75
[26] EMBEDDING SHEAF MODELS FOR SET-THEORY INTO BOOLEAN-VALUED PERMUTATION MODELS WITH AN INTERIOR OPERATOR
SCEDROV, A
ANNALS OF PURE AND APPLIED LOGIC, 1986, 32 (01) : 103 - 109
[27] BOOLEAN-VALUED MODELS AND INDEPENDENCE PROOFS IN SET-THEORY - BELL,JL
REIX, A
REVUE PHILOSOPHIQUE DE LOUVAIN, 1980, 78 (37) : 148 - 149
[28] ORDER-CONTINUOUS FUNCTIONALS IN BOOLEAN-VALUED MODELS OF SET-THEORY
KUSRAEV, AG
SIBERIAN MATHEMATICAL JOURNAL, 1984, 25 (01) : 57 - 65
[29] A CATEGORY-THEORETIC APPROACH TO BOOLEAN-VALUED MODELS OF SET-THEORY
MONRO, GP
JOURNAL OF PURE AND APPLIED ALGEBRA, 1986, 42 (03) : 245 - 274
[30] BOOLEAN-VALUED MODELS APPLIED TO GALOIS THEORY FOR COMMUTATIVE REGULAR-RINGS
SMITH, K
JOURNAL OF SYMBOLIC LOGIC, 1981, 46 (01) : 198 - 198

← 1 2 3 4 5 →