PREDICATES, TERMS, OPERATIONS, AND EQUALITY IN POLYADIC BOOLEAN ALGEBRAS

被引：0

|

作者：

HALMOS, PR

机构：

来源：

PROCEEDINGS OF THE NATIONAL ACADEMY OF SCIENCES OF THE UNITED STATES OF AMERICA | 1956年 / 42卷 / 03期

关键词：

D O I：

10.1073/pnas.42.3.130

中图分类号：

O [数理科学和化学]; P [天文学、地球科学]; Q [生物科学]; N [自然科学总论];

学科分类号：

07 ; 0710 ; 09 ;

摘要：

引用

收藏

页码：130 / 136

页数：7

相关论文

共 50 条

[41] SIMPLER AXIOMS FOR POLYADIC ALGEBRAS
PINTER, CC
NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1972, 19 (05): : A602 - &
[42] THE BOOLEAN-ALGEBRA OF PREDICATES
KUHNRICH, M
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1980, 26 (04): : 355 - 360
[43] Polyadic and cylindric algebras of sentences
Amer, Mohamed
Ahmed, Tarek Sayed
MATHEMATICAL LOGIC QUARTERLY, 2006, 52 (05) : 444 - 449
[44] States on Polyadic Heyting Algebras
Dragulici, Dumitru Daniel
JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING, 2016, 27 (5-6) : 573 - 594
[45] THE POLYADIC GENERALIZATION OF THE BOOLEAN AXIOMATIZATION OF FIELDS OF SETS
Ferenczi, Miklos
TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 2012, 364 (02) : 867 - 886
[46] Postulates for boolean algebras and generalized boolean algebras
Stone, MH
AMERICAN JOURNAL OF MATHEMATICS, 1935, 57 : 703 - 732
[47] Terms that are self-dual in Boolean algebras but not in MO2
Kelly, David
Padmanabhan, R.
ALGEBRA UNIVERSALIS, 2009, 60 (02) : 163 - 168
[48] Terms that are self-dual in Boolean algebras but not in MO2
David Kelly
R. Padmanabhan
Algebra universalis, 2009, 60 : 163 - 168
[49] Commutative equality algebras and &-equality algebras
Kologani, M. Aaly
Borzooei, R. A.
Rezaei, G. R.
Jun, Y. B.
ANNALS OF THE UNIVERSITY OF CRAIOVA-MATHEMATICS AND COMPUTER SCIENCE SERIES, 2020, 47 (02): : 331 - 345
[50] DERIVATIVE OPERATIONS AND PREDICATES
MALCEV, AI
DOKLADY AKADEMII NAUK SSSR, 1957, 116 (01): : 24 - 27

← 1 2 3 4 5 →