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 0

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...