Journal of applied logic