Cut Elimination for Systems of Transparent Truth with Restricted Initial Sequents
Article in Notre Dame Journal of Formal Logic (November 2021)
The most recent citing publications are shown below. View all 28 publications that cite this research output on Dimensions.
Article in Notre Dame Journal of Formal Logic (November 2021)
Book chapter (October 2018)
Book chapter (March 2017)