 where \(A\) is a sentence and \(\boldsymbol{A}\) is its name. But given any standard means of self-reference, e.g., arithmetisation, one can construct a sentence, \(B\), which says that \(\neg T(\boldsymbol{B})\). The T-scheme gives that \(T(\boldsymbol{B}) \leftrightarrow \neg T(\boldsymbol{B})\). It then follows that \(T(\boldsymbol{B}) \wedge \neg T(\boldsymbol{B})\). (This is, of course, just the  liar paradox.)  A full development of a theory of truth in paraconsistent logic is given by Beall (2009); for more general details see Beall et al 2018.