三元布尔代数的一个加细
A refinement of ternary Boolean algebras
摘要：
提出了一种包含两个常数和一个三进制运算的代数结构，该代数结构是不完全交换的，可以容纳三进制布尔代数。当三元运算被解释为丘奇条件析取时，布尔代数被刻画为一个子簇。对三元运算的不同解释导致不同的子变种。用特征为2的环和近环来说明这一过程。
英文摘要：
An algebraic structure with two constants and one ternary operation, which is not completely commutative, is put forward to accommodate ternary Boolean algebras. When the ternary operation is interpreted as Church's conditioned disjunction, Boolean algebras are characterized as a subvariety. Different interpretations for the ternary operation lead to distinct subvarieties. Rings and near-rings of characteristic 2 are used to illustrate the procedure.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
