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. Electronic Notes in Theoretical Computer Science 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
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) (ISBN 978-1-4503-7104-9). 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
Komendantskaya, Ekaterina; Rozplokhas, Dmitry; Basold, Henning The new normal: we cannot eliminate cuts in coinductive calculi, but we can explore them. (English) Zbl 07284984 Theory Pract. Log. Program. 20, No. 6, 990-1005 (2020). MSC: 68N17 PDF BibTeX XML Cite \textit{E. Komendantskaya} et al., Theory Pract. Log. Program. 20, No. 6, 990--1005 (2020; Zbl 07284984) Full Text: DOI
Kamide, Norihiro; Zohar, Yoni Modal extension of ideal paraconsistent four-valued logic and its subsystem. (English) Zbl 07257238 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 07257238) Full Text: DOI
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
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
Kushida, Hirohiko A proof theory for the logic of provability in true arithmetic. (English) Zbl 07239286 Stud. Log. 108, No. 4, 857-875 (2020). MSC: 03 PDF BibTeX XML Cite \textit{H. Kushida}, Stud. Log. 108, No. 4, 857--875 (2020; Zbl 07239286) Full Text: DOI
Paoli, Francesco; Pra Baldi, Michele Proof theory of paraconsistent weak Kleene logic. (English) Zbl 07239283 Stud. Log. 108, No. 4, 779-802 (2020). 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 07239283) Full Text: DOI
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
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
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
Kamide, Norihiro; Zohar, Yoni Completeness and cut-elimination for first-order ideal paraconsistent four-valued logic. (English) Zbl 07210300 Stud. Log. 108, No. 3, 549-571 (2020). MSC: 03 PDF BibTeX XML Cite \textit{N. Kamide} and \textit{Y. Zohar}, Stud. Log. 108, No. 3, 549--571 (2020; Zbl 07210300) Full Text: DOI
Lyon, Tim Syntactic cut-elimination for intuitionistic fuzzy logic via linear nested sequents. (English) Zbl 07197412 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 (ISBN 978-3-030-36754-1/pbk; 978-3-030-36755-8/ebook). Lecture Notes in Computer Science 11972, 156-176 (2020). MSC: 03B70 PDF BibTeX XML Cite \textit{T. Lyon}, Lect. Notes Comput. Sci. 11972, 156--176 (2020; Zbl 07197412) Full Text: DOI
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 (ISBN 978-3-030-36754-1/pbk; 978-3-030-36755-8/ebook). Lecture Notes in Computer Science 11972, 128-143 (2020). MSC: 03B70 PDF BibTeX XML Cite \textit{M. Baaz} and \textit{A. Lolic}, Lect. Notes Comput. Sci. 11972, 128--143 (2020; Zbl 07197410) Full Text: DOI
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 (ISBN 978-3-030-36754-1/pbk; 978-3-030-36755-8/ebook). Lecture Notes in Computer Science 11972, 27-46 (2020). MSC: 03B70 PDF BibTeX XML Cite \textit{T. Dalmonte} et al., Lect. Notes Comput. Sci. 11972, 27--46 (2020; Zbl 07197404) Full Text: DOI
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 68 PDF BibTeX XML Cite \textit{V. N. Krupski}, J. Log. Comput. 30, No. 1, 281--294 (2020; Zbl 07194701) Full Text: DOI
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: 03 68 PDF BibTeX XML Cite \textit{M. Kanovich} et al., J. Log. Comput. 30, No. 1, 239--256 (2020; Zbl 07194699) Full Text: DOI
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: 03 68 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
Afshari, Bahareh; Hetzl, Stefan; Leigh, Graham E. Herbrand’s theorem as higher order recursion. (English) Zbl 07189164 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 07189164) Full Text: DOI
Parlamento, Franco; Previale, Flavio Absorbing the structural rules in the sequent calculus with additional atomic rules. (English) Zbl 07184238 Arch. Math. Logic 59, No. 3-4, 389-408 (2020). MSC: 03F05 PDF BibTeX XML Cite \textit{F. Parlamento} and \textit{F. Previale}, Arch. Math. Logic 59, No. 3--4, 389--408 (2020; Zbl 07184238) Full Text: DOI
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
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
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
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
Grigoriev, Oleg; Petrukhin, Yaroslav On a multilattice analogue of a hypersequent S5 calculus. (English) Zbl 07291244 Log. Log. Philos. 28, No. 4, 683-730 (2019). MSC: 03 PDF BibTeX XML Cite \textit{O. Grigoriev} and \textit{Y. Petrukhin}, Log. Log. Philos. 28, No. 4, 683--730 (2019; Zbl 07291244) Full Text: DOI
Kamide, Norihiro Bi-classical connexive logic and its modal extension: cut-elimination, completeness and duality. (English) Zbl 07291236 Log. Log. Philos. 28, No. 3, 481-511 (2019). MSC: 03 PDF BibTeX XML Cite \textit{N. Kamide}, Log. Log. Philos. 28, No. 3, 481--511 (2019; Zbl 07291236) Full Text: DOI
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
Zach, Richard The significance of the Curry-Howard isomorphism. (English) Zbl 07237980 Mras, Gabriele M. (ed.) et al., Philosophy of logic and mathematics. Proceedings of the 41st international Ludwig Wittgenstein symposium. Berlin: De Gruyter (ISBN 978-3-11-065430-1/hbk; 978-3-11-065788-3/ebook). Publications of the Austrian Ludwig Wittgenstein Society – New Series 27, 313-325 (2019). MSC: 03B40 03F05 03A05 PDF BibTeX XML Cite \textit{R. Zach}, in: Philosophy of logic and mathematics. Proceedings of the 41st international Ludwig Wittgenstein symposium. Berlin: De Gruyter. 313--325 (2019; Zbl 07237980) Full Text: DOI
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
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
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
Indrzejczak, Andrzej Two is enough – bisequent calculus for S5. (English) Zbl 07200366 Herzig, Andreas (ed.) et al., Frontiers of combining systems. 12th international symposium, FroCoS 2019, London, UK, September 4–6, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-29006-1/pbk; 978-3-030-29007-8/ebook). Lecture Notes in Computer Science 11715. Lecture Notes in Artificial Intelligence, 277-294 (2019). MSC: 03B45 03F05 PDF BibTeX XML Cite \textit{A. Indrzejczak}, Lect. Notes Comput. Sci. 11715, 277--294 (2019; Zbl 07200366) Full Text: DOI
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 (ISBN 978-3-662-59532-9/pbk; 978-3-662-59533-6/ebook). Lecture Notes in Computer Science 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
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 (ISBN 978-3-662-59532-9/pbk; 978-3-662-59533-6/ebook). Lecture Notes in Computer Science 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
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
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
Indrzejczak, Andrzej Fregean description theory in proof-theoretical setting. (English) Zbl 07166050 Log. Log. Philos. 28, No. 1, 137-155 (2019). MSC: 03F03 03F05 PDF BibTeX XML Cite \textit{A. Indrzejczak}, Log. Log. Philos. 28, No. 1, 137--155 (2019; Zbl 07166050) Full Text: DOI
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 (ISBN 978-3-662-60291-1/pbk; 978-3-662-60292-8/ebook). Lecture Notes in Computer Science 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
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
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
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
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
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
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
Maffezioli, Paolo; Orlandelli, Eugenio Full cut elimination and interpolation for intuitionistic logic with existence predicate. (English) Zbl 07124777 Bull. Sect. Log., Univ. Łódź, Dep. Log. 48, No. 2, 137-158 (2019). MSC: 03 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 07124777) Full Text: DOI
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
Han, Shengwei; Wang, Rongrong; Xu, Xiaoting On the injective hulls of quantum B-algebras. (English) Zbl 1423.03254 Fuzzy Sets Syst. 369, 114-121 (2019). MSC: 03G12 03G25 03F07 03F05 PDF BibTeX XML Cite \textit{S. Han} et al., Fuzzy Sets Syst. 369, 114--121 (2019; Zbl 1423.03254) Full Text: DOI
Greco, Giuseppe; Liang, Fei; Palmigiano, Alessandra; Rivieccio, Umberto Bilattice logic properly displayed. (English) Zbl 1423.03079 Fuzzy Sets Syst. 363, 138-155 (2019). MSC: 03B52 03B50 03F05 PDF BibTeX XML Cite \textit{G. Greco} et al., Fuzzy Sets Syst. 363, 138--155 (2019; Zbl 1423.03079) Full Text: DOI arXiv
Aschieri, Federico; Hetzl, Stefan; Weller, Daniel Expansion trees with cut. (English) Zbl 07114848 Math. Struct. Comput. Sci. 29, No. 8, 1009-1029 (2019). MSC: 03F05 PDF BibTeX XML Cite \textit{F. Aschieri} et al., Math. Struct. Comput. Sci. 29, No. 8, 1009--1029 (2019; Zbl 07114848) Full Text: DOI arXiv
Maieli, Roberto Non decomposable connectives of linear logic. (English) Zbl 07114342 Ann. Pure Appl. Logic 170, No. 11, Article ID 102709, 27 p. (2019). MSC: 03F03 03F05 03F07 03F52 03B47 PDF BibTeX XML Cite \textit{R. Maieli}, Ann. Pure Appl. Logic 170, No. 11, Article ID 102709, 27 p. (2019; Zbl 07114342) Full Text: DOI
Rinaldi, Davide; Wessel, Daniel Cut elimination for entailment relations. (English) Zbl 07077052 Arch. Math. Logic 58, No. 5-6, 605-625 (2019). MSC: 03F05 03F65 13J25 PDF BibTeX XML Cite \textit{D. Rinaldi} and \textit{D. Wessel}, Arch. Math. Logic 58, No. 5--6, 605--625 (2019; Zbl 07077052) Full Text: DOI
Rezuş, Adrian Book review of: J. von Plato, Saved from the cellar. Gerhard Gentzen’s shorthand notes on logic and the foundations of mathematics. (English) Zbl 1435.00038 Stud. Log. 107, No. 3, 583-589 (2019). MSC: 00A17 03-03 01A60 03F03 03F05 03F25 03F40 03F50 03F55 03A05 01A70 PDF BibTeX XML Cite \textit{A. Rezuş}, Stud. Log. 107, No. 3, 583--589 (2019; Zbl 1435.00038) Full Text: DOI
Chaudhuri, Kaustuv; Lima, Leonardo; Reis, Giselle Formalized meta-theory of sequent calculi for linear logics. (English) Zbl 1425.03007 Theor. Comput. Sci. 781, 24-38 (2019). MSC: 03B35 03B47 03F05 03F52 68T15 PDF BibTeX XML Cite \textit{K. Chaudhuri} et al., Theor. Comput. Sci. 781, 24--38 (2019; Zbl 1425.03007) Full Text: DOI
Drobyshevich, Sergey Disentangling structural connectives or life without display property. (English) Zbl 07066826 J. Philos. Log. 48, No. 2, 279-303 (2019). MSC: 03B60 03F05 03B20 PDF BibTeX XML Cite \textit{S. Drobyshevich}, J. Philos. Log. 48, No. 2, 279--303 (2019; Zbl 07066826) Full Text: DOI
Kamide, Norihiro Gentzen-type sequent calculi for extended Belnap-Dunn logics with classical negation: a general framework. (English) Zbl 07061141 Log. Univers. 13, No. 1, 37-63 (2019). MSC: 03B53 03B50 PDF BibTeX XML Cite \textit{N. Kamide}, Log. Univers. 13, No. 1, 37--63 (2019; Zbl 07061141) Full Text: DOI
Millson, Jared; Straßer, Christian A logic for best explanations. (English) Zbl 1445.03036 J. Appl. Non-Class. Log. 29, No. 2, 184-231 (2019). Reviewer: Branislav Boričić (Beograd) MSC: 03B60 03B65 03F05 PDF BibTeX XML Cite \textit{J. Millson} and \textit{C. Straßer}, J. Appl. Non-Class. Log. 29, No. 2, 184--231 (2019; Zbl 1445.03036) Full Text: DOI
Lellmann, Björn; Pimentel, Elaine Modularisation of sequent calculi for normal and non-normal modalities. (English) Zbl 1433.03131 ACM Trans. Comput. Log. 20, No. 2, Article No. 7, 46 p. (2019). MSC: 03F03 03B45 03F05 PDF BibTeX XML Cite \textit{B. Lellmann} and \textit{E. Pimentel}, ACM Trans. Comput. Log. 20, No. 2, Article No. 7, 46 p. (2019; Zbl 1433.03131) Full Text: DOI arXiv
Kuznets, Roman; Straßburger, Lutz Maehara-style modal nested calculi. (English) Zbl 07043052 Arch. Math. Logic 58, No. 3-4, 359-385 (2019). MSC: 03B45 03B60 03B62 03B70 03F03 03F05 03F07 03F55 PDF BibTeX XML Cite \textit{R. Kuznets} and \textit{L. Straßburger}, Arch. Math. Logic 58, No. 3--4, 359--385 (2019; Zbl 07043052) Full Text: DOI
Kanckos, Annika A note on Gentzen’s ordinal assignment. (English) Zbl 07043050 Arch. Math. Logic 58, No. 3-4, 347-352 (2019). MSC: 03F25 03F30 03F05 03F15 PDF BibTeX XML Cite \textit{A. Kanckos}, Arch. Math. Logic 58, No. 3--4, 347--352 (2019; Zbl 07043050) Full Text: DOI
Freund, Anton A note on iterated consistency and infinite proofs. (English) Zbl 1454.03075 Arch. Math. Logic 58, No. 3-4, 339-346 (2019). Reviewer: Valery Plisko (Moskva) MSC: 03F05 03F25 03F15 03B30 03F30 PDF BibTeX XML Cite \textit{A. Freund}, Arch. Math. Logic 58, No. 3--4, 339--346 (2019; Zbl 1454.03075) Full Text: DOI
Leitsch, Alexander; Lolic, Anela Extraction of expansion trees. (English) Zbl 07038742 J. Autom. Reasoning 62, No. 3, 393-430 (2019). MSC: 68T15 PDF BibTeX XML Cite \textit{A. Leitsch} and \textit{A. Lolic}, J. Autom. Reasoning 62, No. 3, 393--430 (2019; Zbl 07038742) Full Text: DOI
Kentaro, Sato A note on predicative ordinal analysis. I. Iterated comprehension and transfinite induction. (English) Zbl 07036435 J. Symb. Log. 84, No. 1, 226-265 (2019). MSC: 03F05 03F15 03F25 03F30 03F35 03D20 PDF BibTeX XML Cite \textit{S. Kentaro}, J. Symb. Log. 84, No. 1, 226--265 (2019; Zbl 07036435) Full Text: DOI
Aguilera, Juan P.; Baaz, Matthias Unsound inferences make proofs shorter. (English) Zbl 1439.03095 J. Symb. Log. 84, No. 1, 102-122 (2019). Reviewer: Graham E. Leigh (Göteborg) MSC: 03F03 03F05 03F07 PDF BibTeX XML Cite \textit{J. P. Aguilera} and \textit{M. Baaz}, J. Symb. Log. 84, No. 1, 102--122 (2019; Zbl 1439.03095) Full Text: DOI
Crary, Karl Strong sums in focused logic. (English) Zbl 1452.03130 Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9–12, 2018. New York, NY: Association for Computing Machinery (ACM). 265-274 (2018). MSC: 03F07 03F05 03B20 03F52 PDF BibTeX XML Cite \textit{K. Crary}, in: Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9--12, 2018. New York, NY: Association for Computing Machinery (ACM). 265--274 (2018; Zbl 1452.03130) Full Text: DOI
Marti, Michel; Studer, Thomas The proof theory of common knowledge. (English) Zbl 1437.03070 van Ditmarsch, Hans (ed.) et al., Jaakko Hintikka on knowledge and game-theoretical semantics. Dedicated to the memory of Jaakko Hintikka. Cham: Springer. Outst. Contrib. Log. 12, 433-455 (2018). MSC: 03B42 03F03 03F05 PDF BibTeX XML Cite \textit{M. Marti} and \textit{T. Studer}, Outst. Contrib. Log. 12, 433--455 (2018; Zbl 1437.03070) Full Text: DOI
Xavier, Bruno; Olarte, Carlos; Reis, Giselle; Nigam, Vivek Mechanizing focused linear logic in Coq. (English) Zbl 1433.68586 Alves, Sandra (ed.) et al., Selected papers of the 12th workshop on logical and semantic frameworks, with applications (LSFA 2017), Brasilia, Brazil, September 23–24, 2017. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 338, 219-236 (2018). MSC: 68V20 03B35 03F05 03F52 68V15 PDF BibTeX XML Cite \textit{B. Xavier} et al., Electron. Notes Theor. Comput. Sci. 338, 219--236 (2018; Zbl 1433.68586) Full Text: DOI
Kamide, Norihiro; Zohar, Yoni Yet another paradefinite logic: the role of conflation. (English) Zbl 07125818 Log. J. IGPL 27, No. 1, 93-117 (2018). MSC: 03 68 PDF BibTeX XML Cite \textit{N. Kamide} and \textit{Y. Zohar}, Log. J. IGPL 27, No. 1, 93--117 (2018; Zbl 07125818) Full Text: DOI
Bellotti, Luca Novikov’s cut elimination. (English) Zbl 1436.03296 Log. Anal., Nouv. Sér. 61, No. 242, 183-199 (2018). MSC: 03F05 PDF BibTeX XML Cite \textit{L. Bellotti}, Log. Anal., Nouv. Sér. 61, No. 242, 183--199 (2018; Zbl 1436.03296) Full Text: DOI
Kuznets, Roman; Lellmann, Björn Interpolation for intermediate logics via hyper- and linear nested sequents. (English) Zbl 1418.03130 Bezhanishvili, Guram (ed.) et al., Advances in modal logic. Vol. 12. Proceedings of the 12th conference (AiML 2018), Bern, Switzerland, August 27–31, 2018. London: College Publications. 473-492 (2018). MSC: 03B55 03F03 03F05 PDF BibTeX XML Cite \textit{R. Kuznets} and \textit{B. Lellmann}, in: Advances in modal logic. Vol. 12. Proceedings of the 12th conference (AiML 2018), Bern, Switzerland, August 27--31, 2018. London: College Publications. 473--492 (2018; Zbl 1418.03130)
Indrzejczak, Andrzej Cut-free modal theory of definite descriptions. (English) Zbl 1418.03088 Bezhanishvili, Guram (ed.) et al., Advances in modal logic. Vol. 12. Proceedings of the 12th conference (AiML 2018), Bern, Switzerland, August 27–31, 2018. London: College Publications. 387-406 (2018). MSC: 03B45 03F05 PDF BibTeX XML Cite \textit{A. Indrzejczak}, in: Advances in modal logic. Vol. 12. Proceedings of the 12th conference (AiML 2018), Bern, Switzerland, August 27--31, 2018. London: College Publications. 387--406 (2018; Zbl 1418.03088)
Girlando, Marianna; Negri, Sara; Olivetti, Nicola Counterfactual logic: labelled and internal calculi, two sides of the same coin? (English) Zbl 1418.03050 Bezhanishvili, Guram (ed.) et al., Advances in modal logic. Vol. 12. Proceedings of the 12th conference (AiML 2018), Bern, Switzerland, August 27–31, 2018. London: College Publications. 291-310 (2018). MSC: 03B42 03F03 03F05 PDF BibTeX XML Cite \textit{M. Girlando} et al., in: Advances in modal logic. Vol. 12. Proceedings of the 12th conference (AiML 2018), Bern, Switzerland, August 27--31, 2018. London: College Publications. 291--310 (2018; Zbl 1418.03050)
Elbl, Birgit Cut-free sequent calculi for products and relativised products of modal logics. (English) Zbl 1418.03080 Bezhanishvili, Guram (ed.) et al., Advances in modal logic. Vol. 12. Proceedings of the 12th conference (AiML 2018), Bern, Switzerland, August 27–31, 2018. London: College Publications. 257-276 (2018). MSC: 03B45 03F05 PDF BibTeX XML Cite \textit{B. Elbl}, in: Advances in modal logic. Vol. 12. Proceedings of the 12th conference (AiML 2018), Bern, Switzerland, August 27--31, 2018. London: College Publications. 257--276 (2018; Zbl 1418.03080)
Avron, Arnon; Lahav, Ori A simple cut-free system for a paraconsistent logic equivalent to S5. (English) Zbl 1418.03126 Bezhanishvili, Guram (ed.) et al., Advances in modal logic. Vol. 12. Proceedings of the 12th conference (AiML 2018), Bern, Switzerland, August 27–31, 2018. London: College Publications. 29-42 (2018). MSC: 03B53 03B45 03F05 PDF BibTeX XML Cite \textit{A. Avron} and \textit{O. Lahav}, in: Advances in modal logic. Vol. 12. Proceedings of the 12th conference (AiML 2018), Bern, Switzerland, August 27--31, 2018. London: College Publications. 29--42 (2018; Zbl 1418.03126)
Indrzejczak, Andrzej Rule-generation theorem and its applications. (English) Zbl 1437.03161 Bull. Sect. Log., Univ. Łódź, Dep. Log. 47, No. 4, 265-281 (2018). MSC: 03F03 03F05 PDF BibTeX XML Cite \textit{A. Indrzejczak}, Bull. Sect. Log., Univ. Łódź, Dep. Log. 47, No. 4, 265--281 (2018; Zbl 1437.03161) Full Text: DOI
Kawano, Tomoaki Labelled sequent calculus for orthologic. (English) Zbl 1437.03179 Bull. Sect. Log., Univ. Łódź, Dep. Log. 47, No. 4, 217-232 (2018). MSC: 03G12 03B25 03F05 PDF BibTeX XML Cite \textit{T. Kawano}, Bull. Sect. Log., Univ. Łódź, Dep. Log. 47, No. 4, 217--232 (2018; Zbl 1437.03179) Full Text: DOI
Kurtanidze, Lia; Rukhaia, Mikheil Skolemization in unranked logics. (English) Zbl 1436.03297 Bull. TICMI 22, No. 1, 3-10 (2018). MSC: 03F07 03B70 68T27 03F05 68V15 PDF BibTeX XML Cite \textit{L. Kurtanidze} and \textit{M. Rukhaia}, Bull. TICMI 22, No. 1, 3--10 (2018; Zbl 1436.03297) Full Text: Link EMIS
Francez, Nissim Does the implication elimination rule need a minor premise? (English) Zbl 07039110 Log. Log. Philos. 27, No. 3, 351-373 (2018). MSC: 03F03 03F05 PDF BibTeX XML Cite \textit{N. Francez}, Log. Log. Philos. 27, No. 3, 351--373 (2018; Zbl 07039110) Full Text: DOI
Tanaka, Yoshihito A cut-free proof system for a predicate extension of the logic of provability. (English) Zbl 1432.03126 Rep. Math. Logic 53, 97-109 (2018). MSC: 03F45 03F05 PDF BibTeX XML Cite \textit{Y. Tanaka}, Rep. Math. Logic 53, 97--109 (2018; Zbl 1432.03126) Full Text: DOI arXiv
Takano, Mitio A semantical analysis of cut-free calculi for modal logics. (English) Zbl 07034286 Rep. Math. Logic 53, 43-65 (2018). MSC: 03B45 03F05 PDF BibTeX XML Cite \textit{M. Takano}, Rep. Math. Logic 53, 43--65 (2018; Zbl 07034286) Full Text: DOI
Hamano, Masahiro Geometry of interaction for MALL via Hughes-Van Glabbeek proof-nets. (English) Zbl 1407.03077 ACM Trans. Comput. Log. 19, No. 4, Article No. 25, 38 p. (2018). MSC: 03F52 03B70 03F07 03G30 PDF BibTeX XML Cite \textit{M. Hamano}, ACM Trans. Comput. Log. 19, No. 4, Article No. 25, 38 p. (2018; Zbl 1407.03077) Full Text: DOI arXiv
Iemhoff, Rosalie Terminating sequent calculi for two intuitionistic modal logics. (English) Zbl 1444.03060 J. Log. Comput. 28, No. 7, 1701-1712 (2018). MSC: 03B45 03B20 03F03 03F05 PDF BibTeX XML Cite \textit{R. Iemhoff}, J. Log. Comput. 28, No. 7, 1701--1712 (2018; Zbl 1444.03060) Full Text: DOI
Greco, Giuseppe; Ma, Minghui; Palmigiano, Alessandra; Tzimoulis, Apostolos; Zhao, Zhiguang Unified correspondence as a proof-theoretic tool. (English) Zbl 1444.03055 J. Log. Comput. 28, No. 7, 1367-1442 (2018). MSC: 03B45 03F03 03F05 PDF BibTeX XML Cite \textit{G. Greco} et al., J. Log. Comput. 28, No. 7, 1367--1442 (2018; Zbl 1444.03055) Full Text: DOI arXiv
Lahav, Ori; Zohar, Yoni From the subformula property to cut-admissibility in propositional sequent calculi. (English) Zbl 1444.03162 J. Log. Comput. 28, No. 6, 1341-1366 (2018). MSC: 03F05 PDF BibTeX XML Cite \textit{O. Lahav} and \textit{Y. Zohar}, J. Log. Comput. 28, No. 6, 1341--1366 (2018; Zbl 1444.03162) Full Text: DOI
Beckmann, Arnold; Preining, Norbert Hyper natural deduction for Gödel logic – a natural deduction system for parallel reasoning. (English) Zbl 1444.03094 J. Log. Comput. 28, No. 6, 1125-1187 (2018). MSC: 03B52 03F05 PDF BibTeX XML Cite \textit{A. Beckmann} and \textit{N. Preining}, J. Log. Comput. 28, No. 6, 1125--1187 (2018; Zbl 1444.03094) Full Text: DOI
Hóu, Zhé; Goré, Rajeev; Tiu, Alwen A labelled sequent calculus for BBI: proof theory and proof search. (English) Zbl 1444.03159 J. Log. Comput. 28, No. 4, 809-872 (2018). MSC: 03F03 03B35 03F05 68V15 PDF BibTeX XML Cite \textit{Z. Hóu} et al., J. Log. Comput. 28, No. 4, 809--872 (2018; Zbl 1444.03159) Full Text: DOI
Kamide, Norihiro Decidable temporal and sequential relevant logics. (English) Zbl 1444.03081 J. Log. Comput. 28, No. 2, 403-432 (2018). MSC: 03B47 03B44 03F03 03F05 PDF BibTeX XML Cite \textit{N. Kamide}, J. Log. Comput. 28, No. 2, 403--432 (2018; Zbl 1444.03081) Full Text: DOI
Darnell, Eamon; Thomas-Bolduc, Aaron Takeuti’s well-ordering proof: finitistically fine? (English) Zbl 1404.03006 Zack, Maria (ed.) et al., Research in history and philosophy of mathematics. The CSHPM 2017 annual meeting in Toronto, Ontario, Canada, May 2017. Cham: Birkhäuser (ISBN 978-3-319-90855-7/hbk; 978-3-319-90983-7/ebook). Proceedings of the Canadian Society for History and Philosophy of Mathematics/Société Canadienne d’Histoire et de Philosophie des Mathématiques, 167-180 (2018). MSC: 03-03 03F25 03F30 03F05 03F15 01A60 PDF BibTeX XML Cite \textit{E. Darnell} and \textit{A. Thomas-Bolduc}, in: Research in history and philosophy of mathematics. The CSHPM 2017 annual meeting in Toronto, Ontario, Canada, May 2017. Cham: Birkhäuser. 167--180 (2018; Zbl 1404.03006) Full Text: DOI
Dyckhoff, Roy Contraction-free sequent calculi for intuitionistic logic: a correction. (English) Zbl 06997561 J. Symb. Log. 83, No. 4, 1680-1682 (2018). MSC: 03F03 03F50 03B20 03F05 PDF BibTeX XML Cite \textit{R. Dyckhoff}, J. Symb. Log. 83, No. 4, 1680--1682 (2018; Zbl 06997561) Full Text: DOI
Ramanayake, Revantha Inducing syntactic cut-elimination for indexed nested sequents. (English) Zbl 06987093 Log. Methods Comput. Sci. 14, No. 4, Paper No. 18, 25 p. (2018). MSC: 03B70 68 PDF BibTeX XML Cite \textit{R. Ramanayake}, Log. Methods Comput. Sci. 14, No. 4, Paper No. 18, 25 p. (2018; Zbl 06987093) Full Text: DOI arXiv
Girlando, Marianna; Negri, Sara; Olivetti, Nicola; Risch, Vincent Conditional beliefs: from neighbourhood semantics to sequent calculus. (English) Zbl 1445.03015 Rev. Symb. Log. 11, No. 4, 736-779 (2018). Reviewer: Éric Martin (Sydney) MSC: 03B42 03F05 PDF BibTeX XML Cite \textit{M. Girlando} et al., Rev. Symb. Log. 11, No. 4, 736--779 (2018; Zbl 1445.03015) Full Text: DOI
Sandqvist, Tor Preservation of structural properties in intuitionistic extensions of an inference relation. (English) Zbl 06966009 Bull. Symb. Log. 24, No. 3, 291-305 (2018). MSC: 03F05 PDF BibTeX XML Cite \textit{T. Sandqvist}, Bull. Symb. Log. 24, No. 3, 291--305 (2018; Zbl 06966009) Full Text: DOI
Hamano, Masahiro; Scott, Philip On geometry of interaction for polarized linear logic. (English) Zbl 06965095 Math. Struct. Comput. Sci. 28, No. 10, 1639-1694 (2018). MSC: 03F52 03F05 18M05 PDF BibTeX XML Cite \textit{M. Hamano} and \textit{P. Scott}, Math. Struct. Comput. Sci. 28, No. 10, 1639--1694 (2018; Zbl 06965095) Full Text: DOI
Ferreira, Gilda Atomic polymorphism and the existence property. (English) Zbl 06958070 Ann. Pure Appl. Logic 169, No. 12, 1303-1316 (2018). MSC: 03F07 03F03 03B20 03F05 PDF BibTeX XML Cite \textit{G. Ferreira}, Ann. Pure Appl. Logic 169, No. 12, 1303--1316 (2018; Zbl 06958070) Full Text: DOI
Arai, Toshiyasu Cut-elimination for \(\omega_{1}\). (English) Zbl 06958067 Ann. Pure Appl. Logic 169, No. 12, 1246-1269 (2018). MSC: 03F03 03F05 03F07 03F99 PDF BibTeX XML Cite \textit{T. Arai}, Ann. Pure Appl. Logic 169, No. 12, 1246--1269 (2018; Zbl 06958067) Full Text: DOI arXiv
Cavaleri, Matteo Følner functions and the generic word problem for finitely generated amenable groups. (English) Zbl 1427.20037 J. Algebra 511, 388-404 (2018). MSC: 20F10 03D40 43A07 03F05 03B25 PDF BibTeX XML Cite \textit{M. Cavaleri}, J. Algebra 511, 388--404 (2018; Zbl 1427.20037) Full Text: DOI
Towsner, Henry Epsilon substitution for \(ID_1\) via cut-elimination. (English) Zbl 1455.03075 Arch. Math. Logic 57, No. 5-6, 497-531 (2018). MSC: 03F05 03F30 03F35 PDF BibTeX XML Cite \textit{H. Towsner}, Arch. Math. Logic 57, No. 5--6, 497--531 (2018; Zbl 1455.03075) Full Text: DOI arXiv
Borisavljević, Mirjana An analysis of the rules of Gentzen’s \(\mathbf{NJ}\) and \(\mathbf{LJ}\). (English) Zbl 06914166 Rev. Symb. Log. 11, No. 2, 347-370 (2018). MSC: 03B20 03F05 PDF BibTeX XML Cite \textit{M. Borisavljević}, Rev. Symb. Log. 11, No. 2, 347--370 (2018; Zbl 06914166) Full Text: DOI
Di Giamberardino, Paolo Jump from parallel to sequential proofs: exponentials. (English) Zbl 06914145 Math. Struct. Comput. Sci. 28, No. 7, 1204-1252 (2018). MSC: 03F52 03F05 03F07 PDF BibTeX XML Cite \textit{P. Di Giamberardino}, Math. Struct. Comput. Sci. 28, No. 7, 1204--1252 (2018; Zbl 06914145) Full Text: DOI
Ma, Minghui; Liang, Fei Sequent calculi for semi-De Morgan and De Morgan algebras. (English) Zbl 1437.03181 Stud. Log. 106, No. 3, 565-593 (2018). MSC: 03G20 06D30 03F03 03F05 PDF BibTeX XML Cite \textit{M. Ma} and \textit{F. Liang}, Stud. Log. 106, No. 3, 565--593 (2018; Zbl 1437.03181) Full Text: DOI arXiv
Chlebowski, Szymon Sequent calculi for \(\mathsf{SCI}\). (English) Zbl 1437.03165 Stud. Log. 106, No. 3, 541-563 (2018). MSC: 03F07 03F05 03F03 03B60 PDF BibTeX XML Cite \textit{S. Chlebowski}, Stud. Log. 106, No. 3, 541--563 (2018; Zbl 1437.03165) Full Text: DOI