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 条

[1] BOOLEAN VALUED MODELS AND INCOMPLETE SPECIFICATIONS
DAHN, BI
JOURNAL OF LOGIC PROGRAMMING, 1992, 12 (03): : 225 - 236
[2] A CATEGORY FOR BOOLEAN-VALUED MODELS
MONRO, GP
JOURNAL OF SYMBOLIC LOGIC, 1984, 49 (04) : 1428 - 1428
[3] Boolean Valued Models, Boolean Valuations, and Löwenheim-Skolem Theorems
Wu, Xinhe
JOURNAL OF PHILOSOPHICAL LOGIC, 2024, 53 (01) : 293 - 330
[4] Boolean Valued Models, Boolean Valuations, and Löwenheim-Skolem Theorems
Xinhe Wu
Journal of Philosophical Logic, 2024, 53 : 293 - 330
[5] Boolean-Valued Models of Set Theory with Urelements
Wu, Xinhe
Yao, Bokai
NOTRE DAME JOURNAL OF FORMAL LOGIC, 2024, 65 (02) : 203 - 227
[6] ANALYSIS OF SUBDIFFERENTIALS VIA BOOLEAN-VALUED MODELS
KUSRAEV, AG
KUTATELADZE, SS
DOKLADY AKADEMII NAUK SSSR, 1982, 265 (05): : 1061 - 1064
[7] SOME REMARKS ABOUT BOOLEAN-VALUED MODELS
RUTKOWSKI, A
BULLETIN DE L ACADEMIE POLONAISE DES SCIENCES-SERIE DES SCIENCES MATHEMATIQUES ASTRONOMIQUES ET PHYSIQUES, 1971, 19 (02): : 87 - +
[8] Learning Boolean specifications
Bubeck, U.
Buening, H. Kleine
ARTIFICIAL INTELLIGENCE, 2015, 229 : 246 - 257
[9] Robot Planning Based on Boolean Specifications Using Petri Net Models
Mahulea, Cristian
Kloetzer, Marius
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2018, 63 (07) : 2218 - 2225
[10] SUBDIFFERENTIALS IN BOOLEAN-VALUED MODELS OF SET-THEORY
KUSRAEV, AG
KUTATELADZE, SS
SIBERIAN MATHEMATICAL JOURNAL, 1983, 24 (05) : 735 - 746

← 1 2 3 4 5 →