Finite compactness theorem for biprobability logics. (English) Zbl 0749.03008

Rašković, Miodrag; Đorđević, Radosav S.

Math. Balk., New Ser. 5, No. 1, 12-14 (1991).

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.

MSC:

03B48	Probability and inductive logic
03C80	Logic with extra quantifiers and operators

Keywords:

biprobability logics; compactness theorem for universal conjunctive formulas