South American Journal of Logic