[1] I. Kramosil: Statistical Approach to Proof Theory. Supplement to Kybernetika, 15 (1979). MR 0562376 | Zbl 0445.68068

[2] J. Pavelka: On Fuzzy Logic I, II, III. To appear in Zeitschrift für Mathematische Logik und Grundlagen der Mathematik. MR 0524558

[3] A. Špaček: Statistical Estimation of Provability in Boolean Logics. In: Transactions of the Second Prague Conference on Information Theory..., NČSAV (Publishing House of the Czechoslovak Academy of Sciences), Prague 1960. MR 0123477

[4] O. Štěpánková I. M. Havel: A Logical Theory of Robot Problem Solving. Artificial Intelligence 7 (1976), 129-161. MR 0413627

[5] O. Štěpánková I. M. Havel: Incidental and State-Dependent Phenomena in Robot Problem Solving. Kybernetika 13 (1977), 6, 421-438. MR 0468377