Gateway to Logic - A collection of web-based logic programs offering a number of logical functions: interactively or automatically build proofs, check theorems, and operate on propositional logic formulae.


Home		Set as Homepage		Add to Favorite		Contact

09 November, 2009

search for

egories

New Addition

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

Industrial Valve Supplier India

Wholesale Industrial Chemical Suppliers

Dhoop Incense Manufacturing Company

Loft conversion London

Spring Compression Manufacturer

Chemicals Supplier From India

Digital Linx Hosting

Madison Construction

Hearts of Gold Senior Home Care

Team Green Outdoor

Get This List Of Used Cars In Portland

Hudson Poly Bag, Inc.

Hydraulic Jack Wholesaler

IT Outsourcing Company

Category: Main » Science » Math » Logic and Foundations » Software	UPDATE URL \| REPORT BROKEN LINK
Gateway to Logic	Popularity: Hit: 79

Details:

	A collection of web-based logic programs offering a number of logical functions: interactively or automatically build proofs, check theorems, and operate on propositional logic formulae. Sponsored Links:
URL:	http://logik.phl.univie.ac.at/~chris/formular-uk.html
Title:	Gateway to Logic
Description:	Science, Math, Logic and Foundations, Software - Gateway to Logic. A collection of web-based logic programs offering a number of logical functions: interactively or automatically build proofs, check theorems, and operate on propositional logic formulae.
Specialized in:	Logic

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

Real USA essay writing company (Popularity:

): �What we want is for our clients to be happy with the work we have done.� � Essaywritingcompany. The world is ...
SCOLR Pharma, Inc. Reports Third Quarter 2009 Financial Results (Popularity:

): SCOLR Pharma, Inc. (Amex: DDD) today reported financial results for the three and nine months ended September 30, 2009. Stephen J. ...
AARP Calls On Idaho's U.S. Reps To Back House Health Care Reform Bill (Popularity:

): As the debate over health care reform reaches a fevered pitch and the House readies to vote on critical health ...
Spherion U.S. Employment Report: Worker Confidence Dips (Popularity:

): The Spherion Employee Confidence Index decreased by one point to 48.4 in October. The Index, which measures workers' confidence in ...
China, Technology and Private Equity to Drive IPO Activity in 2010 (Popularity:

): The Ernst & Young Institutional Investor IPO survey 2009, highlights the likely markets and sectors that will lead listing activity ...

Related Articles

Lowest Credit Score For Getting Your Debt Settled? (Popularity:

): Those looking for a means of getting their debt settled are probably concerned with their current credit score. When someone ...
The Top 5 Weight Loss Supplements in 2009 For Men (Popularity:

): One of the largest problems with men and working out is that the results are not always as fast as ...
Start a Janitorial Business and Say Good-Bye to the High Unemployment Numbers! (Popularity:

): With the national employment rate hovering around 10%, many Americans are turning to self employment. If you are one of these ...
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 ...
Short Sales to Stop Foreclosure and Income Taxes (Popularity:

): Homeowners who sell their homes through a short sale are often very concerned about the tax implications of the sale. ...