Papers available here are not the versions that have been published. Thus, it is not an infringement of copyright to make them available. On the other hand, they do not differ much from what has been published. Thus, it makes sense to make them available.

• A syntactic proof of a conjecture of Andrzej Wronski, Reports on Mathematical Logic 28 (1994), 81-86.
  A syntactic derivation of something that took theorem provers another eight years. Look here for comparison.
• The bottom of the lattice of BCK-varieties, Reports on Mathematical Logic 29 (1995), 87-93.
  A solution to a problem in BCK-algebras.
• Varieties of tense algebras, Reports on Mathematical Logic 32 (1998), 53-95.
  A part of my Ph.D. thesis.
• Pretabular varieties of equivalential algebras, Reports on Mathematical Logic 33 (1999), 3-10.
  Equivalential algebras, not to be confused with equivalence algebras, can be viewed as algebraic models of intuitionistic equivalence. They are rather little known. Undeservedly so.
• Splittings in the variety of residuated lattices, Algebra Universalis, 44 (2000), 283-298.
  
• All splitting logics in the lattice NExt(KTB), Trends in Logic, 27 (2008), 1-15.
  Two goes at splittings, demonstrating that a good old technique can be revived.
• Semisimplicity, EDPC and Discriminator Varieties of Residuated Lattices, Studia Logica 77 (2004) 255-265.
  
• Semisimple varieties of modal algebras, Studia Logica 83 (2006) 351-363.
  Two classes of varieties where semisimplicity implies existence of discriminator term. I should generalise that further, and some day will.
• Self-implications in BCI, Notre Dame Journal of Formal Logic forthcoming.
  What happens when an algebraist messes around with proof-theory.
• A finite fragment of S3, Reports on Mathematical Logic forthcoming.
  An amusing exercise in counting implicational formulae in one variable.
• Completions of GBL-algebras: negative results, Algebra Universalis forthcoming.
  A large class of residuated lattices not admitting completions.
• Weakly associative relation algebras hold the Key to the Universe, Bulletin of the Section of Logic36: 3/4 (2007), 1-13.
  What weakly associative relation algebras and basic relevant logic have in common.