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

26 November, 2009

search for

egories

New Addition

Polyester Bath Mats Manufacturers

Advanced Combustion Technology, Inc.

Indian Staffing Services

Carpet Cleaning Victoria

Color Guard Floors

San Francisco Caregiver

Baltimore Innovations- Desiccant and Moisture Control Experts

Griffin Construction Services

Hotel in Jodhpur - Hotel Sachdeva Excellency

Indian Institute of Alternative Medicine

Solar Panels Outlet

Kitchens

Door Architrave Manufacturers

Dynamic Website Designing

Kobe Motor Company Exports Japanese Used Cars

Bamboo Flooring

OmniCoil Spring Works Inc.

Affordable Used Cars

Australian Vets.

Mercator

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

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

BMO Financial Group Announces Agreement to Acquire the Diners Club North American Franchise From Citigroup (Popularity:

): Gives BMO exclusive rights to issue Diners Club cards in North America; clients will benefit from worldwide acceptance and ability ...
BJ Services Reports Fourth Fiscal Quarter Net Loss From Continuing Operations of $0.01 per Diluted Share (Popularity:

): BJ Services Company (NYSE: BJS; PCX; CBOE) today reported a net loss from continuing operations of $2.8 million, or $(0.01) ...
Essential of Bathroom Bath and Taps (Popularity:

): If you have decided to furnish your bathroom with some bathroom bath, then why not use plastic bathroom taps because ...
Newly Designed Swarovski Crystal Star Unveiled for the 2009 Rockefeller Center(R) Christmas Tree (Popularity:

): Swarovski, the leading producer of crystal stones and crystal fashion jewelry, today unveiled the newly refurbished crystal star that will ...
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 ...

Related Articles

Time Travel Exotica (Popularity:

): Travel and time, they go together. When you travel you take time, whether for business or pleasure or both there ...
Is Starbucks Going Sleeveless? (Popularity:

): If you're a regular customer of Starbucks and enjoy a hot drink, then you know about the little cardboard "sleeve" ...
Are You Being Overcharged on Your Auto Insurance? You Must Know Ways to Avoid it (Popularity:

): If you consider your auto insurance costs are too high, then you could be right. Read and check around your ...
International Calling Cards - Money Saving Option When Traveling Abroad (Popularity:

): The world has become a smaller place with the advent of fast transportation methods such as high speed trains, monorails, ...
Climate Change and Global Warming Versus Global Cooling (Popularity:

): There is some global warming from vast amounts of anthropogenic or man made pollution. The industrial age brought about a ...