Weak probability polyadic algebras. (English) Zbl 1048.03051

Marinković, S.; Rašković, M.; Đorđević, R.

Facta Univ., Ser. Math. Inf. 16, 1-12 (2001).

The class of weak probability polyadic algebras is described. The algebras correspond to the weak probability logic with infinite predicates. The authors are motivated by a connection between Boolean algebras, cylindric algebras, Keisler’s \(K(V,\nu,m)\)-logic and polyadic algebras. The representation theorem is proved for the considered class of algebras.

Reviewer: Zoran Ognjanović (Beograd)

MSC:

03G15	Cylindric and polyadic algebras; relation algebras
03B48	Probability and inductive logic
03C75	Other infinitary logic
03C80	Logic with extra quantifiers and operators

Keywords:

weak probability polyadic algebras; weak probability logic with infinite predicates