- D11: Only the latest open attack may be defended.
- D12: An attack may be answered at most once.
Wednesday, June 8, 2011
this is what happens when you think too much about dialogues
You start developing gut feelings; and the problem with gut feelings is that they are hard to transfer. It was a gut feeling about how N worked that led me to the characterization of implications in that system; and Jesse didn't believe me until he'd fully worked out a proof. Working with N meant focus on D10 and D13. Today, for reasons I'm not still entirely sure, I found myself back in Felscher's article, looking at D11 and D12, and suddenly I'm not seeing how they aren't redundant w.r.t. each other: