| Title:
|
Statistical estimation of deducibility in polyadic algebras (English) |
| Title:
|
Statistický odhad dokazatelnosti v polyadických algebrách (Czech) |
| Author:
|
Kramosil, Ivan |
| Language:
|
English |
| Journal:
|
Kybernetika |
| ISSN:
|
0023-5954 |
| Volume:
|
7 |
| Issue:
|
3 |
| Year:
|
1971 |
| Pages:
|
(181)-200 |
| Summary lang:
|
Czech |
| . |
| Category:
|
math |
| . |
| MSC:
|
02G05 |
| MSC:
|
03B35 |
| MSC:
|
03G15 |
| idZBL:
|
Zbl 0216.29502 |
| idMR:
|
MR0300881 |
| . |
| Date available:
|
2009-09-24T16:17:56Z |
| Last updated:
|
2012-06-04 |
| Stable URL:
|
http://hdl.handle.net/10338.dmlcz/125738 |
| . |
| Reference:
|
[1] A. Špaček: Statistical Estimation of Provability in Boolean Logics.In: Transactions of the Second Prague Conference on Information Theory, Prague 1959. Prague 1960, 609-626. MR 0123477 |
| Reference:
|
[2] A. Špaček: Statistical Estimation of Semantic Provability.In: Proceedings of the Fifth Berkeley Symposium on Mathematical Statistics, 1960, vol. 1, 655-688. MR 0136538 |
| Reference:
|
[3] P. R. Halmos: The basic concepts of algebraic logic.American Mathematical Monthly 53 (1956), 363-387. Zbl 0070.24506, MR 0086028 |
| Reference:
|
[4] P. R. Halmos: Algebraic logic II. Homogeneous locally finite polyadic Boolean algebras of infinite degree.Fundamenta Mathematicae 43 (1956), 255 - 325. MR 0086029 |
| Reference:
|
[5] P. R. Halmos: Algebraic Logic.Chelsea Publishing Company, New York 1962. Zbl 0101.01101, MR 0131961 |
| Reference:
|
[6] A. Mostowski: Logika matematyczna.PWN, Warszawa-Wroclaw, 1948. MR 0026972 |
| . |
