Journal of Logic, Language and Information [ejournal].