Gateway to Logic
Library Home || Full Table of Contents || Suggest a Link || Library Help
|Christian Gottschall; Dept. of Philosophy, Vienna|
|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.|
|Resource Types:||Net-Based Resources, Topic Tools, Topic Tools Miscellaneous, Web Interactive/Java|
© 1994- The Math Forum at NCTM. All rights reserved.