ADENA

  •        0

This project consists in the development of a Graphical User Interface (GUI) for a proof assistant for Propositional Classical Logic based on Natural Deduction method.

http://adena.codeplex.com/

Tags
Implementation
License
Platform

   

comments powered by Disqus


Related Projects

GNU Octave - Language for Numerical Computations


GNU Octave is a high-level interpreted language, primarily intended for numerical computations. It provides capabilities for the numerical solution of linear and nonlinear problems, and for performing other numerical experiments. It also provides extensive graphics capabilities for data visualization and manipulation. Octave Forge is a place for development of its packages; from bioinformatics and fuzzy logic to mechanics and instrument control.

Coreboot - BIOS Alternative


coreboot is aimed at replacing the proprietary BIOS (firmware) found in most computers. coreboot performs a little bit of hardware initialization and then executes additional boot logic, called a payload. coreboot can scale from specialized applications that run directly from firmware, run operating systems in flash, load custom bootloaders, or implement firmware standards, like PC BIOS services or UEFI.

BIRT


BIRT is an Eclipse-based open source reporting system for web applications, especially those based on Java and J2EE. BIRT has two main components: a report designer based on Eclipse, and a runtime component that you can add to your app server. BIRT also offers a charting engine that lets you add charts to your own application.

step - An async control-flow library that makes stepping through logic easy.


An async control-flow library that makes stepping through logic easy.

jFuzzyLogic


jFuzzyLogic is a java implementation of a Fuzzy Logic software package. It implements a complete Fuzzy inference system (FIS) as well as Fuzzy Control Logic compliance (FCL) according to IEC 61131-7 (formerly 1131-7).

NHibernate - object-relational mapper for .NET


NHibernate is a mature, open source object-relational mapper for the .NET framework. NHibernate is a port of Hibernate Core for Java to the .NET Framework. It handles persisting plain .NET objects to and from an underlying relational database.

jcel


This project is a reasoner for the description logic EL+. It computes the concept subsumption hierarchy. It is an OWL 2 EL reasoner.

WAtomic


WAtomic is a Windows clone of Linux KAtomic logic game, developed using the GLScene OpenGl based library for Delphi.

XSB


Logic Programming and Deductive Database system (Tabled Prolog) for Unix and Windows.

BL-Toolkit - Business Logic Toolkit for .NET


Business Logic Toolkit is a set of components to simplify .NET application development. BLToolkit is provided as source code that you can use "as is" or customize for your applications. It is written in C# and compatible with .NET Framework 3.5 and 4.0.