LPL software
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.
Keywords for this software
References in zbMATH (referenced in 15 articles )
Showing results 1 to 15 of 15.
Sorted by year (- Burton, Jim; Howse, John: The semiotics of spider diagrams (2017)
- Baumgartner, Michael: Exhibiting interpretational and representational validity (2014)
- Alama, Jesse: Eliciting implicit assumptions of Mizar proofs by property omission (2013)
- Barker-Plummer, Dave; Barwise, Jon; Etchemendy, John: Language, proof, and logic. In collaboration with Albert Liu, Michael Murray and Emma Pease. With CD-ROM (2011)
- McKeon, Matthew William: A plea for logical objects (2009)
- Panchenko, B.E.; Pysanko, I.M.: Properties of a relational framework synthesized over a set of semantically atomic predicates (2009)
- Bringsjord, Selmer: The logicist manifesto: At long last let logic-based artificial intelligence become a field unto itself (2008)
- Howse, John; Stapleton, Gem: Visual mathematics: Diagrammatic formalization and proof (2008)
- Arnold, Ruedi; Hartmann, Werner: LogicTraffic-logik in der allgemeinbildung (2007) ioport
- Reichert, Raimond; Nievergelt, Jürg; Hartmann, Werner: Programming with Kara. A playful introduction to informatics. (2005)
- Mossakowski, Till; Haxthausen, Anne E.; Sannella, Donald; Tarlecki, Andrzej: CASL---The Common algebraic specification language: Semantics and proof theory (2003)
- Verheij, Bart: Artificial argument assistants for defeasible argumentation (2003) ioport
- McMath, David; Rozenfeld, Marianna; Sommer, Richard: A computer environment for writing ordinary mathematical proofs (2001)
- Reiter, Raymond: Knowledge in action. Logical foundations for specifying and implementing dynamical systems (2001)
- di Luzio, Patrick Scotto: Logical systems and formality (2000)