@openreasoning/predicate-types (npm): Types of Predicate Logic
Keywords: logic|reasoning|formal logic