full record print

Craig Interpolation for a Semi-Substructural Logic

author
statement of authorship
Niccolo Veltri, Cheng-Syuan Wan
source
publisher
year of publication
pages
39 p
url
ISSN
0039-3215
1572-8730
notes
Bibliogr.: 30 ref
scientific publication
teaduspublikatsioon
language
inglise
subject term
keyword
Craig interpolation
Semi-substructural logic
Maehara’s method
Proof-relevant interpolation
Agda
Veltri, N., Wan, C-S. Craig Interpolation for a Semi-Substructural Logic // Studia logica (2025), 39 p. https://doi.org/10.1007/s11225-025-10189-7