If you have a paper on cut elimination and are looking for a journal, how about Studia Logica? There’s a special issue on cut elimination in preparation; call for papers here. Deadline March 31.
If you have a paper on cut elimination and are looking for a journal, how about Studia Logica? There’s a special issue on cut elimination in preparation; call for papers here. Deadline March 31.