Consistency and interpolation in linear continuous logic

We prove Robinson consistency theorem as well as Craig, Lyndon and Herbrand interpolation theorems in linear continuous logic.

Automated summary

We prove the Robinson consistency theorem, as well as Craig, Lyndon, and Herbrand interpolation theorems, in linear continuous logic.