Semi-substructural logics à la Lambek with symmetry
autor
Wan, Cheng-Syuan
vastutusandmed
Cheng-Syuan Wan
allikas
Bulletin of the section of logic
kirjastus/väljaandja
Lodz University Press
ajakirja aastakäik number kuu
vol. 54, 4
ilmumisaasta
2026
leheküljed
p. 519-576 : ill
leitav
https://doi.org/10.18778/0138-0680.2025.17
märksõna
kategooriateooria
matemaatiline analüüs
monoidid
matemaatiline loogika
võtmesõna
category theory
Lambek calculus
non-associative Lambek calculus
skew monoidal category
substructural logic
ternary relational semantics
ISSN
0138-0680
2449-836X
märkused
Bibliogr.: 36 ref
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
1.1
Scopus
https://www.scopus.com/sourceid/21100200425
https://www.scopus.com/pages/publications/105034189837?source=scival
WOS
https://jcr.clarivate.com/jcr-jp/journal-profile?journal=B%20SECT%20LOGIC&year=2025
https://www.webofscience.com/wos/woscc/full-record/WOS:001734075100003
kategooria (üld)
Arts and humanities
Kunst ja humanitaarteadused
Mathematics
Matemaatika
kategooria (alam)
Arts and humanities. Philosophy
Kunst ja humanitaarteadused. Filosoofia
Mathematics. Logic
Matemaatika. Loogika
kvartiil
Q2
TTÜ struktuuriüksus
tarkvarateaduse instituut
Department of Software Science
keel
English
inglise