03 Mathematical logic and foundations
03C99 None of the above, but in this section (7 articles)
-
Adámek, Jiří; Rosický, Jiří:
A remark on accessible and axiomatizable categories.
(English).
Commentationes Mathematicae Universitatis Carolinae,
vol. 37
(1996),
issue 2,
pp. 411-414
-
Kramosil, Ivan:
A note on nonaxiomatizability of independence relations generated by certain probabilistic structures.
(English).
Kybernetika,
vol. 24
(1988),
issue 6,
pp. 439-446
-
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
-
Resl, Michal:
On models in the alternative set theory.
(English).
Commentationes Mathematicae Universitatis Carolinae,
vol. 20
(1979),
issue 4,
pp. 723-736
-
Šajda, Jozef:
On probability of first order formulas in a given model.
(English).
Kybernetika,
vol. 15
(1979),
issue 4,
pp. (261)-271