2 papers
math.LO2004
A Calculus of Inconsistency I: Sentential Logic
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…
math.LO1999
Infinite time Turing machines with only one tape
Joel David Hamkins, Daniel Evan Seabold
Infinite time Turing machines with only one tape are in many respects fully as powerful as their multi-tape cousins. In particular, the two models of machine give rise to the same…