Proof theory of skew non-commutative MILL
vastutusandmed
Tarmo Uustalu, Niccol`o Veltri, Cheng-Syuan Wan
allikas
Proceedings of 10th International Conference on Non-Classical Logics. Theory and Applications, NCL 2022, 14. March, 2022
kirjastus/väljaandja
ilmumisaasta
leheküljed
p. 118-135
konverentsi nimetus, aeg
10th International Conference on Non-Classical Logics. Theory and Applications, NCL 2022, 14. March, 2022
konverentsi toimumispaik
Lodz, Poland
WOS
kvartiil
kategooria (üld)
kategooria (alam)
ISSN
2075-2180
märkused
Bibliogr.: 28 ref
Special issue: 10th International Conference on Non-Classical Logics. Theory and Applications, NCL 2022Lodz14 March 2022through 18 March 2022
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
TTÜ struktuuriüksus
keel
inglise
Uurimisrühm
Uustalu, T., Veltri, N., Wan, C.-S. Proof theory of skew non-commutative MILL // Proceedings of 10th International Conference on Non-Classical Logics. Theory and Applications, NCL 2022, 14. March, 2022. : Open Publishing Association, 2022. p. 118-135. (Electronic proceedings in theoretical computer science ; 358).