Article

Andreka, H. and Givant, S. and Mikulas, Szabolcs and Nemeti, I. and Simon, A. (1998) Notions of density that imply representability in algebraic logic. Annals of Pure and Applied Logic 91 (2/3), pp. 93-190. ISSN 0168-0072.

Andreka, H. and Mikulas, Szabolcs (1994) Lambek calculus and its relational semantics: completeness and incompleteness. Journal of Logic, Language and Information 3 (1), pp. 1-37. ISSN 0925-8531.