In math, specifically the study of logic, one occassionally finds it useful to consider logical systems other than Boolean logic, that is, true (verum) and false (falsum). There may be logics in which a member represents a statement of unknown truth, for instance. This module aims to implement the most common of these logics to facilitate mathematical research.