Logic analyzer with build in protocol analyzer. To acquire the signals you have to build you own ATmega microcontroller based hardware. Schema is [http://protocolviewer.googlecode.com/files/newsla.pdf here]. http://protocolviewer.googlecode.com/files/pla2.png Note: This project is started off...

= Implementing a Dependently-Typed Lambda Calculus = Welcome to our COMP 527 project webpage on _implementing a dependently-typed lambda calculus_. In this project we will try to learn about simply-typed and dependently-typed lambda calculus, experiment with different implementations, and make...

=FOLIE= ==Features== FOLIE which means "folly" in French stands for First-Order Logic Integrating Environment. It consists of a program that recognizes a theory written in a language of first order logic with polymorphic types and checks if sorts, terms, formulas and proofs are correctly defin...

Research in Logic

=[http://www.timtomtam.de/rockonfuzzy/ RockOn Fuzzy Tool]= !RockOn Fuzzy is an open source fuzzy control and simulation tool in Java. This project is a result of a fuzzy logic course at the University of Kassel, Germany. During our investigation on fuzzy logic we recognized that there is a very rar...

<table><tr valign="middle" align="center"><td><font color="blue"><b>Can't code<br/>without</b></font></td><td><a href="http://www.jetbrains.com/idea/"><img src="http://www.jetbrains.com/idea/opensource/img/all/banners/idea125x37_white.gif" alt="Intellij IDEA - the best Java IDE" border="0"/></a></td...

This scala project is a general framework for applied proof theory. * 24/11/2009 - Milestone 1 was reached: # Language support for Typed Lambda Calculus, Higher and First order logics. # Language Algorithms - Beta reduction, substitution and replacement. # Sequent Calculus. ...

FuXi has been moved to a new Google Code _[http://code.google.com/p/fuxi project]_: _[http://code.google.com/p/fuxi/source/browse/ hg source]_ python-dlp will mainly consist of applications built on top of FuXi. Some ideas include: * [http://code.google.com/p/python-dlp/wiki/Agentem Agen...

This suite of tools consists of: * hylores : a resolution-based theorem prover for the hybrid logic H(@,A,D,◇¯,↓) * htab : a tableaux-based theorem prover for the hybrid logic H(@,A,D,◇¯,↓) with role inclusion * hylolib : the common library used by the other provers * gridtest : a framewor...

bulman is designed as a free and open-source C++ fuzzy logic library and intended to be used as part of Computational Intelligence applications. An example application which demonstrates usage is provided with source code distribution. == Features == * Common membership functions such as Triang...