Drexel dragonThe Math ForumDonate to the Math Forum

The Math Forum Internet Mathematics Library

Gateway to Logic

_____________________________________
Library Home || Full Table of Contents || Suggest a Link || Library Help
_____________________________________

Visit this site: http://logik.phl.univie.ac.at/chris/formular-uk.html.O5

Author:Christian Gottschall; Dept. of Philosophy, Vienna
Description: A collection of Web-based logic programs offering a number of logical functions. Client side processing (requires Java): sparse trees, alpha graphs (Peirce), Begriffsschrift notation (Frege), Polish notation, truth tables, normal forms, miscellaneous operations in classical propositional logic and in some multi-valued logics; server side processing Server side processing offers parse trees, alpha graphs, Polish notation, truth tables, normal forms, and a theorem prover (classical propositional logic), and checks for propositional intuitionistic validity; proof builder: interactively construct propositional proofs in a calculus of natural deduction; and proof checker: checks proofs in the calculus presented by E.J. Lemmon's book Beginning Logic and Colin Allen's Logic Primer (predicate logic). Includes a manual, available in Spanish and Dutch.

Levels: College, Research
Languages: English
Resource Types: Net-Based Resources, Topic Tools, Topic Tools Miscellaneous, Web Interactive/Java
Math Topics: Logic/Foundations

[Privacy Policy] [Terms of Use]

_____________________________________
Home || The Math Library || Quick Reference || Search || Help
_____________________________________

© 1994-2014 Drexel University. All rights reserved.
http://mathforum.org/
The Math Forum is a research and educational enterprise of the Goodwin College of Professional Studies.The Math Forum is a research and educational enterprise of the Drexel University School of Education.