Baaz, Matthias; Zach, Richard Epsilon theorems in intermediate logics. (English) Zbl 07541918 J. Symb. Log. 87, No. 2, 682-720 (2022). MSC: 03F05 03B20 03B55 PDF BibTeX XML Cite \textit{M. Baaz} and \textit{R. Zach}, J. Symb. Log. 87, No. 2, 682--720 (2022; Zbl 07541918) Full Text: DOI OpenURL
Pulcini, Gabriele A note on cut-elimination for classical propositional logic. (English) Zbl 07541623 Arch. Math. Logic 61, No. 3-4, 555-565 (2022). MSC: 03F05 PDF BibTeX XML Cite \textit{G. Pulcini}, Arch. Math. Logic 61, No. 3--4, 555--565 (2022; Zbl 07541623) Full Text: DOI OpenURL
Komara, Ján Efficient elimination of Skolem functions in \(\text{LK}^\text{h} \). (English) Zbl 07541621 Arch. Math. Logic 61, No. 3-4, 503-534 (2022). MSC: 03F03 03F05 03F07 03F20 PDF BibTeX XML Cite \textit{J. Komara}, Arch. Math. Logic 61, No. 3--4, 503--534 (2022; Zbl 07541621) Full Text: DOI OpenURL
Baaz, Matthias; Lolic, Anela Towards a proof theory for quantifier macros. (English) Zbl 07540275 Inf. Comput. 287, Article ID 104753, 18 p. (2022). MSC: 03F05 PDF BibTeX XML Cite \textit{M. Baaz} and \textit{A. Lolic}, Inf. Comput. 287, Article ID 104753, 18 p. (2022; Zbl 07540275) Full Text: DOI OpenURL
Zach, Richard Corrections to: “Natural deduction for the Sheffer stroke and Peirce’s arrow (and any other truth-functional connective)”. (English) Zbl 07535477 J. Philos. Log. 51, No. 3, 691 (2022). MSC: 03B05 03B22 03F03 03F05 PDF BibTeX XML Cite \textit{R. Zach}, J. Philos. Log. 51, No. 3, 691 (2022; Zbl 07535477) Full Text: DOI OpenURL
Hayashi, Daichi On cut-elimination arguments for axiomatic theories of truth. (English) Zbl 07535458 Stud. Log. 110, No. 3, 785-818 (2022). MSC: 03-XX PDF BibTeX XML Cite \textit{D. Hayashi}, Stud. Log. 110, No. 3, 785--818 (2022; Zbl 07535458) Full Text: DOI OpenURL
Fischer, Martin Sequent calculi for the propositional logic of HYPE. (English) Zbl 07535454 Stud. Log. 110, No. 3, 643-677 (2022). MSC: 03-XX PDF BibTeX XML Cite \textit{M. Fischer}, Stud. Log. 110, No. 3, 643--677 (2022; Zbl 07535454) Full Text: DOI OpenURL
Parlamento, Franco; Previale, Flavio A note on the sequent calculi \(\mathbf{G3[mic]}^=\). (English) Zbl 07531435 Rev. Symb. Log. 15, No. 2, 537-551 (2022). MSC: 03F05 PDF BibTeX XML Cite \textit{F. Parlamento} and \textit{F. Previale}, Rev. Symb. Log. 15, No. 2, 537--551 (2022; Zbl 07531435) Full Text: DOI OpenURL
Aguilera, J. P.; Baaz, M.; Bydžovský, J. The number of axioms. (English) Zbl 07501980 Ann. Pure Appl. Logic 173, No. 5, Article ID 103078, 13 p. (2022). MSC: 03F03 03F20 03B10 03F07 PDF BibTeX XML Cite \textit{J. P. Aguilera} et al., Ann. Pure Appl. Logic 173, No. 5, Article ID 103078, 13 p. (2022; Zbl 07501980) Full Text: DOI OpenURL
Aboolian, Narbe; Alizadeh, Majid Lyndon’s interpolation property for the logic of strict implication. (English) Zbl 07500471 Log. J. IGPL 30, No. 1, 34-70 (2022). MSC: 03-XX 68-XX PDF BibTeX XML Cite \textit{N. Aboolian} and \textit{M. Alizadeh}, Log. J. IGPL 30, No. 1, 34--70 (2022; Zbl 07500471) Full Text: DOI OpenURL
Kürbis, Nils Normalisation and subformula property for a system of classical logic with Tarski’s rule. (English) Zbl 07495456 Arch. Math. Logic 61, No. 1-2, 105-129 (2022). MSC: 03B05 03B10 03B20 03F05 PDF BibTeX XML Cite \textit{N. Kürbis}, Arch. Math. Logic 61, No. 1--2, 105--129 (2022; Zbl 07495456) Full Text: DOI OpenURL
Kürbis, Nils A binary quantifier for definite descriptions for cut free free logics. (English) Zbl 07490472 Stud. Log. 110, No. 1, 219-239 (2022). MSC: 03-XX PDF BibTeX XML Cite \textit{N. Kürbis}, Stud. Log. 110, No. 1, 219--239 (2022; Zbl 07490472) Full Text: DOI arXiv OpenURL
Kamide, Norihiro Falsification-aware semantics and sequent calculi for classical logic. (English) Zbl 07484057 J. Philos. Log. 51, No. 1, 99-126 (2022). MSC: 03-XX PDF BibTeX XML Cite \textit{N. Kamide}, J. Philos. Log. 51, No. 1, 99--126 (2022; Zbl 07484057) Full Text: DOI OpenURL
D’Abrera, Caitlin; Dawson, Jeremy; Goré, Rajeev A formally verified cut-elimination procedure for linear nested sequents for tense logic. (English) Zbl 07532522 Das, Anupam (ed.) et al., Automated reasoning with analytic tableaux and related methods. 30th international conference, TABLEAUX 2021, Birmingham, UK, September 6–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12842, 281-298 (2021). MSC: 68V15 PDF BibTeX XML Cite \textit{C. D'Abrera} et al., Lect. Notes Comput. Sci. 12842, 281--298 (2021; Zbl 07532522) Full Text: DOI OpenURL
Avron, Arnon Basing sequent systems on exclusive-or. (English) Zbl 07532512 Das, Anupam (ed.) et al., Automated reasoning with analytic tableaux and related methods. 30th international conference, TABLEAUX 2021, Birmingham, UK, September 6–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12842, 112-128 (2021). MSC: 68V15 PDF BibTeX XML Cite \textit{A. Avron}, Lect. Notes Comput. Sci. 12842, 112--128 (2021; Zbl 07532512) Full Text: DOI OpenURL
Kürbis, Nils Proof-theory and semantics for a theory of definite descriptions. (English) Zbl 07532511 Das, Anupam (ed.) et al., Automated reasoning with analytic tableaux and related methods. 30th international conference, TABLEAUX 2021, Birmingham, UK, September 6–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12842, 95-111 (2021). MSC: 68V15 PDF BibTeX XML Cite \textit{N. Kürbis}, Lect. Notes Comput. Sci. 12842, 95--111 (2021; Zbl 07532511) Full Text: DOI OpenURL
Nicolai, Carlo Cut elimination for systems of transparent truth with restricted initial sequents. (English) Zbl 07473062 Notre Dame J. Formal Logic 62, No. 4, 619-642 (2021). MSC: 03F05 03A99 PDF BibTeX XML Cite \textit{C. Nicolai}, Notre Dame J. Formal Logic 62, No. 4, 619--642 (2021; Zbl 07473062) Full Text: DOI arXiv OpenURL
Baaz, Matthias; Lolic, Anela Towards a proof theory for Henkin quantifiers. (English) Zbl 07471460 J. Log. Comput. 31, No. 1, 40-66 (2021). MSC: 03-XX 68-XX PDF BibTeX XML Cite \textit{M. Baaz} and \textit{A. Lolic}, J. Log. Comput. 31, No. 1, 40--66 (2021; Zbl 07471460) Full Text: DOI OpenURL
Burns, Samara; Zach, Richard Cut-free completeness for modular hypersequent calculi for modal logics K, T, and D. (English) Zbl 07469710 Rev. Symb. Log. 14, No. 4, 910-929 (2021). Reviewer: Osamu Sonobe (Follonica) MSC: 03B45 03F05 PDF BibTeX XML Cite \textit{S. Burns} and \textit{R. Zach}, Rev. Symb. Log. 14, No. 4, 910--929 (2021; Zbl 07469710) Full Text: DOI arXiv OpenURL
Brauer, Ethan; Tennant, Neil Transmission of verification. (English) Zbl 1485.03229 Rev. Symb. Log. 14, No. 4, 866-881 (2021). Reviewer: Branislav Boričić (Beograd) MSC: 03F03 03F05 PDF BibTeX XML Cite \textit{E. Brauer} and \textit{N. Tennant}, Rev. Symb. Log. 14, No. 4, 866--881 (2021; Zbl 1485.03229) Full Text: DOI OpenURL
Parlamento, Franco; Previale, Flavio The elimination of atomic cuts and the semishortening property for Gentzen’s sequent calculus with equality. (English) Zbl 07469706 Rev. Symb. Log. 14, No. 4, 813-837 (2021). Reviewer: Annika Kanckos (Helsinki) MSC: 03F05 PDF BibTeX XML Cite \textit{F. Parlamento} and \textit{F. Previale}, Rev. Symb. Log. 14, No. 4, 813--837 (2021; Zbl 07469706) Full Text: DOI OpenURL
Zach, Richard Cut elimination and normalization for generalized single and multi-conclusion sequent and natural deduction calculi. (English) Zbl 1485.03233 Rev. Symb. Log. 14, No. 3, 645-686 (2021). Reviewer: Annika Kanckos (Helsinki) MSC: 03F05 03F07 03F03 PDF BibTeX XML Cite \textit{R. Zach}, Rev. Symb. Log. 14, No. 3, 645--686 (2021; Zbl 1485.03233) Full Text: DOI arXiv OpenURL
Felty, Amy; Olarte, Carlos; Xavier, Bruno A focused linear logical framework and its application to metatheory of object logics. (English) Zbl 07460120 Math. Struct. Comput. Sci. 31, No. 3, 312-340 (2021). MSC: 68-XX PDF BibTeX XML Cite \textit{A. Felty} et al., Math. Struct. Comput. Sci. 31, No. 3, 312--340 (2021; Zbl 07460120) Full Text: DOI OpenURL
Ilić, Mirjana; Boričić, Branislav A note on the system \(GRW\) with the intensional contraction rule. (English) Zbl 07452347 Log. J. IGPL 29, No. 3, 333-339 (2021). MSC: 03-XX 68-XX PDF BibTeX XML Cite \textit{M. Ilić} and \textit{B. Boričić}, Log. J. IGPL 29, No. 3, 333--339 (2021; Zbl 07452347) Full Text: DOI OpenURL
Indrzejczak, Andrzej Free logics are cut-free. (English) Zbl 07424400 Stud. Log. 109, No. 4, 859-886 (2021). MSC: 03-XX PDF BibTeX XML Cite \textit{A. Indrzejczak}, Stud. Log. 109, No. 4, 859--886 (2021; Zbl 07424400) Full Text: DOI OpenURL
Takemura, Ryo Proof theory for heterogeneous logic combining formulas and diagrams: proof normalization. (English) Zbl 07417485 Arch. Math. Logic 60, No. 7-8, 783-813 (2021). Reviewer: Reinhard Kahle (Tübingen) MSC: 03F03 03F05 PDF BibTeX XML Cite \textit{R. Takemura}, Arch. Math. Logic 60, No. 7--8, 783--813 (2021; Zbl 07417485) Full Text: DOI OpenURL
Ciabattoni, Agata; Lang, Timo; Ramanayake, Revantha Bounded-analytic sequent calculi and embeddings for hypersequent logics. (English) Zbl 07415219 J. Symb. Log. 86, No. 2, 635-668 (2021). MSC: 03F03 03F07 03F52 PDF BibTeX XML Cite \textit{A. Ciabattoni} et al., J. Symb. Log. 86, No. 2, 635--668 (2021; Zbl 07415219) Full Text: DOI OpenURL
Kamide, Norihiro Lattice logic, bilattice logic and paraconsistent quantum logic: a unified framework based on monosequent systems. (English) Zbl 07413737 J. Philos. Log. 50, No. 4, 781-811 (2021). MSC: 03-XX PDF BibTeX XML Cite \textit{N. Kamide}, J. Philos. Log. 50, No. 4, 781--811 (2021; Zbl 07413737) Full Text: DOI OpenURL
Zimmermann, Ernst Natural deduction bottom up. (English) Zbl 07413555 J. Logic Lang. Inf. 30, No. 3, 601-631 (2021). MSC: 03B47 03F05 03F07 03F52 68Q42 PDF BibTeX XML Cite \textit{E. Zimmermann}, J. Logic Lang. Inf. 30, No. 3, 601--631 (2021; Zbl 07413555) Full Text: DOI OpenURL
Kamide, Norihiro Modal and intuitionistic variants of extended Belnap-Dunn logic with classical negation. (English) Zbl 07413552 J. Logic Lang. Inf. 30, No. 3, 491-531 (2021). MSC: 03-XX 68-XX PDF BibTeX XML Cite \textit{N. Kamide}, J. Logic Lang. Inf. 30, No. 3, 491--531 (2021; Zbl 07413552) Full Text: DOI OpenURL
Guerrini, Stefano; Masini, Andrea Proof nets for classical logic. (English) Zbl 07391978 Notre Dame J. Formal Logic 62, No. 2, 303-343 (2021). MSC: 03F03 03F05 03F07 PDF BibTeX XML Cite \textit{S. Guerrini} and \textit{A. Masini}, Notre Dame J. Formal Logic 62, No. 2, 303--343 (2021; Zbl 07391978) Full Text: DOI OpenURL
van der Giessen, Iris; Iemhoff, Rosalie Sequent calculi for intuitionistic Gödel-Löb logic. (English) Zbl 07391973 Notre Dame J. Formal Logic 62, No. 2, 221-246 (2021). Reviewer: Emil Jeřábek (Praha) MSC: 03F05 03B45 03B20 03F45 PDF BibTeX XML Cite \textit{I. van der Giessen} and \textit{R. Iemhoff}, Notre Dame J. Formal Logic 62, No. 2, 221--246 (2021; Zbl 07391973) Full Text: DOI OpenURL
Kaminski, Michael; Francez, Nissim Calculi for many-valued logics. (English) Zbl 07380929 Log. Univers. 15, No. 2, 193-226 (2021). MSC: 03B50 03F03 03F05 PDF BibTeX XML Cite \textit{M. Kaminski} and \textit{N. Francez}, Log. Univers. 15, No. 2, 193--226 (2021; Zbl 07380929) Full Text: DOI OpenURL
Savateev, Yury; Shamkanov, Daniyar Non-well-founded proofs for the Grzegorczyk modal logic. (English) Zbl 07374089 Rev. Symb. Log. 14, No. 1, 22-50 (2021). MSC: 03F05 03F07 03B45 PDF BibTeX XML Cite \textit{Y. Savateev} and \textit{D. Shamkanov}, Rev. Symb. Log. 14, No. 1, 22--50 (2021; Zbl 07374089) Full Text: DOI arXiv OpenURL
Cieśliński, Cezary Interpreting the compositional truth predicate in models of arithmetic. (English) Zbl 07373428 Arch. Math. Logic 60, No. 6, 749-770 (2021). MSC: 03C50 03F05 PDF BibTeX XML Cite \textit{C. Cieśliński}, Arch. Math. Logic 60, No. 6, 749--770 (2021; Zbl 07373428) Full Text: DOI OpenURL
Gherardi, Guido; Orlandelli, Eugenio Super-strict implications. (English) Zbl 07368980 Bull. Sect. Log., Univ. Łódź, Dep. Log. 50, No. 1, 1-34 (2021). MSC: 03B45 03B60 03F05 PDF BibTeX XML Cite \textit{G. Gherardi} and \textit{E. Orlandelli}, Bull. Sect. Log., Univ. Łódź, Dep. Log. 50, No. 1, 1--34 (2021; Zbl 07368980) Full Text: DOI OpenURL
Kanovich, Max; Kuznetsov, Stepan; Scedrov, Andre The multiplicative-additive Lambek calculus with subexponential and bracket modalities. (English) Zbl 07363544 J. Logic Lang. Inf. 30, No. 1, 31-88 (2021). MSC: 03B47 03F52 03F05 03D03 03D25 PDF BibTeX XML Cite \textit{M. Kanovich} et al., J. Logic Lang. Inf. 30, No. 1, 31--88 (2021; Zbl 07363544) Full Text: DOI arXiv OpenURL
Battyányi, Péter; Nour, Karim Normalization proofs for the un-typed \(\mu\mu^\prime\)-calculus. (English) Zbl 1484.03021 AIMS Math. 5, No. 4, 3702-3713 (2020). MSC: 03B40 03F05 PDF BibTeX XML Cite \textit{P. Battyányi} and \textit{K. Nour}, AIMS Math. 5, No. 4, 3702--3713 (2020; Zbl 1484.03021) Full Text: DOI OpenURL
Rathjen, Michael; Thomson, Ian Alexander Well-ordering principles, \( \omega \)-models and \(\prod_1^1 \)-comprehension. (English) Zbl 07438596 Kahle, Reinhard (ed.) et al., The legacy of Kurt Schütte. Cham: Springer. 171-215 (2020). MSC: 03B30 03F05 03F15 03F35 03F35 PDF BibTeX XML Cite \textit{M. Rathjen} and \textit{I. A. Thomson}, in: The legacy of Kurt Schütte. Cham: Springer. 171--215 (2020; Zbl 07438596) Full Text: DOI OpenURL
Indrzejczak, Andrzej Free definite description theory – sequent calculi and cut elimination. (English) Zbl 1478.03077 Log. Log. Philos. 29, No. 4, 505-539 (2020). MSC: 03F03 03F05 PDF BibTeX XML Cite \textit{A. Indrzejczak}, Log. Log. Philos. 29, No. 4, 505--539 (2020; Zbl 1478.03077) Full Text: DOI OpenURL
Hamano, Masahiro A \(\mathsf{MALL}\) geometry of interaction based on indexed linear logic. (English) Zbl 07382044 Math. Struct. Comput. Sci. 30, No. 10, 1025-1053 (2020). MSC: 68-XX PDF BibTeX XML Cite \textit{M. Hamano}, Math. Struct. Comput. Sci. 30, No. 10, 1025--1053 (2020; Zbl 07382044) Full Text: DOI arXiv OpenURL
Niki, Satoru Empirical negation, co-negation and the contraposition rule. II: Proof-theoretical investigations. (English) Zbl 1477.03027 Bull. Sect. Log., Univ. Łódź, Dep. Log. 49, No. 4, 359-375 (2020). MSC: 03B20 03F05 03F03 PDF BibTeX XML Cite \textit{S. Niki}, Bull. Sect. Log., Univ. Łódź, Dep. Log. 49, No. 4, 359--375 (2020; Zbl 1477.03027) Full Text: DOI OpenURL
Fjellstad, Andreas Structural proof theory for first-order weak Kleene logics. (English) Zbl 07363455 J. Appl. Non-Class. Log. 30, No. 3, 272-289 (2020). MSC: 03B50 03F05 PDF BibTeX XML Cite \textit{A. Fjellstad}, J. Appl. Non-Class. Log. 30, No. 3, 272--289 (2020; Zbl 07363455) Full Text: DOI OpenURL
Takano, Mitio A modified subformula property for the modal logic KC4. (English) Zbl 1477.03061 Nihonkai Math. J. 31, No. 1, 35-44 (2020). Reviewer: David Makinson (London) MSC: 03B45 03F05 PDF BibTeX XML Cite \textit{M. Takano}, Nihonkai Math. J. 31, No. 1, 35--44 (2020; Zbl 1477.03061) Full Text: Euclid OpenURL
Weiss, Yale Cut and gamma. I: Propositional and constant domain R. (English) Zbl 07347066 Rev. Symb. Log. 13, No. 4, 887-909 (2020). MSC: 03B47 03F05 PDF BibTeX XML Cite \textit{Y. Weiss}, Rev. Symb. Log. 13, No. 4, 887--909 (2020; Zbl 07347066) Full Text: DOI OpenURL
Fjellstad, Andreas A note on the cut-elimination proof in “Truth without contra(di)ction”. (English) Zbl 1473.03035 Rev. Symb. Log. 13, No. 4, 882-886 (2020). Reviewer: Annika Kanckos (Helsinki) MSC: 03F05 03A05 PDF BibTeX XML Cite \textit{A. Fjellstad}, Rev. Symb. Log. 13, No. 4, 882--886 (2020; Zbl 1473.03035) Full Text: DOI OpenURL
Kaminski, Michael; Francez, Nissim De Morgan interpretation of the Lambek-Grishin calculus. (English) Zbl 1479.03014 Rev. Symb. Log. 13, No. 4, 845-856 (2020). Reviewer: Gemma Robles (León) MSC: 03B47 PDF BibTeX XML Cite \textit{M. Kaminski} and \textit{N. Francez}, Rev. Symb. Log. 13, No. 4, 845--856 (2020; Zbl 1479.03014) Full Text: DOI OpenURL
Piazza, Mario; Pulcini, Gabriele Fractional semantics for classical logic. (English) Zbl 07347060 Rev. Symb. Log. 13, No. 4, 810-828 (2020). MSC: 03B05 03B50 03B42 03F05 PDF BibTeX XML Cite \textit{M. Piazza} and \textit{G. Pulcini}, Rev. Symb. Log. 13, No. 4, 810--828 (2020; Zbl 07347060) Full Text: DOI OpenURL
Drobyshevich, Sergey; Wansing, Heinrich Proof systems for various FDE-based modal logics. (English) Zbl 1479.03013 Rev. Symb. Log. 13, No. 4, 720-747 (2020). Reviewer: Takao Inoue (Tokyo) MSC: 03B45 03B47 03F05 PDF BibTeX XML Cite \textit{S. Drobyshevich} and \textit{H. Wansing}, Rev. Symb. Log. 13, No. 4, 720--747 (2020; Zbl 1479.03013) Full Text: DOI OpenURL
Gil-Férez, José; Lauridsen, Frederik Möllerström; Metcalfe, George Integrally closed residuated lattices. (English) Zbl 07346989 Stud. Log. 108, No. 5, 1063-1086 (2020). MSC: 03G10 06F35 03F03 03F05 06F15 PDF BibTeX XML Cite \textit{J. Gil-Férez} et al., Stud. Log. 108, No. 5, 1063--1086 (2020; Zbl 07346989) Full Text: DOI arXiv OpenURL
Kamide, Norihiro Kripke-completeness and cut-elimination theorems for intuitionistic paradefinite logics with and without quasi-explosion. (English) Zbl 1485.03060 J. Philos. Log. 49, No. 6, 1185-1212 (2020). MSC: 03B53 03B50 03B20 03F05 PDF BibTeX XML Cite \textit{N. Kamide}, J. Philos. Log. 49, No. 6, 1185--1212 (2020; Zbl 1485.03060) Full Text: DOI OpenURL
Dalmonte, Tiziano; Grellois, Charles; Olivetti, Nicola Intuitionistic non-normal modal logics: a general framework. (English) Zbl 1485.03047 J. Philos. Log. 49, No. 5, 833-882 (2020). MSC: 03B45 03B20 03F05 PDF BibTeX XML Cite \textit{T. Dalmonte} et al., J. Philos. Log. 49, No. 5, 833--882 (2020; Zbl 1485.03047) Full Text: DOI arXiv OpenURL
Olarte, Carlos; Pimentel, Elaine; Xavier, Bruno A fresh view of linear logic as a logical framework. (English) Zbl 07313969 Nalon, Cláudia (ed.) et al., Proceedings of the 15th international workshop on logical and semantic frameworks, with applications, LSFA 2020, virtual workshop, August 27–28, 2020. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 351, 143-165 (2020). MSC: 03B70 68Q55 68T27 PDF BibTeX XML Cite \textit{C. Olarte} et al., Electron. Notes Theor. Comput. Sci. 351, 143--165 (2020; Zbl 07313969) Full Text: DOI OpenURL
Acclavio, Matteo; Horne, Ross; Straßburger, Lutz Logic beyond formulas: a proof system on graphs. (English) Zbl 07299457 Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM). 38-52 (2020). MSC: 03B70 PDF BibTeX XML Cite \textit{M. Acclavio} et al., in: Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8--11, 2020. New York, NY: Association for Computing Machinery (ACM). 38--52 (2020; Zbl 07299457) Full Text: DOI OpenURL
Komendantskaya, Ekaterina; Rozplokhas, Dmitry; Basold, Henning The new normal: we cannot eliminate cuts in coinductive calculi, but we can explore them. (English) Zbl 1477.03241 Theory Pract. Log. Program. 20, No. 6, 990-1005 (2020). MSC: 03F05 PDF BibTeX XML Cite \textit{E. Komendantskaya} et al., Theory Pract. Log. Program. 20, No. 6, 990--1005 (2020; Zbl 1477.03241) Full Text: DOI arXiv OpenURL
Kamide, Norihiro; Zohar, Yoni Modal extension of ideal paraconsistent four-valued logic and its subsystem. (English) Zbl 1459.03024 Ann. Pure Appl. Logic 171, No. 10, Article ID 102830, 30 p. (2020). Reviewer: Giacomo Lenzi (Fisciano) MSC: 03B45 03B50 03B53 PDF BibTeX XML Cite \textit{N. Kamide} and \textit{Y. Zohar}, Ann. Pure Appl. Logic 171, No. 10, Article ID 102830, 30 p. (2020; Zbl 1459.03024) Full Text: DOI OpenURL
Fiorentini, Camillo; Ferrari, Mauro Duality between unprovability and provability in forward refutation-search for intuitionistic propositional logic. (English) Zbl 1446.03025 ACM Trans. Comput. Log. 21, No. 3, Article No. 22, 47 p. (2020). MSC: 03B20 03B35 03F03 03F05 PDF BibTeX XML Cite \textit{C. Fiorentini} and \textit{M. Ferrari}, ACM Trans. Comput. Log. 21, No. 3, Article No. 22, 47 p. (2020; Zbl 1446.03025) Full Text: DOI arXiv OpenURL
Burel, Guillaume Linking focusing and resolution with selection. (English) Zbl 1446.03099 ACM Trans. Comput. Log. 21, No. 3, Article No. 18, 30 p. (2020). MSC: 03F03 03B35 03F05 68V15 PDF BibTeX XML Cite \textit{G. Burel}, ACM Trans. Comput. Log. 21, No. 3, Article No. 18, 30 p. (2020; Zbl 1446.03099) Full Text: DOI HAL OpenURL
Kushida, Hirohiko A proof theory for the logic of provability in true arithmetic. (English) Zbl 1462.03027 Stud. Log. 108, No. 4, 857-875 (2020). Reviewer: Mladen Vuković (Zagreb) MSC: 03F45 03B45 03F05 03F30 PDF BibTeX XML Cite \textit{H. Kushida}, Stud. Log. 108, No. 4, 857--875 (2020; Zbl 1462.03027) Full Text: DOI OpenURL
Fjellstad, Andreas Herzberger’s limit rule with labelled sequent calculus. (English) Zbl 1484.03119 Stud. Log. 108, No. 4, 815-855 (2020). MSC: 03F05 03F03 PDF BibTeX XML Cite \textit{A. Fjellstad}, Stud. Log. 108, No. 4, 815--855 (2020; Zbl 1484.03119) Full Text: DOI OpenURL
Paoli, Francesco; Pra Baldi, Michele Proof theory of paraconsistent weak Kleene logic. (English) Zbl 1476.03031 Stud. Log. 108, No. 4, 779-802 (2020). Reviewer: Albert Hoogewijs (Gent) MSC: 03B50 03B53 03F05 PDF BibTeX XML Cite \textit{F. Paoli} and \textit{M. Pra Baldi}, Stud. Log. 108, No. 4, 779--802 (2020; Zbl 1476.03031) Full Text: DOI OpenURL
Bílková, Marta; Colacito, Almudena Proof theory for positive logic with weak negation. (English) Zbl 1484.03013 Stud. Log. 108, No. 4, 649-686 (2020). MSC: 03B20 03B05 03F05 03F03 PDF BibTeX XML Cite \textit{M. Bílková} and \textit{A. Colacito}, Stud. Log. 108, No. 4, 649--686 (2020; Zbl 1484.03013) Full Text: DOI arXiv OpenURL
Curzi, Gianluca; Roversi, Luca A type-assignment of linear erasure and duplication. (English) Zbl 1484.03128 Theor. Comput. Sci. 837, 26-53 (2020). MSC: 03F52 03B40 68Q06 PDF BibTeX XML Cite \textit{G. Curzi} and \textit{L. Roversi}, Theor. Comput. Sci. 837, 26--53 (2020; Zbl 1484.03128) Full Text: DOI arXiv OpenURL
Freund, Anton Set-theoretic reflection is equivalent to induction over well-founded classes. (English) Zbl 1484.03105 Proc. Am. Math. Soc. 148, No. 10, 4503-4515 (2020). MSC: 03E30 03B30 03F05 PDF BibTeX XML Cite \textit{A. Freund}, Proc. Am. Math. Soc. 148, No. 10, 4503--4515 (2020; Zbl 1484.03105) Full Text: DOI arXiv OpenURL
Gherardi, Guido; Maffezioli, Paolo; Orlandelli, Eugenio Interpolation in extensions of first-order logic. (English) Zbl 1452.03128 Stud. Log. 108, No. 3, 619-648 (2020). Reviewer: Mario Alviano (Rende) MSC: 03F03 03C40 03F05 PDF BibTeX XML Cite \textit{G. Gherardi} et al., Stud. Log. 108, No. 3, 619--648 (2020; Zbl 1452.03128) Full Text: DOI arXiv OpenURL
Kamide, Norihiro; Zohar, Yoni Completeness and cut-elimination for first-order ideal paraconsistent four-valued logic. (English) Zbl 1481.03010 Stud. Log. 108, No. 3, 549-571 (2020). MSC: 03B53 03B50 03F05 PDF BibTeX XML Cite \textit{N. Kamide} and \textit{Y. Zohar}, Stud. Log. 108, No. 3, 549--571 (2020; Zbl 1481.03010) Full Text: DOI OpenURL
Arndt, Michael The explosion calculus. (English) Zbl 1481.03061 Stud. Log. 108, No. 3, 509-547 (2020). MSC: 03F03 03F05 03F07 PDF BibTeX XML Cite \textit{M. Arndt}, Stud. Log. 108, No. 3, 509--547 (2020; Zbl 1481.03061) Full Text: DOI OpenURL
Lyon, Tim On deriving nested calculi for intuitionistic logics from semantic systems. (English) Zbl 1485.03021 Artemov, Sergei (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2020, Deerfield Beach, FL, USA, January 04–07, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11972, 177-194 (2020). MSC: 03B20 03F03 03F05 PDF BibTeX XML Cite \textit{T. Lyon}, Lect. Notes Comput. Sci. 11972, 177--194 (2020; Zbl 1485.03021) Full Text: DOI arXiv OpenURL
Lyon, Tim Syntactic cut-elimination for intuitionistic fuzzy logic via linear nested sequents. (English) Zbl 1481.03009 Artemov, Sergei (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2020, Deerfield Beach, FL, USA, January 04–07, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11972, 156-176 (2020). Reviewer: Ciro Russo (Salvador) MSC: 03B52 03F05 PDF BibTeX XML Cite \textit{T. Lyon}, Lect. Notes Comput. Sci. 11972, 156--176 (2020; Zbl 1481.03009) Full Text: DOI arXiv OpenURL
Baaz, Matthias; Lolic, Anela A globally sound analytic calculus for Henkin quantifiers. (English) Zbl 1485.03140 Artemov, Sergei (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2020, Deerfield Beach, FL, USA, January 04–07, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11972, 128-143 (2020). MSC: 03C80 03F03 03F05 PDF BibTeX XML Cite \textit{M. Baaz} and \textit{A. Lolic}, Lect. Notes Comput. Sci. 11972, 128--143 (2020; Zbl 1485.03140) Full Text: DOI OpenURL
Dalmonte, Tiziano; Lellmann, Björn; Olivetti, Nicola; Pimentel, Elaine Countermodel construction via optimal hypersequent calculi for non-normal modal logics. (English) Zbl 1485.03048 Artemov, Sergei (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2020, Deerfield Beach, FL, USA, January 04–07, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11972, 27-46 (2020). MSC: 03B45 03F05 PDF BibTeX XML Cite \textit{T. Dalmonte} et al., Lect. Notes Comput. Sci. 11972, 27--46 (2020; Zbl 1485.03048) Full Text: DOI Link OpenURL
Krupski, Vladimir N. Cut elimination and complexity bounds for intuitionistic epistemic logic. (English) Zbl 07194701 J. Log. Comput. 30, No. 1, 281-294 (2020). MSC: 03-XX 68-XX PDF BibTeX XML Cite \textit{V. N. Krupski}, J. Log. Comput. 30, No. 1, 281--294 (2020; Zbl 07194701) Full Text: DOI OpenURL
Kanovich, Max; Kuznetsov, Stepan; Scedrov, Andre Reconciling Lambek’s restriction, cut-elimination and substitution in the presence of exponential modalities. (English) Zbl 07194699 J. Log. Comput. 30, No. 1, 239-256 (2020). MSC: 03B47 PDF BibTeX XML Cite \textit{M. Kanovich} et al., J. Log. Comput. 30, No. 1, 239--256 (2020; Zbl 07194699) Full Text: DOI arXiv OpenURL
Eades, Harley III; de Paiva, Valeria Multiple conclusion linear logic: cut elimination and more. (English) Zbl 07194695 J. Log. Comput. 30, No. 1, 157-174 (2020). MSC: 03F52 PDF BibTeX XML Cite \textit{H. Eades III} and \textit{V. de Paiva}, J. Log. Comput. 30, No. 1, 157--174 (2020; Zbl 07194695) Full Text: DOI OpenURL
Afshari, Bahareh; Hetzl, Stefan; Leigh, Graham E. Herbrand’s theorem as higher order recursion. (English) Zbl 1464.03085 Ann. Pure Appl. Logic 171, No. 6, Article ID 102792, 45 p. (2020). Reviewer: Annika Kanckos (Helsinki) MSC: 03F05 03F07 03D05 03F30 PDF BibTeX XML Cite \textit{B. Afshari} et al., Ann. Pure Appl. Logic 171, No. 6, Article ID 102792, 45 p. (2020; Zbl 1464.03085) Full Text: DOI OpenURL
Parlamento, Franco; Previale, Flavio Absorbing the structural rules in the sequent calculus with additional atomic rules. (English) Zbl 1481.03062 Arch. Math. Logic 59, No. 3-4, 389-408 (2020). MSC: 03F05 03F07 PDF BibTeX XML Cite \textit{F. Parlamento} and \textit{F. Previale}, Arch. Math. Logic 59, No. 3--4, 389--408 (2020; Zbl 1481.03062) Full Text: DOI arXiv OpenURL
Ma, Minghui; Lin, Yuanlei Countably many weakenings of Belnap-Dunn logic. (English) Zbl 1484.03041 Stud. Log. 108, No. 2, 163-198 (2020). MSC: 03B50 03G25 03F05 06D30 PDF BibTeX XML Cite \textit{M. Ma} and \textit{Y. Lin}, Stud. Log. 108, No. 2, 163--198 (2020; Zbl 1484.03041) Full Text: DOI OpenURL
Aguilera, J. P. Determinate logic and the axiom of choice. (English) Zbl 07135275 Ann. Pure Appl. Logic 171, No. 2, Article ID 102745, 24 p. (2020). MSC: 03F03 03F05 03E60 03E25 PDF BibTeX XML Cite \textit{J. P. Aguilera}, Ann. Pure Appl. Logic 171, No. 2, Article ID 102745, 24 p. (2020; Zbl 07135275) Full Text: DOI OpenURL
Yu, Junhua Lyndon interpolation theorem of instantial neighborhood logic-constructively via a sequent calculus. (English) Zbl 07127338 Ann. Pure Appl. Logic 171, No. 1, Article ID 102721, 40 p. (2020). MSC: 03F05 03C40 03B45 PDF BibTeX XML Cite \textit{J. Yu}, Ann. Pure Appl. Logic 171, No. 1, Article ID 102721, 40 p. (2020; Zbl 07127338) Full Text: DOI OpenURL
Pistone, Paolo Proof nets, coends and the Yoneda isomorphism. (English) Zbl 07450007 Ehrhard, Thomas (ed.) et al., Proceedings of the joint international workshop on linearity & trends in linear logic and applications, Linearity-TLLA 2018, Oxford, UK, July 7–8, 2018. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 292, 148-167 (2019). MSC: 03F52 03F05 03G30 PDF BibTeX XML Cite \textit{P. Pistone}, Electron. Proc. Theor. Comput. Sci. (EPTCS) 292, 148--167 (2019; Zbl 07450007) Full Text: arXiv Link OpenURL
Lin, Zhe; Ma, Minghui Gentzen sequent calculi for some intuitionistic modal logics. (English) Zbl 1477.03055 Log. J. IGPL 27, No. 4, 596-623 (2019). MSC: 03B45 03B20 03F05 03B25 03F03 PDF BibTeX XML Cite \textit{Z. Lin} and \textit{M. Ma}, Log. J. IGPL 27, No. 4, 596--623 (2019; Zbl 1477.03055) Full Text: DOI OpenURL
Negri, Sara; Orlandelli, Eugenio Proof theory for quantified monotone modal logics. (English) Zbl 1477.03057 Log. J. IGPL 27, No. 4, 478-506 (2019). MSC: 03B45 03F03 03F05 PDF BibTeX XML Cite \textit{S. Negri} and \textit{E. Orlandelli}, Log. J. IGPL 27, No. 4, 478--506 (2019; Zbl 1477.03057) Full Text: DOI OpenURL
Cohen, Liron; Avron, Arnon The middle ground-ancestral logic. (English) Zbl 1475.03082 Synthese 196, No. 7, 2671-2693 (2019). MSC: 03B60 03F05 03A05 PDF BibTeX XML Cite \textit{L. Cohen} and \textit{A. Avron}, Synthese 196, No. 7, 2671--2693 (2019; Zbl 1475.03082) Full Text: DOI OpenURL
Kamide, Norihiro A substructural view of multilattice logic. (English) Zbl 1452.03067 J. Mult.-Val. Log. Soft Comput. 33, No. 3, 239-270 (2019). MSC: 03B50 03B47 03F05 PDF BibTeX XML Cite \textit{N. Kamide}, J. Mult.-Val. Log. Soft Comput. 33, No. 3, 239--270 (2019; Zbl 1452.03067) Full Text: Link OpenURL
Grigoriev, Oleg; Petrukhin, Yaroslav On a multilattice analogue of a hypersequent S5 calculus. (English) Zbl 1458.03012 Log. Log. Philos. 28, No. 4, 683-730 (2019). MSC: 03B45 03B50 03F05 PDF BibTeX XML Cite \textit{O. Grigoriev} and \textit{Y. Petrukhin}, Log. Log. Philos. 28, No. 4, 683--730 (2019; Zbl 1458.03012) Full Text: DOI OpenURL
Kamide, Norihiro Bi-classical connexive logic and its modal extension: cut-elimination, completeness and duality. (English) Zbl 1458.03013 Log. Log. Philos. 28, No. 3, 481-511 (2019). MSC: 03B45 03B50 03B53 03F05 PDF BibTeX XML Cite \textit{N. Kamide}, Log. Log. Philos. 28, No. 3, 481--511 (2019; Zbl 1458.03013) Full Text: DOI OpenURL
Chlebowski, Szymon; Leszczyńska-Jasion, Dorota An investigation into intuitionistic logic with identity. (English) Zbl 1446.03024 Bull. Sect. Log., Univ. Łódź, Dep. Log. 48, No. 4, 259-283 (2019). MSC: 03B20 03F05 PDF BibTeX XML Cite \textit{S. Chlebowski} and \textit{D. Leszczyńska-Jasion}, Bull. Sect. Log., Univ. Łódź, Dep. Log. 48, No. 4, 259--283 (2019; Zbl 1446.03024) Full Text: DOI OpenURL
Zach, Richard The significance of the Curry-Howard isomorphism. (English) Zbl 1465.03058 Mras, Gabriele M. (ed.) et al., Philosophy of logic and mathematics. Proceedings of the 41st international Ludwig Wittgenstein symposium. Berlin: De Gruyter. Publ. Austrian Ludwig Wittgenstein Soc. New Ser. 27, 313-325 (2019). MSC: 03B40 03F05 03A05 PDF BibTeX XML Cite \textit{R. Zach}, Publ. Austrian Ludwig Wittgenstein Soc. New Ser. 27, 313--325 (2019; Zbl 1465.03058) Full Text: DOI Link OpenURL
Tennant, Neil GP’s LP. (English) Zbl 1469.03081 Başkent, Can (ed.) et al., Graham Priest on dialetheism and paraconsistency. Cham: Springer. Outst. Contrib. Log. 18, 481-506 (2019). MSC: 03B53 03F05 PDF BibTeX XML Cite \textit{N. Tennant}, Outst. Contrib. Log. 18, 481--506 (2019; Zbl 1469.03081) Full Text: DOI OpenURL
Wessel, Daniel Point-free spectra of linear spreads. (English) Zbl 1476.03078 Centrone, Stefania (ed.) et al., Mathesis universalis, computability and proof. Based on the Humboldt-Kolleg “Proof theory as mathesis universalis”, held at the German-Italian Centre for European Excellence, Villa Vigoni, Loveno di Menaggio, Como, Italy, July 24–28, 2017. Cham: Springer. Synth. Libr. 412, 353-374 (2019). Reviewer: Stefan Neuwirth (Besançon) MSC: 03F03 03F60 03F05 06D05 18F70 PDF BibTeX XML Cite \textit{D. Wessel}, Synth. Libr. 412, 353--374 (2019; Zbl 1476.03078) Full Text: DOI OpenURL
Minari, Pierluigi Analytic equational proof systems for combinatory logic and \(\lambda \)-calculus: a survey. (English) Zbl 1469.03042 Centrone, Stefania (ed.) et al., Mathesis universalis, computability and proof. Based on the Humboldt-Kolleg “Proof theory as mathesis universalis”, held at the German-Italian Centre for European Excellence, Villa Vigoni, Loveno di Menaggio, Como, Italy, July 24–28, 2017. Cham: Springer. Synth. Libr. 412, 235-253 (2019). MSC: 03B40 03F05 PDF BibTeX XML Cite \textit{P. Minari}, Synth. Libr. 412, 235--253 (2019; Zbl 1469.03042) Full Text: DOI OpenURL
Kuznets, Roman Through an inference rule, darkly. (English) Zbl 1469.03158 Centrone, Stefania (ed.) et al., Mathesis universalis, computability and proof. Based on the Humboldt-Kolleg “Proof theory as mathesis universalis”, held at the German-Italian Centre for European Excellence, Villa Vigoni, Loveno di Menaggio, Como, Italy, July 24–28, 2017. Cham: Springer. Synth. Libr. 412, 131-158 (2019). MSC: 03F03 03B45 03F05 03F07 PDF BibTeX XML Cite \textit{R. Kuznets}, Synth. Libr. 412, 131--158 (2019; Zbl 1469.03158) Full Text: DOI OpenURL
Lellmann, Björn Combining monotone and normal modal logic in nested sequents – with countermodels. (English) Zbl 1468.03023 Cerrito, Serenella (ed.) et al., Automated reasoning with analytic tableaux and related methods. 28th international conference, TABLEAUX 2019, London, UK, September 3–5, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11714, 203-220 (2019). MSC: 03B45 03F05 03F03 PDF BibTeX XML Cite \textit{B. Lellmann}, Lect. Notes Comput. Sci. 11714, 203--220 (2019; Zbl 1468.03023) Full Text: DOI OpenURL
Goré, Rajeev; Lellmann, Björn Syntactic cut-elimination and backward proof-search for tense logic via linear nested sequents. (English) Zbl 1435.03084 Cerrito, Serenella (ed.) et al., Automated reasoning with analytic tableaux and related methods. 28th international conference, TABLEAUX 2019, London, UK, September 3–5, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11714, 185-202 (2019). MSC: 03F05 03B45 03B44 PDF BibTeX XML Cite \textit{R. Goré} and \textit{B. Lellmann}, Lect. Notes Comput. Sci. 11714, 185--202 (2019; Zbl 1435.03084) Full Text: DOI arXiv OpenURL
Fiorentini, Camillo; Goré, Rajeev; Graham-Lengrand, Stéphane A proof-theoretic perspective on SMT-solving for intuitionistic propositional logic. (English) Zbl 1435.68367 Cerrito, Serenella (ed.) et al., Automated reasoning with analytic tableaux and related methods. 28th international conference, TABLEAUX 2019, London, UK, September 3–5, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11714, 111-129 (2019). MSC: 68V15 03B20 03F05 PDF BibTeX XML Cite \textit{C. Fiorentini} et al., Lect. Notes Comput. Sci. 11714, 111--129 (2019; Zbl 1435.68367) Full Text: DOI OpenURL
Ciabattoni, Agata; Lang, Timo; Ramanayake, Revantha Bounded sequent calculi for non-classical logics via hypersequents. (English) Zbl 1468.03021 Cerrito, Serenella (ed.) et al., Automated reasoning with analytic tableaux and related methods. 28th international conference, TABLEAUX 2019, London, UK, September 3–5, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11714, 94-110 (2019). MSC: 03B45 03B47 03F05 03F03 PDF BibTeX XML Cite \textit{A. Ciabattoni} et al., Lect. Notes Comput. Sci. 11714, 94--110 (2019; Zbl 1468.03021) Full Text: DOI OpenURL
Dvir, Yotam; Avron, Arnon First-order quasi-canonical proof systems. (English) Zbl 1435.03085 Cerrito, Serenella (ed.) et al., Automated reasoning with analytic tableaux and related methods. 28th international conference, TABLEAUX 2019, London, UK, September 3–5, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11714, 77-93 (2019). MSC: 03F07 03F05 68T27 68T30 PDF BibTeX XML Cite \textit{Y. Dvir} and \textit{A. Avron}, Lect. Notes Comput. Sci. 11714, 77--93 (2019; Zbl 1435.03085) Full Text: DOI OpenURL
Indrzejczak, Andrzej Two is enough – bisequent calculus for S5. (English) Zbl 1468.03022 Herzig, Andreas (ed.) et al., Frontiers of combining systems. 12th international symposium, FroCoS 2019, London, UK, September 4–6, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11715, 277-294 (2019). MSC: 03B45 03F05 PDF BibTeX XML Cite \textit{A. Indrzejczak}, Lect. Notes Comput. Sci. 11715, 277--294 (2019; Zbl 1468.03022) Full Text: DOI OpenURL
Savateev, Yury; Shamkanov, Daniyar Cut elimination for the weak modal Grzegorczyk logic via non-well-founded proofs. (English) Zbl 07176948 Iemhoff, Rosalie (ed.) et al., Logic, language, information, and computation. 26th international workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2–5, 2019. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 11541, 569-583 (2019). MSC: 03B70 PDF BibTeX XML Cite \textit{Y. Savateev} and \textit{D. Shamkanov}, Lect. Notes Comput. Sci. 11541, 569--583 (2019; Zbl 07176948) Full Text: DOI arXiv OpenURL
Baaz, Matthias; Lolic, Anela Note on globally sound analytic calculi for quantifier macros. (English) Zbl 07176943 Iemhoff, Rosalie (ed.) et al., Logic, language, information, and computation. 26th international workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2–5, 2019. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 11541, 486-497 (2019). MSC: 03B70 PDF BibTeX XML Cite \textit{M. Baaz} and \textit{A. Lolic}, Lect. Notes Comput. Sci. 11541, 486--497 (2019; Zbl 07176943) Full Text: DOI OpenURL