PnC relevant weblogs, news feeds and links feeds
Besides the Bulletin page here, you can catch up with what's going on in proof theory at:
- consequently.org is Greg's main weblog, and he also keeps his snippets feed at del.icio.us
- Charles Stewart keeps a diary at advogato.org
- logicandlanguage.net is the weblog of Gillian Russell.
- Thoughts, Arguments and Rants is the weblog of Brian Weatherson, who is also a distinguished contributor to Crooked Timber.
- LogBlog is the weblog of Richard Zach
- Jon Cohen posts at That Logic Blog: the post on cut elimination is an example of his proof theoretic ramblings.
- Tennessee Leeuwenburg blogs to Melbourne Philosopher
- Matt Wiener blogs at Opiniatrety, mostly philosophy of language, but with rare forays into proof theoretical issues.
- Kenneth Easwaran blogs at Antimeta on mathematics and metaphysics.
- Andrej Bauer keeps Mathematics and Computation which has an emphasis on contructive logic.
- Computational Truth is the weblog of Peter Gerdes, aka. logicnazi.
- Thomas Sutton's Labelled Tableaux is a welog recording his project of implementing a tableaux theorem prover in Haskell.