doc. RNDr. Miroslav Kolařík, Ph.D. publikace
Journal papers
- O programovacím jazyku PROLOG.
Matematika–Fyzika–Informatika 33, 1 (2024), 52–71.
- c-ideals in complemented posets.
Mathematica Bohemica 149, 3 (2024), 305–316;
co-authors: I. Chajda, H. Länger.
- O zbohatnutí na základě rychlejšího přístupu k informacím.
Matematika–Fyzika–Informatika 32, 1 (2023), 66–71.
-
Orthomodular and Skew Orthomodular Posets.
Symmetry 2023, 15, 810, 13 pages;
co-authors: I. Chajda, H. Länger.
-
Varieties corresponding to classes of complemented posets.
Miskolc Mathematical Notes 22, 2 (2021), 611–623;
co-authors: I. Chajda, H. Länger.
-
Extensions of posets with an antitone involution to residuated structures.
Fuzzy Sets and Systems 425 (2021), 169–175;
co-authors: I. Chajda, H. Länger.
- Sheffer operation in complemented posets.
Mathematics for Applications 10 (2021), 1–7;
co-author: I. Chajda.
-
Evolution of objects and concepts.
Soft Computing 23 (2019), 9449–9458;
co-authors: I. Chajda, J. Paseka.
- Dva základní šifrovací principy.
Matematika–Fyzika–Informatika 27, 1 (2018), 67–76.
-
ToTem: a tool for variant calling pipeline optimization.
BMC Bioinformatics 19, 1 (2018), 243–251;
co-authors: N. Tom, O. Tom, J. Malcikova, S. Pavlova, B. Kubesova, T. Rausch, V. Benes, V. Bystry, S. Pospisilova.
- Reduced axioms for the propositional logics induced by basic algebras.
Soft Computing 22, 4 (2018), 1203–1207;
co-author: I. Chajda.
- A short note on LCBA—fuzzy logic with a non-associative conjunction.
Discuss. Mathem., General Algebra and Apll. 36, (2016), 113–116.
-
On some properties of directoids.
Soft Computing 19, 4 (2015), 955–964;
co-authors: I. Chajda, J. Gil-Férez, R. Giuntini, A. Ledda, F. Paoli.
-
Variety of orthomodular posets.
Miskolc Mathematical Notes 15, 2 (2014), 361–371;
co-author: I. Chajda.
-
Lexicographic Product vs Q-perfect and H-perfect Pseudo Effect Algebras.
Soft Computing 18 (2014), 1041–1053;
co-author: A. Dvurečenskij.
-
Every skew effect algebra can be extended into a total algebra.
Journal of Multiple-Valued Logic and Soft Computing 23, 1/2 (2014), 53–72;
co-author: I. Chajda.
-
Algebras assigned to ternary relations.
Miskolc Mathematical Notes 14, 3 (2013), 827–844;
co-authors: I. Chajda, H. Länger.
-
Pseudo basic algebras.
Journal of Multiple-Valued Logic and Soft Computing 21, 1/2 (2013), 113–129;
co-authors: I. Chajda, J. Krňávek.
-
Independence of the axiomatic system for MV-algebras.
Math. Slovaca 63, 1 (2013), 1–4.
-
Very true operators in effect algebras.
Soft Computing 16, 7 (2012), 1213–1218;
co-author: I. Chajda.
-
Dynamic effect algebras.
Math. Slovaca 62, 3 (2012), 379–388;
co-author: I. Chajda.
-
Tense operators on basic algebras.
International Journal of Theoretical Physics 50, 12 (2011), 3737–3749;
co-authors: M. Botur, I. Chajda, R. Halaš
-
On double basic algebras and pseudo-effect algebras.
Order 28, 3 (2011), 499–512;
co-authors: I. Chajda, J. Kühr.
- Properties of relatively pseudocomplemented
directoids.
Math. Bohemica 136, 1 (2011), 9–23;
co-authors: I. Chajda, F. Švrček.
-
Polynomial permutations on bounded commutative directoids with an antitone involution.
Soft Computing 15, 1 (2011), 183–186;
co-authors: I. Chajda, H. Länger.
- Implication and equivalential reducts of basic algebras.
Acta Univ. Palacki. Olom., Fac. rer. nat., Mathematica 49, 2 (2010), 21–36;
co-authors: I. Chajda, F. Švrček.
- Interval basic algebras.
Novi Sad Journal of Mathematics 39, 2 (2009), 71–78;
co-author: I. Chajda.
- Basic pseudorings.
Acta Univ. Palacki. Olom., Fac. rer. nat., Mathematica 48 (2009), 25–31;
co-author: I. Chajda.
- Remarks on pseudo MV-algebras.
Discuss. Mathem., General Algebra and Apll. 29 (2009), 5–19;
co-author: I. Chajda.
-
Independence of axiom system of basic algebras.
Soft Computing 13, 1 (2009), 41–43;
co-author: I. Chajda.
- Normalization of basic algebras.
Discuss. Mathem., General Algebra and Apll. 28, 2 (2008), 237–249.
- Monadic basic algebras.
Acta Univ. Palacki. Olom., Fac. rer. nat., Mathematica 47 (2008), 27–36;
co-author: I. Chajda.
- A common approach to directoids with an antitone involution and D-quasirings.
Discuss. Mathem., General Algebra and Apll. 28, 2 (2008), 139–145;
co-author: I. Chajda.
- Commutative directoids with sectionally antitone bijections.
Discuss. Mathem., General Algebra and Apll. 28, 1 (2008), 77–89;
co-authors: I. Chajda, S. Radeleczki.
- Nearlattices.
Discrete Mathematics 308, 21 (2008), 4906–4913;
co-author: I. Chajda.
- Characterizations of posets via weak states.
Demonstratio Mathem. 41, 3 (2008), 491–496;
co-authors: I. Chajda, H. Länger.
- Ideals, congruences and annihilators on nearlattices.
Acta Univ. Palacki. Olom., Fac. rer. nat., Mathematica 46 (2007), 25–33;
co-author: I. Chajda.
- Directoids with an antitone involution.
Comment. Math. Univ. Carolin. 48, 4 (2007), 555–569;
co-author: I. Chajda.
- Directoids with sectionally antitone involutions and skew MV-algebras.
Math. Bohemica 132, 4 (2007), 407–422;
co-author: I. Chajda.
- MV-like algebras associated to lambda-ortholattices.
Demonstratio Mathem. 40, 2 (2007), 261–270;
co-authors: I. Chajda, P. Emanovský.
- Near lambda-lattices.
Kyungpook Math. J. 47, 2 (2007), 283–294;
co-author: I. Chajda.
- A decomposition of homomorphic images of
nearlattices.
Acta Univ. Palacki. Olom., Fac. rer. nat.,
Mathematica 45 (2006), 43–52; co-author: I. Chajda.
Papers in proceedings
- Direct decomposition of basic algebras and their idempotent modifications.
Acta Univ. M. Belii 15 (2009), 11–19, ISBN: 978-80-8083-906-2;
co-author: I. Chajda.
- Derived quasirings of directoids with an antitone involution.
Studentská vědecká soutěž „O cenu děkana 2007“, Olomouc 2007, pp 23–28, ISBN 978-80-244-1759-2.
Other publications (in Czech)
- Matematika 1: lineární algebra.
Olomouc 2021, textbook, 125 pages;
co-author: I. Chajda.
- Matematická analýza 1: řešené příklady ke cvičením.
Olomouc 2020, textbook, 95 pages;
co-author: E. Foltasová.
- Algebra 1: řešené příklady ke cvičením.
Olomouc 2017, textbook, 34 pages.
- Matematická logika: řešené příklady ke cvičením.
Olomouc 2017, textbook, 16 pages.
- Úvod do informatiky: řešené příklady ke cvičením.
Olomouc 2014, textbook, 41 pages.