EASTERN MODEL-THEORY FOR BOOLEAN-VALUED THEORIES

被引：1

|

作者：

GEORGESCU, G

VOICULESCU, I

机构：

来源：

ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK | 1985年 / 31卷 / 01期

关键词：

D O I：

10.1002/malq.19850310109

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：79 / 88

页数：10

相关论文

共 50 条

[41] 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
[42] COMPARING ALTERNATIVE DEFINITIONS OF BOOLEAN-VALUED FUZZY-SETS
KRAMOSIL, I
KYBERNETIKA, 1992, 28 (06) : 425 - 443
[43] EFFECTIVE MODEL-THEORY VS RECURSIVE MODEL-THEORY
CHISHOLM, J
JOURNAL OF SYMBOLIC LOGIC, 1990, 55 (03) : 1168 - 1191
[44] Boolean-Valued Universe as an Algebraic System. I: Basic Principles
A. E. Gutman
Siberian Mathematical Journal, 2019, 60 : 810 - 827
[45] SOME APPLICATIONS OF BOOLEAN-VALUED MODELS TO THE STUDY OF OPERATORS ON POLYNORMED SPACES
SIKORSKII, MR
IZVESTIYA VYSSHIKH UCHEBNYKH ZAVEDENII MATEMATIKA, 1989, (02): : 82 - 84
[46] BOOLEAN-VALUED MODELS AS A FOUNDATION FOR LOCALLY L-0-CONVEX ANALYSIS AND CONDITIONAL SET THEORY
Aviles, Antonio
Miguel Zapata, Jose
JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS, 2018, 5 (01): : 389 - 419
[47] MORLEY CATEGORICITY THEOREM FOR LATTICE-VALUED MODEL-THEORY
SHEN, YF
KEXUE TONGBAO, 1988, 33 (22): : 1841 - 1844
[48] Boolean-Valued Models of Telecommunication Systems in Some Problems of Network Security
Shcherba, E. V.
2015 INTERNATIONAL SIBERIAN CONFERENCE ON CONTROL AND COMMUNICATIONS (SIBCON), 2015,
[49] Boolean-valued models as a foundation for locally l0-convex analysis and conditional set theory
Avilés, Antonio
Zapata, José Miguel
Journal of Applied Logics, 2018, 5 (01): : 389 - 420
[50] FILTER CONSTRUCTIONS IN BOOLEAN VALUED MODEL THEORY
SHORB, AM
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1972, 18 (03): : 193 - &

← 1 2 3 4 5 →