Proof theory of skew non-commutative MILL

statement of authorship
Tarmo Uustalu, Niccol`o Veltri, Cheng-Syuan Wan
source
Proceedings of 10th International Conference on Non-Classical Logics. Theory and Applications, NCL 2022, 14. March, 2022
year of publication
pages
p. 118-135
conference name, date
10th International Conference on Non-Classical Logics. Theory and Applications, NCL 2022, 14. March, 2022
conference location
Lodz, Poland
kvartiil
Q3
category (general)
ISSN
2075-2180
notes
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
scientific publication
teaduspublikatsioon
classifier
3.1
TTÜ department
language
inglise
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). https://doi.org/10.4204/EPTCS.358.9