Archive for Июнь 15th, 2008
Daily Archive
Воскресенье, Июнь 15th, 2008
Dave herman
Clumsy existential
this might be a stupid suspicions about: i often want to prove something like this:(∃ v . e → v) ↔ (∃ v′ ~ v . [[e]] → v′)except that the span doesn’t work loophole: v is only in scope in the first parenthesized proposition, so it can’t be referred to in the second […]
/img/button_xhtml.gif){kind=small}
/img/button_css.gif)
/img/button_rss.gif){kind=small}
/img/button_atom.gif){kind=small}