Craig Interpolation for a Semi-Substructural Logic
Veltri, Niccolo
;
Wan, Cheng-Syuan
Studia logica
2025
/
39 p
https://doi.org/10.1007/s11225-025-10189-7
https://www.scopus.com/sourceid/144951
https://www.scopus.com/pages/publications/105012032221?origin=resultslist
https://jcr.clarivate.com/jcr-jp/journal-profile?journal=STUD%20LOGICA&year=2024
https://www.webofscience.com/wos/woscc/full-record/WOS:001537896200001