Drexel dragonThe Math ForumDonate to the Math Forum

The Math Forum Internet Mathematics Library

Automated Reasoning Project

_____________________________________
Library Home || Full Table of Contents || Suggest a Link || Library Help
_____________________________________

Visit this site: http://cslab.anu.edu.au/ar/
Author:Computer Sciences Laboratory, Australian National University, Canberra
Description: A research group that investigates the mathematical properties of non-classical logics, and studies algorithms for reasoning in various systems, both classical and non-classical. Includes access to software developed by the team for projects such as FINDER (Finite Domain Enumerator), MaGIC (Matrix Generator for Implication Connectives) and Kripke (A theorem prover for the relevant logic LR), and more.
Levels: College, Research
Languages: English
Resource Types: Research Centers, Topic Tools Miscellaneous
Math Topics: Logic/Foundations

[Privacy Policy] [Terms of Use]

_____________________________________
Home || The Math Library || Quick Reference || Search || Help
_____________________________________

© 1994-2013 Drexel University. All rights reserved.
http://mathforum.org/
 The Math Forum is a research and educational enterprise of the Goodwin College of Professional Studies.The Math Forum is a research and educational enterprise of the Drexel University School of Education.