Craig Interpolation for a Semi-Substructural Logic
autor
Veltri, Niccolo
Wan, Cheng-Syuan
vastutusandmed
Niccolo Veltri, Cheng-Syuan Wan
allikas
Studia logica
kirjastus/väljaandja
Springer Nature
ilmumisaasta
2025
leheküljed
39 p
leitav
https://doi.org/10.1007/s11225-025-10189-7
märksõna
matemaatiline analüüs
loogika
võtmesõna
Craig interpolation
Semi-substructural logic
Maehara’s method
Proof-relevant interpolation
Agda
ISSN
0039-3215
1572-8730
märkused
Bibliogr.: 30 ref
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
1.1
Scopus
https://www.scopus.com/sourceid/144951
https://www.scopus.com/pages/publications/105012032221?origin=resultslist
WOS
https://jcr.clarivate.com/jcr-jp/journal-profile?journal=STUD%20LOGICA&year=2024
https://www.webofscience.com/wos/woscc/full-record/WOS:001537896200001
kategooria (üld)
Arts and humanities
Kunst ja humanitaarteadused
Mathematics
Matemaatika
kategooria (alam)
Arts and humanities. History and philosophy of science
Kunst ja humanitaarteadused. Teadusajalugu ja -filosoofia
Mathematics. Logic
Matemaatika. Loogika
TTÜ struktuuriüksus
tarkvarateaduse instituut
keel
inglise