• DML-CZ Home

03B99 None of the above, but in this section (21 articles)

• Dalla Chiara, Maria Luisa; Giuntini, Roberto: A formal analysis of musical scores. (English). Mathematica Slovaca, vol. 56 (2006), issue 5, pp. 591-609
• Thomas, Gerhard G.: On permutographs. (English). In: Frolík, Zdeněk (ed.): Proceedings of the 10th Winter School on Abstract Analysis. Circolo Matematico di Palermo, Palermo, 1982. pp. [275]-286
• Havránek, Tomáš: Automatické formování hypotéz metodou GUHA - teorie a aplikace. (Czech) [Automatic hypothesis formation by the GUHA method - theory and application]. Pokroky matematiky, fyziky a astronomie, vol. 26 (1981), issue 3, pp. 136-150,151
• Bek, Roman; Růžička, Milan: On modelling of large variable systems of higher degree by means of language systems. (English). Kybernetika, vol. 15 (1979), issue 6, pp. (408)-428
• Bek, Roman: Discourse on one way in which a quantum-mechanics language on the classical logical base can be built up. (English). Kybernetika, vol. 14 (1978), issue 2, pp. (85)-101
• Dvurečenskij, Anatolij: Signed states on a logic. (English). Mathematica Slovaca, vol. 28 (1978), issue 1, pp. 33-40
• Šipoš, Ján: Subalgebras and sublogics of $\sigma$-logics. (English). Mathematica Slovaca, vol. 28 (1978), issue 1, pp. 3-9
• Materna, Pavel: Theory of types and data description. (English). Kybernetika, vol. 14 (1978), issue 5, pp. (313)-327
• Dvurečenskij, Anatolij: On some properties of transformations of a logic. (English). Mathematica Slovaca, vol. 26 (1976), issue 2, pp. 131-137
• Bek, Roman: Time change of objects and problem of their identification. (English). Kybernetika, vol. 12 (1976), issue 3, pp. (151)-170
• Pudlák, Pavel: The observational predicate calculus and complexity of computations (Preliminary communication). (English). Commentationes Mathematicae Universitatis Carolinae, vol. 16 (1975), issue 2, pp. 395-398
• Mleziva, Miroslav: Semantics based on states of affairs. (English). Kybernetika, vol. 11 (1975), issue 5, pp. (319)-335
• Mleziva, Miroslav: States of affairs as values for formulas. (English). Kybernetika, vol. 11 (1975), issue 1, pp. (3)-25
• Kent, Clement F.: “Disorder” in lattices of binumerations. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 15 (1974), issue 2, pp. 221-244
• Tondl, Ladislav: Types of preference. (English). Kybernetika, vol. 10 (1974), issue 5, pp. (389)-408
• Palúch, Stanislav: The lattices of numerations of theories containing Peano's arithmetic. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 14 (1973), issue 2, pp. 339-359
• Kramosil, Ivan: A method for random sampling of formulas of an elementary theory and statistical estimation of their deducibility equipped by a program. II. A method for statistical testing of an at random sampled formula. (English). Kybernetika, vol. 9 (1973), issue 3, pp. (162)-173
• Kůrka, Petr: The Heyting doctrines. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 13 (1972), issue 4, pp. 643-657
• Kramosil, Ivan: A method for random sampling of well-formed formulas. (A method for random sampling of formulas of an elementary theory and statistical estimation of their deducibility equipped by a program. I.). (English). Kybernetika, vol. 8 (1972), issue 2, pp. (133)-148
• Alda, Václav: On hidden variables. (English). Aplikace matematiky, vol. 17 (1972), issue 1, pp. 53-55
• Hájek, Petr: On interpretability in set theories. II. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 13 (1972), issue 3, pp. 445-455