SCI–Sequent Calculi, Cut Elimination and Interpolation Property
Book chapter (March 2024)
The most recent citing publications are shown below. View all 17 publications that cite this research output on Dimensions.
Book chapter (March 2024)
Article in Journal of Philosophical Logic (March 2024)
Article in Journal of Logic and Computation (November 2023)