@inproceedings{dcd6f02c29de45949c3ed3a619afa838,
title = "Intuitionistic BV",
abstract = "We present the logic IBV, which is an intuitionistic version of BV, in the sense that its restriction to the MLL connectives is exactly IMLL, the intuitionistic version of MLL. For this logic we give a deep inference proof system and show cut elimination. We also show that the logic obtained from IBV by dropping the associativity of the new non-commutative seq-connective is an intuitionistic variant of the recently introduced logic NML. For this logic, called INML, we give a cut-free sequent calculus.",
author = "Matteo Acclavio and Lutz Stra{\ss}burger",
note = "Publisher Copyright: {\textcopyright} The Author(s) 2026.; 34th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2025 ; Conference date: 27-09-2025 Through 29-09-2025",
year = "2026",
month = jan,
day = "1",
doi = "10.1007/978-3-032-06085-3\_22",
language = "English",
isbn = "9783032060846",
series = "Lecture Notes in Computer Science",
publisher = "Springer Science and Business Media Deutschland GmbH",
pages = "414--432",
editor = "Pozzato, \{Gian Luca\} and Tarmo Uustalu",
booktitle = "Automated Reasoning with Analytic Tableaux and Related Methods - 34th International Conference, TABLEAUX 2025, Proceedings",
}