2 papers
cs.LO2015
Avoiding Contradictions in the Paradoxes, the Halting Problem, and Diagonalization
Timothy J. Armstrong
The fundamental proposal in this article is that logical formulas of the form (f <-> ~f) are not contradictions, and that formulas of the form (t <-> t) are not tautologies. Such f…
cs.IT2007
Position Coding
Edward Aboufadel, Timothy Armstrong, Elizabeth Smietana
A position coding pattern is an array of symbols in which subarrays of a certain fixed size appear at most once. So, each subarray uniquely identifies a location in the larger arra…