NEW PAPERS, RESEARCH VISITS, TALKS & CONFERENCES

  • Jan. 5th, 2021. The manuscript on sequent calculi for a unity of logic has been updated.