The Logic Lab


 

 

The Logic Lab

The Logic Lab is a collection of tools which allow for rapid prototyping and development of computer-based proof in arbitrary logics. It comprises a proof assistant and a tool for the type secure specification of derivation rules written in single conclusion sequent calculus.

The Logic Lab is covered in three talks on the Shen Education Channel. The first talk deals with the history of the Logic Lab. The second talk deals how to specify logics in the Logic Lab and the third and final talk deals with how to to conduct proofs in the logics so described.

Download

You can get the Logic Lab from here. Note you need the Shen Standard Library to run the Logic Lab. There is a binary for Shen under Windows with the Standard Library installed which you can get here.

New Book

The Logic Lab is the subject of a forthcoming publication in the summer of 2023.

LATEST NEWS

The support page for the text Logic, Proof and Computation is established.

______________________________

Shen Education Channel starts on Youtube.

______________________________

Faster, smaller S31 Shen kernel released; read about the S series of kernels here.

______________________________

Fourth edition of 'The Book of Shen' released; read about it here.

______________________________

Bruno Deferrari wins the first Shen Open Science prize.

______________________________

Yggdrasil project launched - the grand unification of programming languages.

______________________________

Want to advertise on this site? Go to the contacts page.

Built by Shen Technology (c) Mark Tarver, September 2021