Craig Interpolation for a Semi-Substructural Logic
vastutusandmed
Niccolo Veltri, Cheng-Syuan Wan
allikas
kirjastus/väljaandja
ilmumisaasta
leheküljed
39 p
ISSN
0039-3215
1572-8730
märkused
Bibliogr.: 30 ref
teaduspublikatsioon
teaduspublikatsioon
keel
inglise
märksõna
võtmesõna
klassifikaator
TTÜ struktuuriüksus
Veltri, N., Wan, C-S. Craig Interpolation for a Semi-Substructural Logic // Studia logica (2025), 39 p.