syllogism-project

Multilingual Framework for Solving Syllogisms

Syllogism project

Bachelor project in Computer Science on Gothenburg University. The goal was to prove the validity of syllogisms given in english. This was done using Grammatical Framework - a functional language for modelling grammars, Haskell - a functional language and E-prover - an automated theorem prover.

The Online Syllogism Solver

Project Information

Labels:
syllogism naturallanguage haskell grammaticalframework logic multilingualism grammar