Logics With two Types of Integral Operators


Radosav_S. Đorđević


We prove completeness theorems for absolutely continuous and singular biprobability models of a logic with integrals. Also in both cases, we prove the finite compactness theorem for a set of sentences of the form $\tau \in [r,s]$.