A fundamental completeness theorem for bivalent free logics. - Kupffer, Manfred (Logic Journal of the IGPL, 2026)