Semi-substructural logics à la Lambek with symmetry
author
Wan, Cheng-Syuan
statement of authorship
Cheng-Syuan Wan
source
Bulletin of the section of logic
publisher
Lodz University Press
journal volume number month
vol. 54, 4
year of publication
2026
pages
p. 519-576 : ill
url
https://doi.org/10.18778/0138-0680.2025.17
subject term
kategooriateooria
matemaatiline analüüs
monoidid
matemaatiline loogika
keyword
category theory
Lambek calculus
non-associative Lambek calculus
skew monoidal category
substructural logic
ternary relational semantics
ISSN
0138-0680
2449-836X
notes
Bibliogr.: 36 ref
Open Access
Open Access
scientific publication
teaduspublikatsioon
classifier
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
category (general)
Arts and humanities
Kunst ja humanitaarteadused
Mathematics
Matemaatika
category (sub)
Arts and humanities. Philosophy
Kunst ja humanitaarteadused. Filosoofia
Mathematics. Logic
Matemaatika. Loogika
quartile
Q2
TalTech department
tarkvarateaduse instituut
Department of Software Science
language
English
inglise