sequent calculus
3 feeds in the directory cover this.
Ryan's Blog
Ryan Brewer's personal blog, covering ideas in programming languages, software, logic, abstract math, and analytic philosophy.
Antitypical
turnstile travelogue
Diary of an itinerant turnstilist in their daily quest for deeper confusion....
Machine-readable: JSON · all topics