• DML-CZ Home

03B60 Other nonclassical logic (11 articles)

• Gallardo, Carlos; Ziliani, Alicia: The ${\mathcal L}^m_n$-propositional calculus. (English). Mathematica Bohemica, vol. 140 (2015), issue 1, pp. 11-33
• Halaš, Radomír; Plojhar, Luboš: On systems of congruences on principal filters of orthomodular implication algebras. (English). Mathematica Bohemica, vol. 132 (2007), issue 4, pp. 423-435
• Halaš, Radomír: Annihilators in BCK-algebras. (English). Czechoslovak Mathematical Journal, vol. 53 (2003), issue 4, pp. 1001-1007
• Halaš, Radomír: Remarks on commutative Hilbert algebras. (English). Mathematica Bohemica, vol. 127 (2002), issue 4, pp. 525-529
• Štěpán, Jan: Individualised normative logic. (English). Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica, vol. 28 (1989), issue 1, pp. 265-275
• Štěpán, Jan: Time conditional propositions. (English). Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica, vol. 27 (1988), issue 1, pp. 355-363
• Pulmannová, Sylvia: On representations of logics. (English). Mathematica Slovaca, vol. 33 (1983), issue 4, pp. 357-362
• 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
• Hájek, Petr; Kalášek, Pavel; Kůrka, Petr: O dynamické logice. (Czech) [On dynamic logic]. Kybernetika, vol. 16 (1980), issue 7, pp. (1),3-41
• Materna, Pavel: An intensional approach to questions. (English). Kybernetika, vol. 15 (1979), issue 3, pp. (161)-192
• Ivánek, Jiří: The non-axiomatizability of the observational predicate calculus (generalized Trachtenbrot's theorems). (English). Commentationes Mathematicae Universitatis Carolinae, vol. 18 (1977), issue 1, pp. 41-57