• DML-CZ Home

18A15 Foundations, relations to logic and deductive systems (11 articles)

• Demirci, Mustafa: Aggregation operators on partially ordered sets and their categorical foundations. (English). Kybernetika, vol. 42 (2006), issue 3, pp. 261-277
• Mijoule, Richard: La théorie des fonctions indexées en récursivité. (French) [The theory of indexed functions in recursion]. Archivum Mathematicum, vol. 23 (1987), issue 4, pp. 191-206
• Borceux, Francis; Pedicchio, M. Cristina: De Morgan's and strong De Morgan's laws in a topos of shaves. (English). Acta Universitatis Carolinae. Mathematica et Physica, vol. 28 (1987), issue 2, pp. 9-12
• Rosický, J.: Does $2^X$ exist for a proper class X?. (English). In: Frolík, Z. (ed.): Abstracta. 8th Winter School on Abstract Analysis. Czechoslovak Academy of Sciences, Praha, 1980. pp. 138-142
• Adámek, Jiří; Herrlich, Horst; Strecker, George E.: Least and largest initial completions. I. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 20 (1979), issue 1, pp. 43-58
• Adámek, Jiří; Herrlich, Horst; Strecker, George E.: Least and largest initial completions. II. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 20 (1979), issue 1, pp. 59-77
• Koubek, Václav; Reiterman, Jan: A set functor which commutes with all homfunctors is a homfunctor. (English). Czechoslovak Mathematical Journal, vol. 26 (1976), issue 2, pp. 183-191
• Kůrka, Petr: The Heyting doctrines. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 13 (1972), issue 4, pp. 643-657
• Reiterman, Jan: An example concerning set-functors. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 12 (1971), issue 2, pp. 227-233
• Stach, Květomil: Normalgruppoide einer Kategorie. (German) [Normal grupoids in a category]. Archivum Mathematicum, vol. 6 (1970), issue 4, pp. 213-220
• Stach, Květomil: Über einige Zerlegungen in einer Kategorie. (German) [On some decompositions in a category]. Archivum Mathematicum, vol. 6 (1970), issue 4, pp. 203-211