Strict logic


strict logic is a logic.