Semi-substructural logics à la Lambek with symmetry
author
statement of authorship
Cheng-Syuan Wan
source
Bulletin of the section of logic
publisher
journal volume number month
vol. 54, 4
year of publication
pages
p. 519-576 : ill
keyword
Lambek calculus
non-associative Lambek calculus
ternary relational semantics
ISSN
0138-0680
2449-836X
notes
Bibliogr.: 36 ref
Open Access
Open Access
scientific publication
teaduspublikatsioon
classifier
category (general)
category (sub)
quartile
TalTech department
language
inglise
Wan, C.-S. Semi-substructural logics à la Lambek with symmetry // Bulletin of the section of logic (2026) vol. 54, 4, p. 519-576 : ill. https://doi.org/10.18778/0138-0680.2025.17