Logic ForAll
Forro' Logico: A blog to keep things.
Wednesday, April 1, 2026
The logic of using things exactly once — and why it matters
›
What a 1999 gathering of logicians was quietly getting right about the future of computing August 1999 · Dagstuhl Castle, Germany. In Au...
Friday, March 27, 2026
What If Cantor Was Wrong?
›
A blog post about infinity, categories, and a mathematical mystery. Cantor showed that not all infinities are equal: the infinity of the na...
Tuesday, March 17, 2026
Constructive modal Logics: Again
›
Gavin Bierman Over the last thirty years, I have repeatedly returned to a particular question ...
Thursday, March 12, 2026
Soundness and completeness are not enough
›
This blog post is based on a talk recently given at Chapman University, developed within the context of our joint Topos–Chapman collaborat...
‹
›
Home
View web version
