2 papers
math.LO2006
Infinite time computable model theory
Joel David Hamkins, Russell Miller, Daniel Seabold +1
We introduce infinite time computable model theory, the computable model theory arising with infinite time Turing machines, which provide infinitary notions of computability for st…
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…