A note on infinitary continuous logic
Stefano Baratella · Mathematical logic quarterly · 2015
We show how to extend the Continuous Propositional Logic by means of an infinitary rule in order to achieve a Strong Completeness Theorem. Eventually we investigate how to recover a weak version of the Deduction Theorem.