1 paper
Dan Seabold, Stefan Waner, Steve Warner
We describe a graph-theoretic syntax for self-referential formulas as well as a four-valued logic to include contradictory and independent formulas. We then explore the degree to w…