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.

Posted by Thomas Sutton on August 28, 2013. Tagged with: event, functional programming, fp-syd, simulation, testing, compiling, SAT, logic.

Long time no blog

Posted by Thomas Sutton on August 4, 2006. Tagged with: books, TAPL, ATTAPL, logic.

Three new philosophy books

Posted by Thomas Sutton on May 6, 2006. Tagged with: books, logic, philosophy.

Goals: the Motivation of Procrastination

Posted by Thomas Sutton on June 23, 2005. Tagged with: logic, haskell.

Tableau Methods for Modal Logics

Posted by Thomas Sutton on March 1, 2005. Tagged with: books, logic.

A little bit on logic and trans-world identity

Posted by Thomas Sutton on January 28, 2005. Tagged with: logic, philosophy.

More on Modal Logic

Posted by Thomas Sutton on January 17, 2005. Tagged with: books, logic.

Summer Project

Posted by Thomas Sutton on December 15, 2004. Tagged with: srp, logic, graph, visualisation.

A Radial Layout

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

Posted by Thomas Sutton on December 15, 2004. Tagged with: srp, logic, graph, visualisation.

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.

Posted by Thomas Sutton on November 26, 2004. Tagged with: srp, logic, graph, visualisation.