GLyC - Logic, Language and Computability Research Group





Tools

Hybrid Logics

HyLoRes
HyLoRes is an advanced automated theorem prover for hybrid logics based on resolution. This is a joint development with the Talaris research group in Nancy, France.
Visit the project homepage
HyLoLib
HyLoLib is the support library for the InToHyLo project, a suite of cooperating inference tools for hybrid logics. This is a joint development with the Talaris research group in Nancy, France.
Visit the project homepage
ModalTesting
Framework for the comparison of theorem provers, using random generated formulas. This is a joint development with the Talaris research group in Nancy, France.
Visit the project homepage
Prepo
Prepo is a rewrite-rule driven term-rewriting engine for hybrid formulas.
The darcs repository is here
LTHL
Implementation of several satisfiability-preserving translations from hybrid logics to first-order logic, aimed to be used together with first-order theorem provers.
The darcs repository is here

Entropy-based automatic classification

ClasificaTutti
Classifies everything using WinZip