BOOLEAN ALGEBRAS OF LOGICS OF HIGHER ORDER

被引：0

|

作者：

AMER, MA

HANF, WP

机构：

来源：

NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY | 1969年 / 16卷 / 07期

关键词：

D O I：

暂无

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：1059 / &

相关论文

共 50 条

[21] Light logics and higher-order processes
Dal Lago, Ugo
Martini, Simone
Sangiorgi, Davide
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2016, 26 (06) : 969 - 992
[22] Characterization of Boolean topological logics short form: Boolean topological logics
Denison University, Granville, OH 43023
不详
不详
不详
不详
J. Mult.-Valued Logic Soft Comput., 2006, 5-6 (409-415):
[23] HIGHER-ORDER QUANTUM-LOGICS
FINKELSTEIN, D
INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS, 1992, 31 (09) : 1627 - 1638
[24] A GLIMPSE INTO HIGHER-ORDER CONNEXIVE LOGICS
Francez, Nissim
LOGIQUE ET ANALYSE, 2022, (257) : 101 - 110
[25] Computing queries with higher-order logics
Hella, L
Turull-Torres, JM
THEORETICAL COMPUTER SCIENCE, 2006, 355 (02) : 197 - 214
[26] Postulates for boolean algebras and generalized boolean algebras
Stone, MH
AMERICAN JOURNAL OF MATHEMATICS, 1935, 57 : 703 - 732
[27] Higher order dissolutions and Boolean coreflections of locales
Plewe, T
JOURNAL OF PURE AND APPLIED ALGEBRA, 2000, 154 (1-3) : 273 - 293
[28] Boolean logics with relations
Balbiani, Philippe
Tinchev, Tinko
RELATIONS AND KLEENE ALGEBRA IN COMPUTER SCIENCE, 2008, 4988 : 4 - 21
[29] On hybrid control of higher order Boolean networks
Chen, Hao
Sun, Jitao
NEUROCOMPUTING, 2014, 142 : 458 - 463
[30] Controllability of higher order Boolean control networks
Li, Fangfei
Sun, Jitao
APPLIED MATHEMATICS AND COMPUTATION, 2012, 219 (01) : 158 - 169

← 1 2 3 4 5 →