Drexel dragonThe Math Forum

The Math Forum Internet Mathematics Library

Gateway to Logic

Library Home || Full Table of Contents || 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- The Math Forum at NCTM. All rights reserved.