zbMATH — the first resource for mathematics

Statistical estimation of deducibility in polyadic algebras. (English) Zbl 0216.29502

03G15 Cylindric and polyadic algebras; relation algebras
03B35 Mechanization of proofs and logical operations
Full Text: EuDML
[1] A. Špaček: Statistical Estimation of Provability in Boolean Logics. Transactions of the Second Prague Conference on Information Theory, Prague 1959. Prague 1960, 609-626.
[2] A. Špaček: Statistical Estimation of Semantic Provability. Proceedings of the Fifth Berkeley Symposium on Mathematical Statistics, 1960, vol. 1, 655-688.
[3] P. R. Halmos: The basic concepts of algebraic logic. American Mathematical Monthly 53 (1956), 363-387. · Zbl 0070.24506
[4] P. R. Halmos: Algebraic logic II. Homogeneous locally finite polyadic Boolean algebras of infinite degree. Fundamenta Mathematicae 43 (1956), 255 - 325.
[5] P. R. Halmos: Algebraic Logic. Chelsea Publishing Company, New York 1962. · Zbl 0101.01101
[6] A. Mostowski: Logika matematyczna. PWN, Warszawa-Wroclaw, 1948.
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.