Combining Intuitionistic and Classical Propositional Logic: Gentzenization and Craig Interpolation
Article in Studia Logica (January 2024)
The most recent citing publications are shown below. View all 15 publications that cite this research output on Dimensions.
Article in Studia Logica (January 2024)
Article in Journal of Logic, Language and Information (November 2023)
Article in Asian Journal of Philosophy (July 2023)