LPL software

swMATH ID: 4860
Software Authors: Dave Barker-Plummer, Jon Barwise, John Etchemendy; Albert Liu, Michael Murray, Emma Pease
Description: Language, Proof and Logic covers topics such as the boolean connectives, formal proof techniques, quantifiers, basic set theory, and induction. Advanced chapters include proofs of soundness and completeness for propositional and predicate logic, as well as an accessible sketch of Godel’s first incompleteness theorem. The book is appropriate for a wide range of courses, from first logic courses for undergraduates (philosophy, mathematics, and computer science) to a first graduate logic course.
LPL consists of a book, three logic programs, and an Internet-based grading service. The Online Package version (available via the Store on this site) is different in that the book is available only in pdf format and that the software is downloaded and not distributed by CD. The grading service is free to students who purchase the package new.
Homepage: http://ggweb.stanford.edu/lpl/
Keywords: Language; Proof and Logic
Related Software: EPGY; REDUCE; OTTER; PyDREAM; ralgb5; ralgb4; IntLinInc3D; Pesca; mizar-items; Tipi; MML; z3; Mizar; MPTP 0.2; Dr.Doodle; OSCAR; Walksat; VAMPIRE; ATERM; CASL
Cited in: 20 Documents

Citations by Year