Journal of logic, language and information (Springer Netherlands, 1992)