SEREA

Syllogistic Epistemic Reasoner

SEREA is a software library for the management of complex sillogysms. Syllogism is a deductive inference pattern based on the chaining of terms using quantified statements. Its classical formulation is the so-called Aristotelian Syllogistics.