Tree Proof Generator - An implementation of the semantic tableaux method for classical propositional and predicate logic, written in JavaScript/DOM.


Home		Set as Homepage		Add to Favorite		Contact

10 November, 2009

search for

egories

New Addition

Machine Installation Service

Small Business Phone Systems Mitel / Inter-tel Aastra Telephone system

Fire Alarm Cables Exporters

Esstech Inc.

Embroidery

Whispers Resort of St Pete Beach

Wholesale Feldspar

Industrial Thermocouples Manufacturers

Balloon Printing

Naturopath - Elite Health, Skin, Anti Aging Treatment Clinic

ID Card Printers

Emalgan Electric Inc.

FHA Loans Mobile Homes

Packaging Machinery Suppliers India

Goat & Sheep Leather Manufacturers

Stainless Steels Bars Supplier India

Heavy Duty Relay Manufacturer

Industrial Gearboxes Exporter

Recruitment Agency supply skilled polish workers

Generic Drug Manufacturers India

Category: Main » Science » Math » Logic and Foundations » Software	UPDATE URL \| REPORT BROKEN LINK
Tree Proof Generator	Popularity: Hit: 31

Details:

	An implementation of the semantic tableaux method for classical propositional and predicate logic, written in JavaScript/DOM. Sponsored Links:
URL:	http://www.umsu.de/logik/trees
Title:	Tree Proof Generator
Description:	Science, Math, Logic and Foundations, Software - Tree Proof Generator. An implementation of the semantic tableaux method for classical propositional and predicate logic, written in JavaScript/DOM.
Specialized in:

LWB (Popularity:

): Logics Workbench.
PROTEIN (Popularity:

): A PROver with a Theory Extension INterface. Theorem prover for first-order clause logic, written in ECRC's Prolog-dialect ECLiPSe. Free download, ...
Database of Existing Mechanized Reasoning Systems (Popularity:

): A list (>50 entries) of automatic resolution provers (like Otter), interactive provers (like PVS) and other mechanized reasoning tools.
Automated Reasoning Project (Popularity:

): Web resource provided by research group. Includes access to software developed by the team, coverering such projects as FINDER (Finite ...
MUltseq (Popularity:

): A generic sequent prover for propositional finitely-valued logics.
MUltlog (Popularity:

): Takes as input the specification of a finitely-valued first-order logic and produces a sequent calculus, a natural deduction system, and ...
WinKE: A Proof Assistant for Teaching Logic (Popularity:

): WinKE is an interactive proof assistant based on analytic tableaux, and designed for the teaching of deductive reasoning. Ordering information ...
The Coq Project (Popularity:

): Deals with effectively machine-checked formal mathematics. In practice, this includes the study of mathematical formalisms well-suited for implementations, the implementations ...
Logic Software from CSLI (Popularity:

): By Jon Barwise and John Etchemendy.
ProofPower (Popularity:

): A suite of tools supporting specification and proof in Higher Order Logic (HOL) and in Z notation.

Popular Sites

WinKE: A Proof Assistant for Teaching Logic (Popularity:

): WinKE is an interactive proof assistant based on analytic tableaux, and designed for the teaching of deductive reasoning. Ordering information ...
LOOM (Popularity:

): A language and environment for constructing intelligent applications. It is a research project in the Artificial Intelligence research group at ...
MUltseq (Popularity:

): A generic sequent prover for propositional finitely-valued logics.
Gateway to Logic (Popularity:

): A collection of web-based logic programs offering a number of logical functions: interactively or automatically build proofs, check theorems, and ...
The Coq Project (Popularity:

): Deals with effectively machine-checked formal mathematics. In practice, this includes the study of mathematical formalisms well-suited for implementations, the implementations ...

Related Press

Target Unwraps New Price Cuts on Holiday Toys (Popularity:

): Target� introduces all-new price cuts on some of the hottest toys this season, from national brands to Target exclusives. Shoppers ...
LTE UE Stack from L&T Infotech Accelerates Availability of LTE Terminal Devices (Popularity:

): L&T Infotech announced today the availability of its 3GPP release LTE UE (User Equipment) protocol stack (Ver 8), helping to ...
Yoko Ono, Sean Lennon and Julian Lennon Partner With EMI Music and Sony/ATV Music Publishing to Donate Net Proceeds From Plastic Ono Band's 'Give Peace a Chance' 40th Anniversary Digital Single to the United Nations Peacebuilding Fund (Popularity:

): To celebrate the unifying spirit and 40th anniversary of the Plastic Ono Band's universal anthem, "Give Peace a Chance," Yoko ...
Sierra Vista Bank Reports 3rd Quarter 2009 Financial Results (Popularity:

): Sierra Vista Bank (OTC Bulletin Board: SVBA), recently announced its financial results for the Quarter ending September 30, 2009. Assets ...
S&P: All S&P 500 Index Mutual Funds Are Not Created Equal (Popularity:

): Investors have put billions of dollars into vehicles that seek to track the S&P 500 index and logic would dictate ...

Related Articles

The Perfect Christmas Gift For All of the Important People in Your Life (Popularity:

): Do you have a Christmas gift list that's a mile long? Are you struggling under the stress of the holidays ...
Article Writing - 3 New Ways to Energize Your Article Writing (Popularity:

): Whether you're an internet marketer or a freelance writer, it's a must that you constantly energize or improve the quality ...
Creating Your Real Estate Investment Business Plan (Popularity:

): Congratulations! You are now in business! Before you commit a single dollar or a minute of your time any further ...
Time Travel Exotica (Popularity:

): Travel and time, they go together. When you travel you take time, whether for business or pleasure or both there ...
Learn Java - Online Java Tutorials and Tips (Popularity:

): You are new to Java that helps improve the web page design and you need to learn in order to ...