The Talos Principle – Solving puzzles using SAT solvers
After my last post on , there was a sale of The Talos Principle, so I got it and started playing. And soon I got stuck at these kind of puzzles where one has...
Tagged: Logic
CafeOBJ 1.5.0 released
Yesterday we have finally released CafeOBJ 1.5.0. This marks a great step forward in a long development history of this algebraic specification and verification language. To quote from our README: CafeOBJ is a new...
Vienna Summer of Logic
This year we, the Kurt Gödel Society, are organizing the biggest event in the history of logic – the Vienna Summer of Logic. 12 conferences and many workshops, expected number of participants around 2500....
Gaisi Takeuti – Proof Theory
One of the best works on proof theory finally is back in print – Gaisi Takeuti‘s Proof Theory. Originally published as Volume 81 in the series Studies in Logic and the Foundations of Mathematics...
