an:00038461
Zbl 0749.03008
Ra??kovi??, Miodrag; ??or??evi??, Radosav S.
Finite compactness theorem for biprobability logics
EN
Math. Balk., New Ser. 5, No. 1, 12-14 (1991).
00159500
1991
j
03B48 03C80
biprobability logics; compactness theorem for universal conjunctive formulas
Summary: The aim of the paper is to prove the compactness theorem for universal conjunctive formulas of \(L_{{\mathcal A}P_ 1P_ 2}\) for both absolutely continuous and singular cases. A similar result for the logic \(L_{{\mathcal A}P}\) was proved by D. Hoover.