Craig Interpolation for a Semi-Substructural Logic
author
Veltri, Niccolo
Wan, Cheng-Syuan
statement of authorship
Niccolo Veltri, Cheng-Syuan Wan
source
Studia logica
publisher
Springer Nature
year of publication
2025
pages
39 p
url
https://doi.org/10.1007/s11225-025-10189-7
subject term
matemaatiline analüüs
loogika
keyword
Craig interpolation
Semi-substructural logic
Maehara’s method
Proof-relevant interpolation
Agda
ISSN
0039-3215
1572-8730
notes
Bibliogr.: 30 ref
scientific publication
teaduspublikatsioon
classifier
1.1
TalTech department
tarkvarateaduse instituut
language
inglise