Symbolic parser for Julia language term rewriting using REDUCE algebra
A Portable General-Purpose Computer Algebra System
Machine Translation: Foundations and Models
A monitor for MFOTL specifications
CTL-RP is a theorem prover for Computation Tree Logic (CTL)
Zoom is a browser-based logic application. Users can create a world of
Semantic Web Entailment Regime Translation and Inference Architecture
Didactic tool to support First Order Logic semantics learning