真值集代数：一种证明不可定义性的新方法
Truth Set Algebra: A New Way to Prove Undefinability
University of Minnesota Duluth（明尼苏达大学德卢斯分校）；University of Southampton（南安普顿大学）
AI总结：
本文提出了一种名为真值集代数的新技术，用于证明逻辑联结词之间的不可定义性，并通过实例验证了该方法的有效性，其中包含对现有定理的新证明及原创成果。
摘要：
本文提出了一种新方法，用于证明逻辑联结词之间的不可定义性，并通过几个例子进行了说明。其中一些结果是对现有定理的新证明，其他则是本工作的原创成果。
英文摘要：
The article proposes a new technique for proving the undefinability of logical connectives through each other and illustrates the technique with several examples. Some of the obtained results are new proofs of the existing theorems, others are original to this work.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
