Semi-Substructural Logics à la Lambek

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
teaduspublikatsioon
teaduspublikatsioon
TTÜ struktuuriüksus
keel
inglise
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). https://doi.org/10.4204/EPTCS.415.18