Tagged: Mathematics

1

CafeOBJ 1.6.0 released

We have released version 1.6.0 of CafeOBJ, an algebraic specification and verification language. This release incorporates the following changes: CITP is officially renamed to PTCalc documents are not updated yet PTCalc(CITP) enhancements :init defined...

0

CafeOBJ 1.5.9 released

Yesterday we released CafeOBJ 1.5.9 with several new feature, bug fixes, and optimizations. Changes from the previous version: improved memoization higher heap allocation on 64bit systems fixes to .cafeobj file handling new switch ‘show...

0

CafeOBJ 1.5.8 released

Some time ago we released CafeOBJ 1.5.8 with some new features and bugfixes for the inductive theorem prover CITP. We are still struggling with SBCL builds on Windows, which suddendly started to produce corrupt...

0

Hyper Natural Deduction

After quite some years of research, my colleague Arnold Beckmann and my paper on Hyper Natural Deduction has finally been published in the Journal of Logic and Computation. This paper was the difficult but...

1

CafeOBJ 1.5.7 released

Yesterday we released CafeOBJ 1.5.7 with lots of changes concerning the inductive theorem prover CITP, as well as fixes to make CafeOBJ work with current SBCL. The documentation has gained a few more documents...

4

Gaisi Takeuti, 1926-2017

Two days ago one of the most influential logician of the 20th century has passed away, Gaisi Takeuti (竹内 外史). I had the pleasure to meet this excellent man, teacher, writer, thinker several times...

1

CafeOBJ 1.5.5 released

Yesterday we have released CafeOBJ 1.5.5 with a long list of changes, and many more internal changes. Documentation pages have been updated with the latest reference manual (PDF, Html) as well as some new...

1

CafeOBJ 1.5.4 released

Yesterday we have released CafeOBJ 1.5.4 with a long list of changes, and many more internal changes. Documentation pages have been updated with the latest reference manual (PDF, Html) as well as some new...