22 citations · 22 across the 4 of their papers we have counts for
1 paper · 2 filters
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…