TY - RPRT TI - Irreducible Truth-Value Algebras Suffice for the Completeness of Many First-Order Algebraic Logics AU - Richard DeJonghe AU - Kimberly Frey AU - Tom Imbo PY - 2016 UR - https://arxiv.org/abs/1606.05330 ID - 1606.05330 ER -