SCI–Sequent Calculi, Cut Elimination and Interpolation Property
Book chapter (March 2024)
The most recent citing publications are shown below. View all 62 publications that cite this research output on Dimensions.
Book chapter (March 2024)
Book chapter (February 2024)
Article in Archive for Mathematical Logic (January 2024)