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
publisher
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
subject term
WOS
quartile
category (general)
category (sub)
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
TalTech 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).