Posts tagged logic

There are 13 posts tagged with logic.

If you are interested in "logic" why not subscribe to the Atom feed or RSS feed?

FP-Syd, August 2013

The August 2013 meeting of the FP-Syd functional programming group in Sydney heard talks about simulation testing, functional languages targetting Javascript, and SAT solving.

Long time no blog

Three new philosophy books

Goals: the Motivation of Procrastination

Tableau Methods for Modal Logics

A little bit on logic and trans-world identity

More on Modal Logic

Summer Project

A Radial Layout

My first approach at generating a radial layout of the graph data logged by the theorem prover.

Verbosity: Not always a bad thing!

It appears that we need to set `very_verbose` to get the prover to output clauses generated by factorisation, etc. Without this, we get only 5 clauses from LCL403 instead of the nearly 30,000 expected.