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
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
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 07464265 Rev. Symb. Log. 14, No. 3, 645-686 (2021). Reviewer: Annika Kanckos (Helsinki) MSC: 03F03 03F05 03F07 PDF BibTeX XML Cite \textit{R. Zach}, Rev. Symb. Log. 14, No. 3, 645--686 (2021; Zbl 07464265) 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
Kobeaga, Gorka; Merino, María; Lozano, Jose A. On solving cycle problems with branch-and-cut: extending shrinking and exact subcycle elimination separation algorithms. (English) Zbl 1473.05148 Ann. Oper. Res. 305, No. 1-2, 107-136 (2021). MSC: 05C38 90C10 90C57 PDF BibTeX XML Cite \textit{G. Kobeaga} et al., Ann. Oper. Res. 305, No. 1--2, 107--136 (2021; Zbl 1473.05148) Full Text: DOI arXiv 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). 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 07513072 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 07513072) 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 07345793 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 07345793) Full Text: DOI OpenURL
Dalmonte, Tiziano; Grellois, Charles; Olivetti, Nicola Intuitionistic non-normal modal logics: a general framework. (English) Zbl 07345276 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 07345276) 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 07239285 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 07239285) 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 07239279 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 07239279) Full Text: DOI arXiv OpenURL
Curzi, Gianluca; Roversi, Luca A type-assignment of linear erasure and duplication. (English) Zbl 07239089 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 07239089) Full Text: DOI arXiv OpenURL
Freund, Anton Set-theoretic reflection is equivalent to induction over well-founded classes. (English) Zbl 07237853 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 07237853) 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 07197413 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 07197413) 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 07197410 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 07197410) 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 07197404 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 07197404) 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 07183492 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 07183492) Full Text: DOI OpenURL
Chitsaz, Masoud; Cordeau, Jean-François; Jans, Raf A branch-and-cut algorithm for an assembly routing problem. (English) Zbl 1431.90003 Eur. J. Oper. Res. 282, No. 3, 896-910 (2020). MSC: 90B05 90B06 90C35 90C57 PDF BibTeX XML Cite \textit{M. Chitsaz} et al., Eur. J. Oper. Res. 282, No. 3, 896--910 (2020; Zbl 1431.90003) 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
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
Indrzejczak, Andrzej Cut elimination in hypersequent calculus for some logics of linear time. (English) Zbl 07171848 Rev. Symb. Log. 12, No. 4, 806-822 (2019). MSC: 03B44 03F03 03F05 PDF BibTeX XML Cite \textit{A. Indrzejczak}, Rev. Symb. Log. 12, No. 4, 806--822 (2019; Zbl 07171848) Full Text: DOI OpenURL
Pavlović, Edi; Gratzl, Norbert Proof-theoretic analysis of the quantified argument calculus. (English) Zbl 07171840 Rev. Symb. Log. 12, No. 4, 607-636 (2019). MSC: 03F03 03F05 03B10 03B65 PDF BibTeX XML Cite \textit{E. Pavlović} and \textit{N. Gratzl}, Rev. Symb. Log. 12, No. 4, 607--636 (2019; Zbl 07171840) Full Text: DOI OpenURL
Indrzejczak, Andrzej Fregean description theory in proof-theoretical setting. (English) Zbl 1477.03238 Log. Log. Philos. 28, No. 1, 137-155 (2019). MSC: 03F03 03F05 03A05 PDF BibTeX XML Cite \textit{A. Indrzejczak}, Log. Log. Philos. 28, No. 1, 137--155 (2019; Zbl 1477.03238) Full Text: DOI OpenURL
Su, Youan; Sano, Katsuhiko First-order intuitionistic epistemic logic. (English) Zbl 07160620 Blackburn, Patrick (ed.) et al., Logic, rationality, and interaction. 7th international workshop, LORI 2019, Chongqing, China, October 18–21, 2019. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 11813, 326-339 (2019). MSC: 68T27 PDF BibTeX XML Cite \textit{Y. Su} and \textit{K. Sano}, Lect. Notes Comput. Sci. 11813, 326--339 (2019; Zbl 07160620) Full Text: DOI OpenURL
Geuvers, Herman; van der Giessen, Iris; Hurkens, Tonny Strong normalization for truth table natural deduction. (English) Zbl 1454.03076 Fundam. Inform. 170, No. 1-3, 139-176 (2019). Reviewer: Annika Kanckos (Helsinki) MSC: 03F05 03B40 PDF BibTeX XML Cite \textit{H. Geuvers} et al., Fundam. Inform. 170, No. 1--3, 139--176 (2019; Zbl 1454.03076) Full Text: DOI OpenURL
Pistone, Paolo On completeness and parametricity in the realizability semantics of System F. (English) Zbl 07136665 Log. Methods Comput. Sci. 15, No. 4, Paper No. 6, 54 p. (2019). MSC: 03B15 03B70 03F03 03F05 PDF BibTeX XML Cite \textit{P. Pistone}, Log. Methods Comput. Sci. 15, No. 4, Paper No. 6, 54 p. (2019; Zbl 07136665) Full Text: arXiv OpenURL
Lahav, Ori; Zohar, Yoni Pure sequent calculi. Analyticity and decision procedure. (English) Zbl 1433.03130 ACM Trans. Comput. Log. 20, No. 3, Article No. 13, 38 p. (2019). MSC: 03F03 03B45 03F05 PDF BibTeX XML Cite \textit{O. Lahav} and \textit{Y. Zohar}, ACM Trans. Comput. Log. 20, No. 3, Article No. 13, 38 p. (2019; Zbl 1433.03130) Full Text: DOI OpenURL
Wang, SanMin A proof of the standard completeness for the involutive uninorm logic. (English) Zbl 1425.03011 Symmetry 11, No. 4, Paper No. 445, 50 p. (2019). MSC: 03B52 03B50 03F05 03B47 PDF BibTeX XML Cite \textit{S. Wang}, Symmetry 11, No. 4, Paper No. 445, 50 p. (2019; Zbl 1425.03011) Full Text: DOI OpenURL
Wang, SanMin The logic of pseudo-uninorms and their residua. (English) Zbl 1423.03074 Symmetry 11, No. 3, Paper No. 368, 13 p. (2019). MSC: 03B50 03F05 03B52 03B47 PDF BibTeX XML Cite \textit{S. Wang}, Symmetry 11, No. 3, Paper No. 368, 13 p. (2019; Zbl 1423.03074) Full Text: DOI arXiv OpenURL
Greco, Giuseppe; Liang, Fei; Manoorkar, Krishna; Palmigiano, Alessandra Proper multi-type display calculi for rough algebras. (English) Zbl 1434.03147 Accattoli, Beniamino (ed.) et al., Proceedings of the 13th workshop on logical and semantic frameworks with applications, LSFA 18, Fortaleza, Brazil, September 26–28, 2018. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 344, 101-118 (2019). MSC: 03G25 06E75 03F05 03E72 PDF BibTeX XML Cite \textit{G. Greco} et al., Electron. Notes Theor. Comput. Sci. 344, 101--118 (2019; Zbl 1434.03147) Full Text: DOI arXiv OpenURL
Maffezioli, Paolo; Orlandelli, Eugenio Full cut elimination and interpolation for intuitionistic logic with existence predicate. (English) Zbl 1477.03242 Bull. Sect. Log., Univ. Łódź, Dep. Log. 48, No. 2, 137-158 (2019). MSC: 03F05 03B20 PDF BibTeX XML Cite \textit{P. Maffezioli} and \textit{E. Orlandelli}, Bull. Sect. Log., Univ. Łódź, Dep. Log. 48, No. 2, 137--158 (2019; Zbl 1477.03242) Full Text: DOI OpenURL
Hill, Brian; Poggiolesi, Francesca An analytic calculus for the intuitionistic logic of proofs. (English) Zbl 07120746 Notre Dame J. Formal Logic 60, No. 3, 353-393 (2019). MSC: 03F05 03B42 PDF BibTeX XML Cite \textit{B. Hill} and \textit{F. Poggiolesi}, Notre Dame J. Formal Logic 60, No. 3, 353--393 (2019; Zbl 07120746) Full Text: DOI Euclid HAL OpenURL