One-Sided Sequent Systems for Nonassociative Bilinear Logic: Cut Elimination and Complexity

MLA

Paweł Płaczek. “One-Sided Sequent Systems for Nonassociative Bilinear Logic: Cut Elimination and Complexity.” Bulletin of the Section of Logic, vol. 50, no. 1, Mar. 2021, pp. 55–80. EBSCOhost, https://doi.org/10.18778/0138-0680.2020.25.

APA

Paweł Płaczek. (2021). One-Sided Sequent Systems for Nonassociative Bilinear Logic: Cut Elimination and Complexity. Bulletin of the Section of Logic, 50(1), 55–80. https://doi.org/10.18778/0138-0680.2020.25

Chicago

Paweł Płaczek. 2021. “One-Sided Sequent Systems for Nonassociative Bilinear Logic: Cut Elimination and Complexity.” Bulletin of the Section of Logic 50 (1): 55–80. doi:10.18778/0138-0680.2020.25.