Bramhub

LEGUP

Logic Engine for Grid-Using Puzzles - a better way to learn formal logic

aris

Aris: a logic engine/formal proof interface; 3nd generation, successor to the Java version of Aris.

Willow

A web-based tool for creating and validating truth trees

aris-java

Aris: a logic engine/formal proof interface; 2nd generation, successor to the C version of Aris.

Monty-Hall

Website for learning about the how people approach the Monty Hall problem

HASSPathways

An interactive web application that allows students to navigate through their selected HASS integrated pathway courses

LegupWeb

python-ND-APG

A Natural Deduction Automated Proof Generator in python

VisualLogic-Web

TFTrees

An interface for creating proofs with Truth Trees

Argument-Diagram

Argument diagram tool built using joint.js

bris

DPTrees

Draw trees using Davis-Putnam Algorithm

existential-graphs

gui_resolution

Standalone logical resolution application for Computability and Logic RPI course final project.

HLD-TT

Generate a truth tree for a given argument

LogicalBox

Computability and Logic project with Rom and Kate

logician

A boolean algebra expression simplifier

NanoNav

OwenTMS

Owen Turing Machine Simulator

Proof-Generator

Resolute

GUI for Resolution Problem Solving

sequent-proof-interface-name

Project for PHIL-4140 at RPI

ShortTruthTables

An interface for creating proofs using short truth tables in c++

stroop-tester

react app that demonstrates the stroop effect

STT-Solver

An automated theorem prover for short truth tables in python

TruthFunctionalExpansion

TruthTree_solver

turing-machine-to-fol

water-jug-search

An interactive website where you can visualize the search process for a computer solving the Water Jug Problem.