Semi-Substructural Logics à la Lambek
author
statement of authorship
Cheng-Syuan Wan
source
Proceedings of 11th International Conference on Nonclassical Logics : Theory and Applications (NCL’24)
publisher
year of publication
pages
p. 195–213
series
Electronic Proceedings in Theoretical Computer Science, EPTCS ; 415
conference name, date
11th International Conference on Nonclassical Logics : Theory and Applications, 5 - 8 September 2024
conference location
Lodz, Poland
ISSN
2075-2180
notes
Bibliogr.: 32 ref
scientific publication
teaduspublikatsioon
TalTech department
language
inglise
classifier
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).