Katedra

Aktuality

Nacházíte se v sekci: Úvod » Katedra » Členové katedry » Prof. RNDr. Ivan Chajda DrSc.

Prof. RNDr. Ivan Chajda DrSc.

vedoucí oddělení algebry

Odborné zaměření:

algebra

Kontakt:

Telefon: +420 58 563 4653
E-mail: ivan.chajda@upol.cz
Adresa: AG, 17. listopadu 12, 771 46 Olomouc
Pracovna: 5.021
Konzultační hodiny: St: 7:30 - 9:00 , Pá.:7:30 - 9:00

Publikační činnost

Matrix representation of homomorphic mappings of finite Boolean algebras, Arch. Math. 3, VIII (1972), 143-148.
Extensions of mappings of finite Boolean algebras to homomorphismus, Arch. Mat. 1, IX (1973), 22-25.
Direct products of homomorphic mappings, Arch. Math. 2, IX (1973), 61-65.
On substiution of operations in systems of equations over algebras, Arch. Math. 3, IX (1973), 135-139.
Tolerance relations on lattices, Casopis pro pest. matem. 99 (1974), 394-399 (coauthor B. Zelinka).
Direct products of homomorphic mappings II, Arch. Math. 1, X (1974), 1-8.
Systems of equations and tolerance relations, Czech. Math. J. 25 (160) (1975), 302-308.
Systems of equations over finite Boolean algebras, Arch. Math. 4, IX (1973), 171-182.
Direct decompositions of homomorphic mappings of weakly associative lattices, Annales Univ. Sci. Budapest, XVII (1974), 29-34.
Ideals of N-algebras, Arch. Math. 3, X (1974), 189-194.
Compatible relations on algebras, Casop. pest. Matem. 100 (1975), 123-130 (coauthor B. Zelinka).
Matrices of homomorphic mappings, Arch. Math. 3, XI (1975), 123-130.
A construction of tolerances on modular lattices, Casop. pest. matem. 101 (1976), 195-198.
Weakly associative lattices and tolerance relations, Czech. Math. J. 26 (101) (1976), 259-269 (coauthor B Zelinka).
On existence conditions for compatible tolerances, Czech. Math. J.26 (101) (1976), 304-311 (coauthors B. Zelinka, J. Niederle).
Direct products of weak homomorphisms, Arch. Math. 3, XII (1975), 143-152.
On the unique factorization problem, Mathematica Slovaca 26 (1976), No 3, 201-205.
Lattices of tolerances, Casopis pro pest. matem. 102 (1977), 10-24 (coauthor B. Zelinka).
Lattices of compatible relations, Arch. Math. 2, XIII (1977), 89-96.
Minimal compatible tolerances on lattices, Czech. Math. J. 27 (102) (1977), 452-459.
Permutable tolerances, Casop. pest. matem. 102 (1977), 217-220 (coauthor B. Zelinka).
Ideals of binary relational systems, Casop. pest. matem. 102 (1977), 135-140.
Weak homomorphism of systems of equations, Arch. Math. 3, XIII (1977) 135-140.
Homomorphisms of direct products of algebras, Czech. Math. J. 28 (103) (1978), 155-170.
Ideals of weakly associative lattices and pseudo-ordered sets, Arch. Math., XIII (1977) (coauthor J. Niederle).
Notes on lattice congruences, Casop. pest. matem. 103 (1978), 255-258.
Two constructions of compatible relations, Czech. Math. J. 28 (163) (1978), 431-444.
Metrics and tolerances, Arch. Math. 14 (1978), No 4, 193-200 (coauthor B. Zelinka).
On the tolerance extension property, Casop. pest. matem. 103 (1978), 327-332.
Congruence factorizations on distributive lattices, Mathematica Slovaca 28 (1978), 343-347.
Regularity and permutability of congruences (preliminary report), Notices AMS, 1979 February, Issue 192, No 2, p.A-202, 79T-A70.
Tolerance regular varieties of algebras (preliminary report), Notices AMS, 1979 August, Vol. 26, No 5, p.A-422, 79T-A157.
Tolerance relations on direct products of monoids and distributive lattices, Glasnik Matematicki 14 (1979), 11-16 (coauthor B. Zelinka).
Partitions, coverings and blocks of compatible relations, Glasnik Matematicki 14 (1979), 21-26.
Congruences on direct products of algebras in congruence-permutable varieties, Notices AMS, 1979 October, Vol. 26, No 6, p.A-503, 79T-A203.
A characterization of distributive lattices by tolerance lattices, Arch. Math. 15 (1979), No 4, 203-204.
Tolerances and convexity, Czech. Math. J. 29 (1979), 584-587 (coauthor B. Zelinka).
Decompositions of homomorphisms, Czech. Math. J. 29 (1979), 568-572.
Directly decomposable tolerances (preliminary report), Abstracts AMS, Vol 1, No 2, February 1980, 80T-AS9, p.218 (coauthor J. Nieminen).
Tolerance Hamiltonian property (preliminary report), Abstracts AMS, Vol 1, No 2, February 1980, 80T-A63, p.219.
The extension property of orderings, Acta Math. Acad. Sci. Hungar. 34 (1979), 253-255.
Characterizations of relational blocks, Algebra Univ. 10 (1980), 65-69.
Functionally complete algebras with a majority polynomial (preliminary report), Abstracts AMS, Vol 1, No 4, January 1980, 80T-A116, p.357.
Blocks of binary relations,Annales Univ. Sci. Budapest, Sectio Math. 13-14 (1977-1980), 3-1 (coauthor J. Duda).
Chinese Remainder Theorem for tolerances, Abstracts AMS, Vol 1, No 5, August 1980, 80T-A141, p.473.
How to draw tolerance lattices of finite chains, Archivum Math. 16 (1980), 161-166 (coauthors Dalik, Niederle, Veselý, Zelinka).
Relational classes and their characterizations, Archivum Math. 16 (1980), 199-204.
Polynomially determined tolerances, Czech. Math. J. 30 (1980), 470-474.
Tolerances and the Chinese Remainder Theorem, Mathematica Slovaca 30 (1980), 369-371.
Atomicity of tolerance lattices, Czech. Math. J. 30 (1980), 606-609 (coauthor Nieminen).
A Malcev characterization of tolerance regularity, Acta Sci. Math. Szeged 42 (1980), 229-232.
Regularity and permutability of congruences, Algebra Univ. 11 (1980), 159-162.
Distributivity and modularity of lattices of tolerance relations, Algebra Univ. 12 (1981), 247-255.
A note on functionally complete algebras, Arch. Math. (Brno) 17 (1981), 139-140.
Recent results and trends in tolerances on algebras and varieties, Coll. Math. Soc. J. Bolyai 28, Finite Algebra and Multiple-valued Logic, 69-95, NorthHolland 1981.
Two characterizations of locally order-polynomially complete lattices, Algebra Univ. 13 (1981), 395-396.
Direct decomposability of congruences in congruence-permutable varieties, Mathematica Slovaca 32 (1982), 93-96.
Finitely generated relations and their applications to permutable and n-permutable varieties, CMUC 23 (1982), 41-54 (coauthor Duda).
Direct decomposability of tolerances on lattices, semilattices and quasilattices, Czech. Math. J. 32 (1982), 110-115 (coauthor Nieminen).
Tolerance Hamiltonian varieties of algebras, Acta Sci. Math.Szeged 44 (1982), 13-16.
Regularity and coherence, Abstracts AMS, Vol 3, No 3 (1982), 82T-08-244, p.256.
Varieties with directly decomposable diagonal subalgebras, Annales Univ. Sci. Budapest, Sectio Math. 25 (1982), 193-201.
A characterization of transferable congruences, Abstracts AMS, Vol 3, No 3 (1982), 82T-08-298, p.288
Characterizations of Rees algebras, Abstracts AMS, Vol 4 (1983), 337-404, 83T-08-341, p.391 (coauthor J. Duda).
Tolerances and orderings on semilattices, Arch. Math. (Brno) 19 (1983), 125-132 (coauthors J. Nieminen, B. Zelinka).
Directly decomposable tolerances on direct products of lattices and semilattices, Czech. Math. J. 33 (1983), 519-521 (coauthor B. Zelinka).
Relational characterizations of permutable and n-permutable varieties, Czech. Math. J. 33 (1983), 505-508 (coauthor J. Rachůnek).
Transferable principal congruences and regular algebras, Mathematica Slovaca 34 (1984), 97-102.
Complemented tolerances on lattices, Casop. pest. matem. 109 (1984), 54-59 (coauthor B. Zelinka).
Tolerance trivial algebras and varieties, Acta Sci. Math. Szeged 46 (1983), 35-40.
Coherence, regularity and permutability of congruences, Algebra Univ. 17 (1983), 170-173.
Varieties with directly decomposable subalgebras and homomorphismus, Algebra Univ. 19 (1984), 11-15.
A Mal´cev condition for congruence principal permutable varieties, Algebra Univ. 19 (1984), 337-340.
Coherence in dual discriminator varieties, Mathematica Slovaca 35 (1985), 155-159.
Regularity in arithmetical varieties, Arch. Math. (Brno) 20 (1984), 177-182.
On extensions of cyclic orders, Casop. pest. matem. 110 (1985), 116-121 (coauthor V. Novák).
Varieties with tolerance and congruence extension property, Arch. Math. (Brno) 21 (1985), 5-12.
Rees algebras and their varieties, Publ. Math. (Debrecen) 32 (1985), 17-22 (coauthor J. Duda).
Every finite chain is the tolerance lattice of some lattice, Glasnik. Matem. (Zagreb) 20 (1985), 3-6 (coauthor B. Zelinka).
Weakly regular lattices, Mathematica Slovaca 35 (1985), 387-391.
Transferable tolerances and weakly tolerance regular lattices, Coll. Math. Soc. J. Bolyai 43, Lectures in Universal Algebra, Szeged 1986, 27-40.
Weakly regular algebras in varieties with principal compact congruences, Czech. Math. J. 36 (1986), 140-146.
Relatives of 3-permutability and principal tolerance trivial varieties, Annales Univ. Sci. Budapest, Sectio Mathem. 28 (1985), 37-47.
Tolerance and congruence conditions: connections and applications, Mathematica (Cluj-Napoca, Rumunsko) 28 (51) (1986), 31-37.
Congruence distributivity in varieties with constants, Arch. Math. (Brno) 22 (1986), 121-124.
Notes on the big Dipper identity, Annales Univ. Sci. Budapest, Sectio Mathem. 29 (1986), 97-101.
Directly decomposable congruences in varieties with nullary operations, Mathematica Slovaca 37 (1987), 31-35.
Algebras with principal tolerances, Mathematica Slovaca 37 (1987), 169-172.
A characterization of tolerance-distributive tree semilattices, Czech. Math. J. 37 (1987), 175-180 (coauthor B. Zelinka).
A localization of some congruence conditions in varieties with nullary operations, Annales Univ. Sci. Budapest, Sectio Math. 30 (1987), 17-23.
On the one principal congruence identity, Arch. Math. (Brno) 23 (1987), 187-190.
Examples of local uniformity of congruences, Acta Sci. Math. Szeged 52 (1988), 81-84.
The egg-box property of congruences, Mathematica Slovaca 38 (1988), 243-247.
Tolerances and congruences on implication algebras, Czech. Math. J. 38 (1988), 207-217 (coauthor B. Zelinka).
Tolerances in congruence permutable algebras, Czech. Math. J. 38 (1988), 218-255.
Varieties satisfying ideal equations, Mathematica Slovaca 39 (1989), 55-63 (coauthor J. Duda).
Algebras whose principal congruences form a sublattice of the congruence lattice, Czech. Math. J. 38 (1988), 585-588.
Algebras with tolerance extension property in 0, Czech. Math. J. 39 (1989), 142-146 (coauthor B. Pondělníček).
Forbidden configurations for distributive and modular ordered sets, Order 5 (1989), 497-423 (coauthor J. Rachůnek).
On Gratzer´s problem of binary 1-step congruence schemes, Czech. Math. J. 39 (1989), 470-476.
Modifications of congruence permutability, Acta Sci. Math. Szeged 53 (1989), 225-232.
Forms of the congruence principality, Periodica Mathem. Hungar. 20 (1989), 241-248.
A principal congruence identity characterizing the variety of distributive lattices with zero, Mathematica Slovaca 40 (1990), 129-131.
Weak homomorphisms in varieties, Casop. pest. matem. 115 (1990), 85-91.
A note on permutability in varieties, Casop. pest. matem 115 (1990), 85-91.
Quasicomplemented semilattices, Acta UPO, Fac. rer. nat. 97 (1990), 11-22.
On the existence of nontrivial tolerances in permutable algebras, Czech. Math. J. 40 (1990), 598-600.
Every at most four element algebra has a Mal´cev theory for permutabillity, Mathematica Slovaca 41 (1991), 35-39.
Varieties having distributive lattices of quasiorders, Czech. Math. J. 41 (1991), 85-89.
Weak coherence of congruences, Czech. Math. J. 41 (1991), 149-154.
Algebraic Theory of Tolerance Relations, Monograph series of Palacký University, 110 p, 1991.
Induced pseudo-orders, Acta UPO, Fac. rer. nat. 100, Math. 30 (1991), 9-16 (coauthor M. Haviar).
Permutability of congruences in varieties with idempotent operations, Acta UPO, Fac. rer. nat. 100, Math. 30 (1991), 578-582.
A note on representations of lattices by tolerances, Journal of Algebra 148 (1992), 247-275 (coauthor G. Czédli).
Characterizations of Hamiltonian algebras, Czech. Math. J. 42 (1992), 487-489.
Algebras and varieties satisfying the congruence extension property, Acta Sci. Math. Szeged 56 (1992), 19-21.
Varieties with modular and distributive lattices of symmetric or reflexive relations, Czech. Math. J. 42 (1992), 623-630.
Test algebras for Mal´cev conditions, General Algebra and Applications, Heldermann Verlag, Berlin (1993), 33-40.
Lattices in quasiordered sets, Acta UPO, Fac. rer. nat. 105, Math. 31 (1992), 6-12.
A note on varieties with distributive subalgebra lattices, Acta UPO, Fac. rer. nat. 105, Math. 31(1992), 25-28.
Complemented ordered sets, Arch. Math. (Brno) 28 (1992), 25-34.
Subdirecty irreducible and congruence distributive q-lattices, Czech. Math. J. 43 (1993), 635-642 (coauthor M. Kotrle).
Regular lattices, Acta UPO, Fac. rer. nat. 110, Math. 32 (1993), 17-20.
Subdirectly irreducible algebras of quasiordered logic, Acta UPO, Fac. rer. nat. 110, Math. 32 (1993), 21-26.
O kvaziporjadkach na universalnych algebrach (Russian), Algebra i logika (Novosibirsk) 22 (1993), 308-325 (coauthor A.G. Pinus).
Maltsev functions on small algebras, Stud. Sci. Math. Hungar.28 (1993), 339-348 (coauthor G. Czédli).
Congruences and ideals in semiloops, Acta Sci. Math. Szeged 59 (1994), 43-47 (coauthor R. Bělohlávek).
An algebra of quasiordered logic, Math. Bohemica 119 (1994), 129-135.
Algebras with n-transferable tolerances, Math. Bohemica 119 (1994), 137-142.
A characterization of arithmetical varieties by two-element subsets, Czech. Math. J. 44 (1994), 521-522.
Characterizing tolerance trivial finite algebras, Arch. Math. (Brno) 30 (1994), 165-169.
Boolean semirings, Czech. Math. J. 44 (1994), 763-767 (coauthor M. Kotrle).
A representation of the algebra of quasiordered logic by binary functions, Demonstratio Math. 27 (1994), 602-607.
Congruence properties of algebras in nilpotent shifts of varieties, General Algebra and Discrete Math., Heldermann Verlag, (Berlin) 1995, 35-46.
Congruences permutable with factor and decomposing congruences, Proceedings of the Summer School 1994, 10-18.
∑-isomorphic algebraic structures, Math. Bohemica 120 (1995), 71-81 (coauthor P. Emanovský).
Principal tolerances on lattices, Acta UP Olomouc, Math. 33 (1994), 17-22.
Genomorphismus of lattices and semilattices, Acta UP Olomouc, Math. 33 (1994), 23-27 (coauthor R. Halaš).
The Csákány theory of regularity for finite algebras, Mathematica Slovaca 45 (1995), 39-43.
Modularity and distributivity of the lattice of ∑-closed subsets of an algebraic structure, Math. Bohemica 120 (1995), 209-217 (coauthor P. Emanovský).
Normally presented varieties, Algebra Univ. 34 (1995), 327-335.
A note on invertible isogenomorphisms of lattices, Discussione Math. 15 (1995), 137-143.
Ideals of bi-ternary rings, Discussione Math. 15 (1995), 11-21 (coauthor R. Halaš).
Semilattices of finite arithmetical algebras, Czech. Math. J. 45 (1995), 659-662.
Congruence properties of q-algebras, Zeszyty Naukove, Matematika (Opole, Poland) 29 (1995), 39-43.
Some modifications of the congruence extension property, Mathematica Slovaca 45 (1995), 251-254.
Semi-implication algebra, Tatra Mountain Math. Publ. 5 (1995), 13-24.
On lattices whose ideals are all tolerance kernels, Acta Sci. Math. Szeged 61 (1995), 23-32 (coauthors G. Czédli, I. Rosenberg).
Indexed annihilators in lattices, Arch. Math. (Brno) 31 (1995), 259-262.
Tolerances on q-lattices, Czech. Math. J. 46 (1996), 21-28.
Indexed annihilators in ordered sets, Mathematica Slovaca 45 (1995), 501-508 (coauthor R. Halaš).
On weak congruence modular varieties, Filomat (Nis), Algebra, Logic and Discrete Mathem., 3-9 (1995), 633-638 (coauthors B. Šešelja, A. Tepavčević).
Varieties having the congruence extension property, Acta Univ. Palacki. Olom., Mathem. 34 (1995), 63-68.
Tolerance lattice of algebras with restricted similarity type, Acta Univ. Palacki.Olom., Mathem. 34 (1995), 59-62.
Ideal properties of congruences, Lect. Notes in Pure and Appl. Mathem., Marcel Dekker, Vol. 180, 1996, 431-436.
∑-Hamiltonian and ∑-regular algebraic structures, Math. Bohemica 121 (1996), 177-182 (coauthor P. Emanovský).
Remarks on Jónsson´s Lemma, Houston J. Mathem. 22 (1996), 249-262.
Permutability of tolerances with factor and decomposing congruences, Acta Math. Univ. Comen. 65 (1996), 93-96.
Pseudo-semirings induced by ortholattices, Czech. Math. J. 46 (1996), 405-411.
Ideals and congruence kernels of algebras, Czech. Math. J. 46 (1996), 733-744 (coauthor I. Rosenberg).
How to generate the involution lattice of quasiorders, Stud. Sci. Mathem. Hungar. 32(1996), 415-427 (coauthor G. Czédli).
Finite basis of ideal terms in ideal determined varieties, Algebra Univ. 37 (1997), 243-252 (coauthor R. Halaš).
Kernels of tolerance relations, Acta Math. Univ. Comen. 65 (1996), 189-193 (coauthors G. Czédli, I. Rosenberg).
A polynomial characterization of congruence classes, Algebra Univ. 37 (1997), 235-242 (coauthor R. Bělohlávek).
Congruences and ideals in ternary rings, Czech. Math. J. 47 (1997), 163-172 (coauthors R. Halaš, F. Machala).
Compact universal relation in varieties with constants, Czech. Math. J. 47 (1997), 173-178 (coauthor J. Duda).
Four notes on quasiorder lattices, Mathematica Slovaca 46 (1996), 371-378 (coauthor G. Czédli).
Congruence properties in single algebras, Discuss. Math., Algebra and Stochast. Methods 17 (1997), 67-78 (coauthor R.Bělohlávek).
Ideals of algebras in congruence permutable varieties, Discuss. Math., Algebra and Stochast. Methods 17 (1997), 123-129.
Congruence modularity at 0, Discuss. Math., Algebra and Stochast. Methods 17 (1997), 57-65 (coauthor R.Halaš).
The variety of Boolean semirings, Kyungpook Math. J. 1 (1997), 93-98 (coauthor M.Kotrle).
Rees ideal algebras, Mathem. Bohemica 112 (1997), 125-130.
Jónsson Lemma for regular and nilpotent shifts of pseudovarieties, Bull. Sect. Logic (Lódz) 26 (1997), 85-93 (coauthor E.Graczynska).
Regularity and permutability via transferability of tolerances, Acta UPO Mathem. 35 (1996), 39-42.
Congruence semimodularity of conservative groupoids, Acta UPO Mathem. 35 (1996), 43-46.
Jónsson Lemma for normally presented varieties, Mathem. Bohemica 122 (1997), 381-382.
An algebraic approach to partial lattices, Demonstratio Mathem.(Warsawa, Polsko) 30 (1997), 485-494 (coauthor Z.Seidl).
On n-permutability of varieties having p-determined congruences, Algebra and Model Theory (Novosibirsk) 51 (1997), A456, 39-42.
The degrees of regularity in varieties, Acta Univ. Palack. Olomouc, Mathematica 36 (1997), 27-31.
Polynomially determined congruences in algebras without constants, Acta Univ. Palack. Olomouc, Mathematica 36 (1997), 7-14 (coauthor R.Bělohlávek).
Congruences in ordered sets, Math. Bohemica 123 (1998), 95-100 (coauthor V.Snášel).
Discriminator algebras with one nullary operation, Contributions to General Algebra 10 (1998), Proceedings of the Klagenfurt Conference, 101-107 (coauthor I.G.Rosenberg).
Duality of bounded distributive q-lattices, Acta Univ. M.Belii, Math. 5 (1997), 63-72 (coauthor M.Ploščica).
Congruence identities and their local versions, Acta Appl. Math. 52 (1998), 253-256.
Ideals in permutable and 0-regular varieties, Discuss. Math. 18 (1998), 75-83 (coauthor R.Halaš).
Weak congruences in algebras having restricted similarity types, Discussione Math. 18 (1998), 27-38 (coauthors B.Šešelja, A.Tepavčević).
Lattices of compatible relations satisfying a set of formulas, Algebra Universalis 40 (1998), 51-58 (coauthors B.Šešelja, A.Tepavčević).
Locally regular varieties, Acta Sci. Math. (Szeged), 64 (1998), 31-35.
Filters and annihilators in implication algebras, Acta Univ. Palack. Olomouc, Mathematica, 37 (1998), 41-45 (coauthors R.Halaš, J.Zedník).
Algebras induced by hypersubstitutions, in: General Algebra and Discrete Mathem. (eds.: K.Denecke, H.-J.Vogel), Potsdam 1998, 11-25 (coauthors K.Denecke, R.Halaš).
Contributions to General Algebra 11, Proceedings of the Olomouc Workshop '98 AAA56 and the Summer School '98 on General Algebra and Ordered Sets, Verlag Johannes Heyn, Klugenfurt 1999, 231 pp.(coauthors G.Eigenthaler, R.Halaš, W.B.Müller, H.-J.Vogel, J.Zedník (eds.)).
A remark on congruence kernels in complemented lattices and pseudocomplemented semilattices, Contrib. to General Algebra 11, Verlag J.Heyn, Klagenfurt 999, 55-58 (coauthor G.Eigenthaler).
Algebraic duality of constant algebras, Czech. Math. J. 49 (1999), 415-420 (coauthor R.Halaš, A.G.Pinus).
Congruence classes in regular varieties, Acta Math. Univ. Comen. (Bratislava), 68(1999), 71-76 (coauthor R.Bělohlávek).
A note on Orthopseudorings and Boolean Quasirings, Sitzungsberichte Mathem.-naturwiss. Klasse Abt. II, Mathem., Phys. und Techn. Wiss. II (1998), 207, 83-94 (coauthor G.Eigenthaler).
Lattices of quasiorders on universal algebras, Czechoslovak Math. J., 49(1999), 291-301 (coauthor A.Pinus, A.Denisov).
Congruences and Ideals in Hilbert Algebras, Kyungpook Mathem. Journal, 39(1999), 429-432 (coauthor R.Halaš).
Local coherence for locally regular algebras, Algebra i teorija modelej 2, Novosibirsk 1999 (ed. A.G.Pinus, K.N.Ponomarjov), 29-33 (coauthor R.Halaš).
Algebras satisfying certain quasiorder identities, Acta Univ. Palack. Olomouc, Mathem., 38 (1999), 35-41.
Locally coherent algebras, Acta Univ. Palack., Olomouc, Mathem., 38(1999), 43-48.
Algebras presented by normal identities, Acta Univ. Palack. Olomouc, Mathem., 38(1999), 49-58 (coauthor E.Graczynska).
Congruence conditions connected with distributivity at 0, Acta Univ. M.Belii, Math. 7(1999), 35-39.
On n-permutable and distributive at 0 varieties, Acta Math. Univ. Comen. (Bratislava), 68(1999), 271-277.
Congruence kernels in weakly regular varieties, Southeast Asian Bull. of Math. 24(2000), 15-18.
Relative deductive systems and congruence classes, Multi.Val.Logic 5 (2000), 259-266 (coauthor R. Bělohlávek).
Ideals and the binary discriminator in universal algebra, Algebra Universalis 42 (1999), 239-251 (coauthors R. Halaš, I.G. Rosenberg).
Homomorphism and isomorphism theorems for choice algebras, Contributions to General Algebra 12 (Proc.of Vienna Conf.1999),Verlag J.Heyn, Klagenfurt 2000, 129-133 (coauthor H. Länger).
Dually regular varieties, Contributions to General Algebra 12 (Proc.of Vienna Conf.1999),Verlag J.Heyn, Klagenfurt 2000, 121-128 (coauthor G. Eigenthaler).
A note on congruence kernels in ortholattices, Mathem.Bohemica 125 (2000), 169-172.
Determined congruence classes in Brouwerian semilattices, East-West Journal of Math., 2 (2000), 49-54 (coauthor J. Zedník).
Ideals and congruences in generalized MV-algebras, Demonstratio Mathem., 33 (2000), 213-222 (coauthors R. Halaš, J. Rachůnek).
Ring-like operations in pseudocomplemented semilattices, Discussiones Math., Algebra and Appl., 20 (2000), 87-95 (coauthor H. Länger).
Modifications of Csátány´s theorem, Discussiones Math., Algebra and Appl., 20 (2000), 37-41.
A basic course on General Algebra, Technical University Press, Zielona Góra, Poland, 2000, 151pp. (Monograph) (coauthor K. Gtazek).
Uniformity of congruences in coherent varieties, Mathem. Bohem., 125 (2000), 269-273.
Duality of normally presented varieties, Int. Journal of Algebra and Comput., 10 (2000), 651-664 (coauthors R. Halaš, A.G. Pinus, I.G. Rosenberg).
An intermediate property between local permutability and permutability, General Algebra and Applications, Proc.of the 59-th Workshop on General Algebra Potsdam 2000 (Shaker Verlag 2000), 19-24 (coauthor R. Bělohlávek).
Characterizing binary discriminator algebras, Math. Bohem. 125 (2000), 497-505.
Relatively complemented ordered sets, Discussiones Mathem., General Algebra and Appl., 20 (2000), 207-217 (coauthor Z. Morávková).
Characterizing triplets for modular pseudocomplemented ordered sets, Math.Slovaca 50 (2000), 513-524 (coauthor R. Halaš).
Annihilators in normal autometrized algebras, Czech.Math.J., 51 (2000), 111-120 (coauthor J. Rachůnek).
Regularity of generalized MV-algebras, Demonstratio Mathem., 34 (2001), 25-32 (coauthors G. Dorfer, R. Halaš).
Ideals in locally regular and permutable at 0 varieties, Contributions to General Algebra No.13 (2001), 63-72 (J.Heyn, Klagenfurt) (coauthor H. Länger).
Consisted algebras, Contributions to General Algebra No.13 (2001), 55-62 (J.Heyn, Klagenfurt) (coauthor G. Eigenthaler).
Contributions to General Algebra 13, J.Heyn, Klagenfurt (Austria), 2001, 364pp (coauthors M. Droste, G. Eigenthaler, W.B Műller, R. Pőschel).
Congruence classes determining congruence kernels, Anzeiger Mathem.-naturwiss.kl.Abt.II, öadw, 317 (2000), 3-9 (coauthor G. Eigenthaler).
Hypersubstitutions in orthomodular lattices, Discuss.Mathem., General Algebra and Appl.21 (2001), 83-92 (coauthor H. Länger).
Balanced congruences, Discuss.Math., General Algebra and Appl.21 (2001), 105-114 (coauthor G. Eigenthaler).
Orthomodular implication algebras, Inter.J.of Theoretical Physics, 40 (2001), 1875-1884 (coauthors R. Halaš, Helmut Länger).
A note on the triangular scheme, East-West Journal of Methem., 3 (2001), 79-80.
Ternary deductive systems, Algebra i Teorija Modelej 3 (2001), 14-18.
Congruence classes in Brouwerian semilattices, Discuss.Math., General Algebra Appl. 21 (2001), 229-237 (coauthor H. Länger).
Some modifications of congruence permutability and dually congruence regularvarieties, Discuss.Math., General Algebra Appl. 21 (2001), 165-174 (coauthor G. Eigenthaler).
A simple basis of ideal terms of Brouwerian Semilattices, Acta UPO, Mathematica, 40 (2001), 37-42 (coauthor H. Länger).
Varieties which are locally regular and permutable at 0, Acta UPO, Mathematica, 40 (2001), 31-35.
A common generalization of permutability and 0–permutability, Acta UPO, Mathematica, 40 (2001), 23-29.
Order algebras, Demonstratio Mathem. 35 (2002), 1-10 (coauthor R. Halaš).
The block extension property, Italian J. of Pure at Appl. Mathem. 10 (2001), 147-151 (coauthor R. Bělohlávek).
Restricted congruence regularity of algebras, Acta Math. Univ.Comen., 71 (2002), 3-8 (coauthor H. Länger).
Algebraic properties of pre-logics, Math. Slovaca 52 (2002), 157-175 (coauthor R. Halaš).
A triangular scheme for congruence distributivity, Acta Sci.Math.(Szeged), 68 (2002), 29-35 (coauthor E. Horváth).
A note on normal varieties of monounary algebras, Czech.Math.J., 52 (2002), 369-373 (coauthor H. Länger).
Semiregularity of congruences implies modularity at 0, Czech.Math.J., 52 (2002), 333-336.
Semilattices with an involution, Kyungpook Math.J., 42 (2002), 21-23.
Distributivity of lattices of binary relations, Mathem. Bohemica 127 (2002), 449-452.
The lattice of deductive systems on Hilbert Algebras, Southeast Asian Bull. of Mathem. 26 (2002), 21-26.
Stabilizers in Hilbert Algebras, Multiple Valued Logic, 8 (2002), 139-148 (coauthor R. Halaš).
Weak congruence identities at 0, Novi Sad J. Math., 32 (2002), 77-85 (coauthors B. Šešelja, A. Tepavčević).
Annihilators and deductive systems in commutative Hilbert algebras, Comment. Math. Univ. Carolinae (CMUC), 43, 3 (2003), 407-417 (coauthors R. Halaš, Y.B. Jun).
A characterization of congruence kernels in pseudocomplemented semilattices, Acta UPO, Mathematica, 41 (2002), 35-37.
Ternary deductive systems, Demonstratio Mathem. (Warszawa), 36(2003), 31-36.
Congruence Classes in Universal Algebra, Monografie, Heldermann Verlag, Lemgo(SRN), 2003, 218pp, ISBN 3-88538-226-1 (coauthor G. Eigenthaler, H. Länger).
Congruence submodularity, Discussiones Mathem., General Algebra and Appl., 22(2002), 131-139 (coauthor R. Halaš).
Quasi-implication algebras, Discussiones Mathem., General Algebra and Appl., 22(2002), 183-198 (coauthor K. Dušek).
Trapezoid Lemma and Congruence Distributivity, Math. Slovaca 53(2003), 247-253 (coauthors G. Czédli, E.K. Horváth).
The condition under which a pre-logic becomes an implication algebra, Kyungpook Mathem. J., 43(2003), 273-277.
Distributivity of congruence kernels, East-West J. of Mathem. 4(2002), 113-118.
A scheme for congruence semidistributivity, Discuss. Math., General Algebra and Appl., 23(2003), 13-18 (coauthor E.K. Horváth).
Generalized deductive systems in subregular varieties, Mathem. Bohemica 128(2003), 319-324.
Varieties of g-coherent algebras, Italian Journal of Pure and Appl. Math. 14(2003), 77-85 (coauthor G. Eigenthaler).
The Shifting Lemma and shifting lattice identities, Algebra Univers., 50(2003), 51-60 (coauthors G. Czédli, E. Horváth).
On varieties defined by pseudocomplemented nondistributive lattices, Publ. Math. (Debrecen), 63(2003), 737-750.
An extension of relative pseudocomplementation to non-distributive lattices, Acta Sci. Math.(Szeged), 69(2003), 491-496.
Lattices and semilattices having an antitone involution in every upper interval, CMUC (Comment. Math. Univ. Carolinae) 44(2003), 577-585.
Sectionally pseudocomplented lattices and semilattices, Advances in Algebra, 2003, 282-290 (coauthor R. Halaš).
Distributivity and Modularity of Lattices of Quasiorders, Acta Univ. Palack. Olom., Mathematica, 42(2003), 13-18 (coauthor J. Zedník).
0-conditions and tolerance schemes, Acta Math. Univ. Comen. 72(2003), 177-184 (coauthor S. Radeleczki).
Contributions to General Algebra 14, 2004, 225pp, Verlag Johannes Heyn, Klagenfurt 2004, ISBN 3-7084-0116-6 (coauthors K. Denecke, G. Eigenthaler, M. Goldstern, W.B. Műller, R. Pőschel).
Congruences in transitive relational systems, Miskolc. Mathem. Notes 5(2004), 19-23.
Annihilators in Universal Algebra, Contributions to General Algebra 14(2004), 29-34 (coauthor R. Halaš).
Determined congruence classes, Contributions to general Algebra 14(2004), 21-28 (coauthors G. Eigenthaler, H. Länger).
A note on congruence uniformity for single algebras, Demonstratio Mathem. 37(2004), 9-11 (coauthor H. Länger).
Deductive systems and Galois Connection, in: Galois Connections and Applications (eds. K. Denecke, M. Erné, S.L. Wismath), Kluwer, ISBN 1-4020-1897-5, 2004, pp-399-412 (coauthor R. Halaš).
Deductive systems in universal algebra, Contributions to general Algebra 15(2004), 7-14, Verlag J. Heyn, Klagenfurt.
Ring-like structures corresponding to generalized orthomodular lattices, Mathem. Slovaca, 54(2004), 143-150 (coauthors H. Länger, M. Mączyński).
Orthorings, Discuss. Math., Gener. Algebra and Appl. 24(2004), 137-147 (coauthor H. Länger).
Bounded lattices with antitone involutions and properties of MV-algebras, Discuss. Math., General Algebra and Appl., 24(2004), 31-42 (coauthor P. Emanovský).
On schemes for congruence distributivity, Central Europ. Sci. Journal of Mathem., 2 (2004), 368-376 (coauthor R. Halaš).
Representable difference algebras, Kyungpook Math. J., 44 (2004), 335-342 (coauthor P. Emanovský).
Simple axioms for orthomodular implication algebras, Inter. Journal Theor. Physics, 43 (2004), 911-914 (coauthors R. Halaš, H. Länger).
A factorization of quasiorder hypergroups, CMUC 45 (2004), 573-581 (coauthor Š. Hošková).
Local versions of some congruence properties in single algebras, Acta Univ. Palacki. Olom. Mathematica, 43 (2004), 65-73 (coauthors G. Dorfer, H. Länger).
Class preserving mappings of equivalence systems, Acta Univ. Palacki. Olom., Mathematica, 43 (2004), 61-64.
Implication in MV-algebras, Algebra Universalis, 52 (2004), 377-382 (coauthors R. Halaš, J. Kühr).
A groupoid characterization of Boolean algebras, Discuss. Mathem., General Algebra and Appl., 24 (2004), 177-184.
Modifications of MV-algebras corresponding to strong ortholattices, Demonstratio Mathem., 38 (2005), 1-6 (coathor H. Länger).
Congruence schemes and their applications, Comment. Math. Univ. Carol. (CMUC), 46 (2005), 1-14 (coauthor S. Radeleczki).
Bi-quasirings induced by lattices, Contribut. to General Algebra, 16 (2005), 17-24 (J. Heyn, Klagenfurt) (coauthor G. Eigenthaler).
Contributions to General Algebra 16, J. Heyn, Klagenfurt 2005, 292 pp., ISBN 3-7084-0163-8 (coathors G. Dorfer, G. Eigenthaler, R. Halaš, W. B. Müller, R. Pöschel).
Sectionally residuated lattices, Miskolc Mathem. Notes, 6 (2005), 27-30.
Distributive lattices with sectionally antitone involutions, Acta Sci. Math. (Szeged), 71 (2005), 19-33 (coauthors R. Halaš, J. Kühr).
Normalization of MV- algebras, Mathem. Bohemica, 130 (2005), 283-300 (coauthors R. Halaš, J. Kühr, A. Vanžurová).
A note on triangular schemes for weak congruences, Czech. Math. J., 55 (2005), 683-690 (coathors B. Šešelja, A. Tepavčevič).
Abbott Groupoids, J. of Multiple-Valued Logic and Soft Comput., 10 (2004), 385-394.
Sheffer Operation in Ortholattices, Acta Univ. Palacki. Olom., Mathematica, 44 (2005), 19-23.
A Groupoid Characterization of Orthomodular Lattices, Acta Univ. Palacki. Olom., Mathematica, 44 (2005), 13-18.
An implication in orthologic, Intern. Journal of Theoretical Physics, 44 (2005), 735-744 (coauthor R. Halaš).
Ring-like structures corresponding to MV-algebeas via symmetric difference, Sitzungsberichte Abt. II, 213 (2004), 33-41 (coauthor H. Länger).
Locally Transferable congruences, Anzeiger Abt. II, Math-naturwiss, 140 (2004), 3-9 (coauthor G. Eigenthaler).
On congruences of algebras defined on sectionally pseudocomplemented lattices, Algebra and Model Theory 5 (2005), 8-27 (coauthor S. Radeleczki).
A characterization of cone preserving mappings of quasiordered sets, Miskolc Mathem. Notes 6 (2005), 147-152 (coauthor Š. Hošková).
A note on algebraic interior systems, Discuss. Math., General Algebra and Appl. 25 (2005), 149-153.
Distributivity of bounded lattices with sectionally antitone involutions, Discuss. Math., General Algebra and Appl. 25 (2005), 155-163.
Weak fuzzy implication algebras and induced structures, Demonstratio Mathem. 39 (2006), 1-14 (coathors P. Emanovský, R. Halaš).
A note on interval MV-algebras, Math. Slovaca 56 (2006), 47-52 (coathor J. Kühr).
A note on residuated lattices with globalization, Intern. J. Pure and Appl. Math. 27 (2006), 299-303 (coauthor V. Vychodil).
Hereditary generalized Boolean quasirings, MV-algebras and De Morgan algebras, Contributions to General Algebra 17 (2006), (J. Heyn, Klagenfurt), 31-40 (coauthor H. Länger).
GMV-algebras and meet-semilattices with sectionally antitone permutations, Math. Slovaca 56 (2006), 275-288 (coauthor J. Kühr).
SAI-lattices and ringoids, Demonstratio Mathem. 39 (2006), 483-490 (coauthor H. Länger).
Orthomodular semilattices, Discrete Mathematics 307 (2007), 115-118.
Semilattices with sectionally antitone bijections, Novi Sad J. Math. 35 (2005), 93-101 (coauthor S. Radeleczki).
A decomposition of homomorphic images of nearlattices, Acta Univ. Palacki. Olomuc., Fac. rer. nat., Mathematica 45 (2006), 43-52 (coauthor M. Kolařík).
Directoids with sectionally switching involutions, Acta Univ. Palacki. Olomuc., Fac. rer. nat., Mathematica 45 (2006), 35-41.
Externalization of lattices, Demonstratio Mathem. 39 (2006), 731-736 (coauthor S. L. Wismath).
Implication algebras, Discuss. Math., General Algebra and Appl. 26 (2006), 141-153.
A characterization of P-compatible varieties, Algebra Colloquium 14 (2007), 191-206 (coauthors K. Denecke, S. L. Wismath).
Ring-like structures derived from λ -lattices with antitone involutions, Math. Bohem., 132 (2007), 87-96.
Sectional switching mappings in semilattices, Miskolc Mathem. Notes 7 (2006), 113-120 (coauthor P. Emanovský).
Algebras derived from sectionally involuted lattices, Italian J. of Pure at Appl. Mathem. 21 (2007), 95-104 (coauthor P. Emanovský).
Semilattices with sectional mappings, Discuss. Math., General Algebra and Appl. 27 (2007), 11-19 (coauthor G. Eigenthaler).
Commutative directoids with sectional involutions, Discuss. Math., General Algebra and Appl. 27 (2007), 49-58.
An example of a congruence distributive variety having no near-unanimity term, Acta Univ. M. Belii Math. 13 (2006), 29-31 (coauthor R. Halaš).
Semilattice Structures, Heldermann Verlag (Germany), 2007, vi+228pp, ISBN 978–3–88538–203–0 (coauthors R. Halaš, J. Kühr).
Near λ -lattices, Kyungpook Math. J. 47 (2007), 283-294 (coauthor M. Kolařík).
MV-like algebras associated to λ -ortholattices, Demonstratio Mathematica 40 (2007), 261-270 (coauthors P. Emanovský, M. Kolařík).
Distributive implication groupoids, Central European J. of Mathematics 5 (2007), 484-492 (coauthor R. Halaš).
A non-associative generalization of MV-algebras, Math. Slovaca 57 (2007), 301-312 (coauthor J. Kühr).
Algebras with restricted cardinalities of congruence classes, Novi Sad J. Math. 37 (2007), 49-51.
Congruence kernels of orthoimplication algebras, Acta Math. Univ. Comen. 76 (2007), 231-240 (coauthors R. Halaš, H. Länger).
Directoids with antitone involution, Comment. Math. Univ. Carol. 48 (2007), 555-569 (coauthor M. Kolařík).
Directoids with sectionally antitone involutions and skew MV-algebras, Math. Bohem. 132 (2007), 407-422 (coauthor M. Kolařík).
Algebraic structures derived from BCK-algebras, Miskolc Mathem. Notes 8 (2007), 11-21 (coathor J. Kühr).
When is a BCC-algebra equivalent to an MV-algebra?, Demonstratio Mathematica 40 (2007), 759-768 (coauthors R. Halaš, J. Kühr).
A common generalization of ortholattices and boolean quasirings, Demonstratio Mathematica 15 (2007), 769-774 (coauthor H. Länger).
Constructions on P-Choice Algebras, Multiple-Valued Logics and Soft Computing 13 (2007), 115-126 (coauthor S. Wismath).
Varieties satisfying the triangular scheme need not be congruence distributive, Acta Univ. Palacki. Olomuc., Fac. rer. nat., Mathematica 46 (2007), 19-24 (coauthor R. Halaš).
Ideals, Congruences and Annihilators on Nearlattices, Acta Univ. Palacki. Olomuc., Fac. rer. nat., Mathematica 46 (2007), 25-33 (coauthor M. Kolařík).
A characterization of horizontal sums of Boolean rings, Contributions to General Algebra 18 (2007), 23-30 (coauthor H. Länger).
DeMorgan quasirings, Contributions to General Algebra 18 (2007), 17-22 (coauthor G. Eigenthaler).
The axioms for implication in orthologic, Czech. Math. J. 58 (2008), 15-21.
Homomorphisms of directed posets, Asian-European J. of Mathematics 1 (2008), 45-51.
Varieties of lattice effect algebras generated by four-element members, Acta Sci. Math. (Szeged) 74 (2008), 49-64 (coauthor R. Halaš).
Nearlattices, Discrete Mathematics 308 (2008), 4906-4913 (coauthor M. Kolařík).
Congruence kernels of orthomodular implication algebras, Discrete Mathematics 308 (2008), 4724-4733 (coauthors R. Halaš, J. Kühr).
Bounded lattices with antitone involution the complemented elements of which form a sublattice, J. of Algebra and Discrete Structures 6 (2008), 13-22 (coauthor H. Länger).
Characterizations of posets via weak states, Demonstratio Mathem. 16 (2008), 491-496 (coauthors M. Kolařík, H. Länger).
Generalizations of implication algebras, Sitzungsberichte ÖAW, Mathem., Phys. and Techn. Wiss., Abt II, 216 (2007), 33-34 (coauthor H. Länger).
2-normalization of lattices, Czech. Math. J. 58 (2008), 577-593 (coauthors W. Chen, S.L. Wismath).
Monadic basic algebras, Acta Univ. Palack. Olom., Mathematica 47 (2008), 27-36 (coauthor M. Kolařík).
Discriminator order algebras, Acta Univ. Palack. Olom., Mathematica 47 (2008), 23-25.
Join-semilattices whose sections are residuated lattices, Czechoslovak Mathem. J. 58 (2008), 1107-1127 (coauthor J. Kühr).
Difference posets as commutative directoids with section antitone involutions, Math. Slovaca 58 (2008), 685-690.
Pseudocomplemented directoids, Comment. Math. Univ. Carol. 49 (2008), 533-539.
Many-valued quantum algebras, Algebra Universalis 60 (2009), 63-90 (coauthors R. Halaš, J. Kühr).
A common approach to directoids with an antitone involution and D-quasirings, Discuss. Mathem., General Algebra and Appl. 28 (2008), 139-145 (coauthor M. Kolařík).
Minimal bounded lattices with an antitone involution the complemented elements of which do not form a sublattice, Discuss. Mathem., General Algebra and Appl. 28 (2008), 251-259 (coauthor H. Länger).
Horizontal sums of bounded of bounded lattices, Mathem. Panonica 20 (2009), 139-143 (coauthor H. Länger).
A Cayley theorem for distributive lattices, Algebra Univ. 60 (2009), 365-367 (coauthor H. Länger).
A note on intervals of residuated l-groupoids, Fuzzy Sets and Systems 160 (2009), 2379-2386 (coauthor J. Kühr).
A Cayley theorem for algebras with binary and nullary operations, Acta Sci. Math. (Szeged) 75 (2009), 55-58 (coauthor H. Länger).
A characterization of commutative basic algebras, Math. Bohemica 134 (2009), 113-120.
Double basic algebras, Order 26 (2009), 149-162.
Quantifiers on lattices with an antitone involution, Demostratio Mathem. 17 (2009), 241-246 (coauthor H. Länger).
Pseudo-Effect Algebras as Total Algebras, Inter. J. Theor. Phys., DOI 10.1007/s10773-009-0093-z (coauthor J. Kühr).
Remarks on pseudo MV-algebras, Discuss. Mathem., General Algebra and Appl. 29 (2009), 5-19 (coauthor M. Kolařík).
Horizontal sums of basic algebras, Discuss. Mathem., General Algebra and Appl. 29 (2009), 21-33.
Independence of axiom system of basic algebras, Soft Computing 13 (2009), 41-43 (coauthor M. Kolařík).
Relatively pseudocomplemented directoids, Comment. Math. Univ. Carol. 50 (2009), 349-357.
A basic algebra is an MV-algebra if and only if it is a BCC-algebra, Intern. J. Theor. Phys. 47 (2008), 261-267 (coauthor R. Halaš).
Every effect algebra can be made into a total algebra, Algebra Universalis 61 (2009), 139-150 (coauthors R. Halaš, J. Kühr).
Functional Completeness of Weak Logics with the Strict Negation, J. of Multiple-Valued Logic and Soft Computing 15 (2009), 95-99 (coauthor R. Halaš).
Direct decomposition of basic algebras and their idempotent modifications, Acta Univ. M. Belii, ser. Mathem. 15 (2009), 11-19 (coauthor M. Kolařík).
Effect-like algebras induced by means of basic algebras, Math. Slovaca 60 (2010), 21-32.
Are basic algebras residuated structures?, Soft Computing 14, 3 (2010), 251-255 (coauthors M. Botur, R. Halaš).
Commutative directoids with sectionally antitone bijections, Discuss. Mathem., General Algebra and Appl. 28 (2008), 77-89 (coauthors M. Kolařík, S. Radeleczki).
On the role of logical connectives for primality and functional completeness of algebras of logics, Information Sciences 180 (2010), 1345-1353.
Basic pseudorings, Acta Univ. Palack. Olom., Mathematica 48 (2009), 25-31 (coauthor M. Kolařík).
Conjugated algebras, Acta Univ. Palack. Olom., Mathematica 48 (2009), 17-23.
Skew difference algebras, Kyungpook Math. J. 50 (2010), 81-87.
Interval basic algebras, Novi Sad J. Math 39 (2009), 71-78 (coauthor M. Kolařík).
Action algebras, Italian Journal of Pure and Appl. Mathematics 26 (2009), 71-78 (coauthor H. Länger).
Intervals of effect algebras and pseudo-effect algebras, Math. Slovaca 60 (2010), 615-630 (coauthor J. Kühr).
A polynomial representation of bounded lattices with an antitone involution, Contributions to General Algebra 19 (2010), J. Heyn, Klagenfurt, 23-24 (coauthor G. Eigenthaler).
Genomorphisms of monounary algebras, Contributions to General Algebra 19 (2010), J. Heyn, Klagenfurt, 25-32 (coauthor G. Eigenthaler).
Contributions to General Algebra 19, Proc. of the 79th Workshop on General Algebra – Palacký Univ. Olom., Feb. 12–14, 2010, Verlag Johannes Heyn, lagenfurt, 2010 (coathors G. Dorfer, G. Eigenthaler, R. Halaš, J. Kühr, W. B. Müller).
Congruences on semilattices with section antitone involutions, Discuss. Math., General Algebra Appl. 30 (2010), 137-145.
Implication and equivalential reducts of basic algebras, Acta Univ. Palack. Olom., Mathematica 49 (2010), 21-36 (coauthors M. Kolařík, F. Švrček).
Quotients and homomorphisms of relational systems, Acta Univ. Palack. Olom., Mathematica 49 (2010), 37-47 (coauthor H. Länger).
Completeness of Order Algebras, Journal of Multiple-Valued Logic and Soft Computing 17 (1) (2011), 93-98 (coauthors R. Halaš, H. Machida).
Polynomial permutations on bounded commutative directoids with an antitone involution, Soft. Comput. 15 (2011), 183-186 (coauthors M. Kolařík, H. Länger).
Hedges and successors in basic algebras, Soft Computing 15 (2011), 613-618. DOI 10.1007/s00500-010-0570-6.
Properties of relatively pseudocomplemented directoids, Math. Bohemica 136 (2011), 9-23 (coauthors M. Kolařík, F. Švrček).
There exist subdirectly irreducible commutative basic algebras of an arbitrary infinite cardinality which are not MV-algebras, Algebra Universalis 65 (2011), 185-192 (coauthor M. Botur).
Effect algebras are conditionally residuated structures, Soft. Comput. 15 (2011), 1383-1387 (coauthor R. Halaš).
Algebraic axiomatization of tense intuitionistic logic, Central European Journal of Mathematics 9 (2011), 1185-1191.