TY - JOUR
T1 - Self-conjugate functions on Boolean algebras
AU - Sudkamp, Thomas A.
PY - 1978/7
Y1 - 1978/7
N2 - In section 1 we investigate the properties of a self-conjugate function on a Boolean algebra (BA). In section 2, the notion of self-conjugacy will then be extended to functions of more than one variable and Boolean algebras with operators in which each of the additional operations has this property will be examined. In particular, we extend the definition of ideal element to every structure of this type. The notation of [3] will be used and a familiarity with that paper is assumed. In addition,/" will represent the composition of / with itself n times and id will denote the identity function on a BA.
AB - In section 1 we investigate the properties of a self-conjugate function on a Boolean algebra (BA). In section 2, the notion of self-conjugacy will then be extended to functions of more than one variable and Boolean algebras with operators in which each of the additional operations has this property will be examined. In particular, we extend the definition of ideal element to every structure of this type. The notation of [3] will be used and a familiarity with that paper is assumed. In addition,/" will represent the composition of / with itself n times and id will denote the identity function on a BA.
UR - http://www.scopus.com/inward/record.url?scp=84972514612&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84972514612&partnerID=8YFLogxK
UR - https://corescholar.libraries.wright.edu/cse/417
UR - https://projecteuclid.org/download/pdf_1/euclid.ndjfl/1093888415
U2 - 10.1305/ndjfl/1093888415
DO - 10.1305/ndjfl/1093888415
M3 - Article
AN - SCOPUS:84972514612
SN - 0029-4527
VL - 19
SP - 504
EP - 512
JO - Notre Dame Journal of Formal Logic
JF - Notre Dame Journal of Formal Logic
IS - 3
ER -