Bulletin of the Section of Logic > 2022 > 51 > 2 > 143-162
Source
Abstract
Identifiers
journal ISSN : | 2449-836X , 0138-0680 |
DOI | 10.18778/0138-0680.2022.02 |
Authors
Keywords
Additional information
Publisher
Fields of science
Bibliography
-
M. Baaz, A. Leitsch, Methods of Cut-Elimination, vol. 34 of Trends in Logic Series, Springer, Dordrecht (2011), DOI: https://doi.org/10.1007/978-94-007-0320-9
-
G. Bierman, V. de Paiva, On an Intuitionistic Modal Logic, Studia Logica, vol. 65 (2000), pp. 383–416, DOI: https://doi.org/10.1023/A:1005291931660
-
P. Blackburn, T. Bolander, T. Braüner, K. Jørgensen, Completeness and Termination for a Seligman-style Tableau System, Journal of Logic and Computation, vol. 27(1) (2017), pp. 81–107, DOI: https://doi.org/10.1093/logcom/exv052