MUltseq - A generic sequent prover for propositional finitely-valued logics.


Home		Set as Homepage		Add to Favorite		Contact

28 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
MUltseq	Popularity: Hit: 84

Details:

	A generic sequent prover for propositional finitely-valued logics. Sponsored Links:
URL:	http://www.logic.at/multseq/
Title:	MUltseq home page
Description:	Science, Math, Logic and Foundations, Software - MUltseq. A generic sequent prover for propositional finitely-valued logics.
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 ...
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.
LOOM (Popularity:

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

Popular Sites

LOOM (Popularity:

): A language and environment for constructing intelligent applications. It is a research project in the Artificial Intelligence research group at ...
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 ...
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

Sinovac Reports Unaudited Third Quarter 2009 Financial Results (Popularity:

): Sinovac Biotech Ltd. (Nasdaq: SVA), a leading developer and provider of vaccines, announced today its unaudited financial results for the ...
Frost & Sullivan Observes that Downstream Activities are Expected to Provide Stability to the Southeast Asian Oleochemicals Market (Popularity:

): Downstream activities are the order of the day, as basic and mature oleochemicals segments such as fatty acid and fatty ...
STMicroelectronics Introduces Silicon Tuner Supporting Digital-Terrestrial TV Standard as Analog Switch-Off Gathers Pace (Popularity:

): As demand grows for economical equipment allowing households to access digital terrestrial television services, STMicroelectronics (NYSE: STM), the world's largest ...
Leading Auction, Sales & Marketing Specialists Combine Strengths to Form Dreyer Real Estate Auctions (Popularity:

): Capitalizing on decades of individual experience and combined capabilities, a top-level team of real estate development, auction, sales and marketing ...
Auction of Nearly 70 Foreclosed Homes Throughout Northern California Offers Buyers Bushel of Bargains (Popularity:

): Sales of bank-owned homes are increasing in foreclosure-laden states like California, as buyers realize these properties can be purchased at ...

Related Articles

Illinois Bankruptcy Laws (Popularity:

): Debt Relief Solutions - Understanding Illinois Laws about Bankruptcy Illinois bankruptcy laws for those residents who file Chapter 7 bankruptcy ...
Communicate Using Simple and Effective Listening (Popularity:

): There is more to communication skills than just listening. Have you been in a meeting and there is an agreement ...
Are There Real Business Benefits of ISO 14001? (Popularity:

): Let's start by asking what an environmental management system is? And I find that many people consider the answer to ...
Some of the Best Plant-Based Natural Skin Care Oils (Popularity:

): There are many different natural skin care oils. Practically every plant in the world can be pressed for oil. Some ...
Leader heads - that extra touch! (Popularity:

): A leader head can make or break the image that your home projects in general. An appropriate leader head can ...