Logic Software from CSLI - By Jon Barwise and John Etchemendy.


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
Logic Software from CSLI	Popularity: Hit: 17

Details:

	By Jon Barwise and John Etchemendy. Sponsored Links:
URL:	http://www-csli.stanford.edu/hp/Logic-software.html
Title:	The Openproof Project at CSLI
Description:	Science, Math, Logic and Foundations, Software - Logic Software from CSLI. By Jon Barwise and John Etchemendy.
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 ...
ProofPower (Popularity:

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

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

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

TiVo Reports Results for the Third Quarter Fiscal Year 2010 Ended October 31, 2009 (Popularity:

): TiVo Inc. (Nasdaq: TIVO), the creator of and a leader in television services for digital video recorders (DVRs), today reported ...
Survey: 90 Percent of Consumers to Shop Online this Holiday Season; Majority Have Security Concerns (Popularity:

): A new exclusive survey from Sunbelt Software, a leading provider of Windows security software, reveals that more than half (56 ...
Increase in Shoplifting Has Retailers Turning to New Technologies to Combat Crime This Holiday Season (Popularity:

): The busiest shopping season of the year is upon us and more shoppers in stores mean more shoplifting and theft. ...
Jean Rah Fya Records Recording Artist Bobby Tinsley Wins for Best R&B/Soul Artist at the 2009 HMMA Awards! (Popularity:

): Jean Rah Fya Records recording artist Bobby Tinsley won the award for Best R&B/Soul Artist at the 2009 HMMA awards ...
MSI US Launches High-Performance Wind Top 21.5-inch Multi-Touch Screen All-in-One Desktop PC (Popularity:

): MSI, a leading manufacturer of computer components and systems, today announced the U.S. availability of the Wind Top AE2220 all-in-one ...

Related Articles

Giving is Our Foundation (Popularity:

): A strong characteristic of living a Christian lifestyle is having a giving heart. In fact, giving is our foundation. Remember ...
High Speed AIT-5 Tape Media Format (Popularity:

): Advanced intelligent tape storage technology uses helical scan in which the data is recorded on diagonal tracks. The recording system ...
Maximize Free People Search (Popularity:

): There are a number of free people search engines available online now and playing a great role in Internet World. ...
Teaching You How to Burn PS3 Games the Proper Way (Popularity:

): With powerful new technology like the PlayStation 3, game burning has become even more complicated. Even if you've mastered burning ...
Learn How to Restore Windows XP Registry the Easiest Way Here! (Popularity:

): There are plentiful of reasons why we should know how to restore Windows XP registry. Doing so can help you ...