Truth Set Algebra: A New Way to Prove Undefinability
From MaRDI portal
Publication:6407337
arXiv2208.04422MaRDI QIDQ6407337FDOQ6407337
Authors: Sophia Knight, Pavel Naumov, Q. Shi, Vigasan Suntharraj 
Publication date: 8 August 2022
Abstract: 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.
This page was built for publication: Truth Set Algebra: A New Way to Prove Undefinability
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6407337)
