Truth Set Algebra: A New Way to Prove Undefinability
arXiv:2208.04422v29 citationsh-index: 14
AI Analysis
This addresses a foundational issue in logic for researchers, but it appears incremental as it builds on existing theorems.
The authors tackled the problem of proving undefinability of logical connectives by introducing a new technique called Truth Set Algebra, and they demonstrated it with examples, including both new proofs of existing theorems and original results.
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.