Correction to: Lambek Calculus with Conjugates
- PDF / 185,817 Bytes
- 1 Pages / 453.543 x 680.315 pts Page_size
- 14 Downloads / 209 Views
´r Igor Sedla Andrew Tedder
Correction to: Studia Logica https://doi.org/10.1007/s11225-020-09913-2 We, the authors, would like to thank Guillaume Aucher for informing us of his “Displaying Updates in Logic”, published in the Journal of Logic and Computation, 26(6):1865–1912 (2016), where systems of substructural logics with indexed collections of residuated operators are studied in some generality, and completeness results are given for these logics using display calculus methods. This provides an answer to the open problems posed in our paper, though we’d like to note that this leaves a further question of finding additional complete proof systems, including those along the lines of the FMLA-FMLA systems we consider. Publisher’s Note Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
´r, A. Tedder I. Sedla Institute of Computer Science The Czech Academy of Sciences Pod Vod´ arenskou vˇeˇz´ı 271/2 Prague Czech Republic [email protected] A. Tedder [email protected]
The original article s11225-020-09913-2.
can
be
Studia Logica https://doi.org/10.1007/s11225-020-09927-w
found
online
at
https://doi.org/10.1007/
c Springer Nature B.V. 2020
Data Loading...
