no code implementations • 8 Aug 2022 • Sophia Knight, Pavel Naumov, Qi Shi, Vigasan Suntharraj
The article proposes a new technique for proving the undefinability of logical connectives through each other and illustrates the technique with several examples.