Formal Logic interpreter and library