Semi-substructural logics à la Lambek with symmetry
autor
vastutusandmed
Cheng-Syuan Wan
allikas
Bulletin of the section of logic
kirjastus/väljaandja
ajakirja aastakäik number kuu
vol. 54, 4
ilmumisaasta
leheküljed
p. 519-576 : ill
võtmesõna
Lambek calculus
non-associative Lambek calculus
ternary relational semantics
ISSN
0138-0680
2449-836X
märkused
Bibliogr.: 36 ref
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
kategooria (üld)
kategooria (alam)
kvartiil
TTÜ struktuuriüksus
keel
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.