Journal of logic, language, and information (Kluwer Academic Publishers, 1992)