Semi-Substructural Logics à la Lambek
autor
vastutusandmed
Cheng-Syuan Wan
allikas
Proceedings of 11th International Conference on Nonclassical Logics : Theory and Applications (NCL’24)
kirjastus/väljaandja
ilmumisaasta
leheküljed
p. 195–213
seeria-sari
Electronic Proceedings in Theoretical Computer Science, EPTCS ; 415
konverentsi nimetus, aeg
11th International Conference on Nonclassical Logics : Theory and Applications, 5 - 8 September 2024
konverentsi toimumispaik
Lodz, Poland
ISSN
2075-2180
märkused
Bibliogr.: 32 ref
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
TTÜ struktuuriüksus
keel
inglise
võtmesõna
kategooria (üld)
kategooria (alam)
Wan, C-S. Semi-Substructural Logics à la Lambek // Proceedings of 11th International Conference on Nonclassical Logics : Theory and Applications (NCL’24). : Open Publishing Association, 2024. p. 195–213. (Electronic Proceedings in Theoretical Computer Science, EPTCS ; 415).