Paulson, Lawrence C. A formalised theorem in the partition calculus. (English) Zbl 07748742 Ann. Pure Appl. Logic 175, No. 1, Article ID 103246, 10 p. (2024). MSC: 03E02 03E10 03B35 68V15 68V20 PDF BibTeX XML Cite \textit{L. C. Paulson}, Ann. Pure Appl. Logic 175, No. 1, Article ID 103246, 10 p. (2024; Zbl 07748742) Full Text: DOI arXiv
Neri, Morenikeji; Powell, Thomas A computational study of a class of recursive inequalities. (English) Zbl 07770953 J. Log. Anal. 15, Paper No. 3, 48 p. (2023). MSC: 03F10 03D80 40A05 47J26 46N10 PDF BibTeX XML Cite \textit{M. Neri} and \textit{T. Powell}, J. Log. Anal. 15, Paper No. 3, 48 p. (2023; Zbl 07770953) Full Text: DOI arXiv
Aranha, Diego F.; El Housni, Youssef; Guillevic, Aurore A survey of elliptic curves for proof systems. (English) Zbl 07761859 Des. Codes Cryptography 91, No. 11, 3333-3378 (2023). MSC: 11T71 11Y16 11-04 11Y40 PDF BibTeX XML Cite \textit{D. F. Aranha} et al., Des. Codes Cryptography 91, No. 11, 3333--3378 (2023; Zbl 07761859) Full Text: DOI
Pischke, Nicholas On Korpelevich’s extragradient algorithm. (English) Zbl 07761222 Z. Anal. Anwend. 42, No. 1-2, 117-129 (2023). MSC: 49J40 03F10 47H05 47J25 PDF BibTeX XML Cite \textit{N. Pischke}, Z. Anal. Anwend. 42, No. 1--2, 117--129 (2023; Zbl 07761222) Full Text: DOI
Li, Xixi Polynomization of the Liu-Zhang inequality for the overpartition function. (English) Zbl 07760624 Ramanujan J. 62, No. 3, 797-817 (2023). MSC: 05A17 05A20 11P82 PDF BibTeX XML Cite \textit{X. Li}, Ramanujan J. 62, No. 3, 797--817 (2023; Zbl 07760624) Full Text: DOI
Gius, Martin; Tompits, Hans Sequent-type rejection systems for finite-valued non-deterministic logics. (English) Zbl 07757224 J. Appl. Non-Class. Log. 33, No. 3-4, 606-640 (2023). MSC: 03-XX PDF BibTeX XML Cite \textit{M. Gius} and \textit{H. Tompits}, J. Appl. Non-Class. Log. 33, No. 3--4, 606--640 (2023; Zbl 07757224) Full Text: DOI
Kiss, Sándor Z.; Kutas, Péter An identification system based on the explicit isomorphism problem. (English) Zbl 07757136 Appl. Algebra Eng. Commun. Comput. 34, No. 6, 913-930 (2023). MSC: 11T71 16Z05 16K20 PDF BibTeX XML Cite \textit{S. Z. Kiss} and \textit{P. Kutas}, Appl. Algebra Eng. Commun. Comput. 34, No. 6, 913--930 (2023; Zbl 07757136) Full Text: DOI arXiv OA License
Mohammadi, Hamzeh; Aghaei, Mojtaba Rooted hypersequent calculus for Modal logic S5. (English) Zbl 07753869 Log. Univers. 17, No. 3, 269-295 (2023). MSC: 03F03 03F05 03B45 PDF BibTeX XML Cite \textit{H. Mohammadi} and \textit{M. Aghaei}, Log. Univers. 17, No. 3, 269--295 (2023; Zbl 07753869) Full Text: DOI arXiv
Haselwarter, Philipp G.; Bauer, Andrej Finitary type theories with and without contexts. (English) Zbl 07753655 J. Autom. Reasoning 67, No. 4, Paper No. 36, 87 p. (2023). MSC: 68V15 PDF BibTeX XML Cite \textit{P. G. Haselwarter} and \textit{A. Bauer}, J. Autom. Reasoning 67, No. 4, Paper No. 36, 87 p. (2023; Zbl 07753655) Full Text: DOI arXiv OA License
Díaz-Caro, Alejandro; Dowek, Gilles Extensional proofs in a propositional logic modulo isomorphisms. (English) Zbl 07751512 Theor. Comput. Sci. 977, Article ID 114172, 17 p. (2023). MSC: 68Qxx PDF BibTeX XML Cite \textit{A. Díaz-Caro} and \textit{G. Dowek}, Theor. Comput. Sci. 977, Article ID 114172, 17 p. (2023; Zbl 07751512) Full Text: DOI arXiv
D’Arco, Paolo; Ansaroudi, Zahra Ebadi; Mogavero, Francesco Multi-stage proof-of-works: properties and vulnerabilities. (English) Zbl 07751497 Theor. Comput. Sci. 976, Article ID 114108, 30 p. (2023). MSC: 68Qxx PDF BibTeX XML Cite \textit{P. D'Arco} et al., Theor. Comput. Sci. 976, Article ID 114108, 30 p. (2023; Zbl 07751497) Full Text: DOI
Naumov, Pavel; Tao, Jia Counterfactual and seeing-to-it responsibilities in strategic games. (English) Zbl 07741123 Ann. Pure Appl. Logic 174, No. 10, Article ID 103353, 31 p. (2023). MSC: 03F03 03A10 68T27 68T30 PDF BibTeX XML Cite \textit{P. Naumov} and \textit{J. Tao}, Ann. Pure Appl. Logic 174, No. 10, Article ID 103353, 31 p. (2023; Zbl 07741123) Full Text: DOI
Ryan, Patrick J. Szemerédi’s theorem: an exploration of impurity, explanation, and content. (English) Zbl 1522.00148 Rev. Symb. Log. 16, No. 3, 700-739 (2023). MSC: 00A30 03A05 11P99 11B25 28D05 37A44 03F03 03B30 03F35 PDF BibTeX XML Cite \textit{P. J. Ryan}, Rev. Symb. Log. 16, No. 3, 700--739 (2023; Zbl 1522.00148) Full Text: DOI
Tanter, Kai Subatomic inferences: an inferentialist semantics for atomics, predicates, and names. (English) Zbl 07740295 Rev. Symb. Log. 16, No. 3, 672-699 (2023). MSC: 03F03 91F20 PDF BibTeX XML Cite \textit{K. Tanter}, Rev. Symb. Log. 16, No. 3, 672--699 (2023; Zbl 07740295) Full Text: DOI
Binner, Damanvir Singh On \(k\)-measures and Durfee squares of partitions. (English) Zbl 07739860 Int. J. Number Theory 19, No. 9, 2141-2150 (2023). MSC: 11P81 PDF BibTeX XML Cite \textit{D. S. Binner}, Int. J. Number Theory 19, No. 9, 2141--2150 (2023; Zbl 07739860) Full Text: DOI arXiv
Das, Anupam; Girlando, Marianna Cyclic hypersequent system for transitive closure logic. (English) Zbl 07739777 J. Autom. Reasoning 67, No. 3, Paper No. 27, 40 p. (2023). MSC: 68V15 PDF BibTeX XML Cite \textit{A. Das} and \textit{M. Girlando}, J. Autom. Reasoning 67, No. 3, Paper No. 27, 40 p. (2023; Zbl 07739777) Full Text: DOI
Tachikawa, Yuji Undecidable problems in quantum field theory. (English) Zbl 07738885 Int. J. Theor. Phys. 62, No. 9, Paper No. 199, 13 p. (2023). MSC: 03Dxx 03Bxx 03Fxx PDF BibTeX XML Cite \textit{Y. Tachikawa}, Int. J. Theor. Phys. 62, No. 9, Paper No. 199, 13 p. (2023; Zbl 07738885) Full Text: DOI arXiv
Robert, Léo; Miyahara, Daiki; Lafourcade, Pascal; Mizuki, Takaaki Physical ZKP protocols for Nurimisaki and Kurodoko. (English) Zbl 1522.94087 Theor. Comput. Sci. 972, Article ID 114071, 15 p. (2023). MSC: 94A60 94A62 91A80 PDF BibTeX XML Cite \textit{L. Robert} et al., Theor. Comput. Sci. 972, Article ID 114071, 15 p. (2023; Zbl 1522.94087) Full Text: DOI
Suzuki, Yutaka Collusion, shading, and optimal organization design. (English) Zbl 1519.91151 B. E. J. Theor. Econ. 23, No. 2, 537-575 (2023). MSC: 91B41 91B32 91B06 PDF BibTeX XML Cite \textit{Y. Suzuki}, B. E. J. Theor. Econ. 23, No. 2, 537--575 (2023; Zbl 1519.91151) Full Text: DOI
Grabmayer, Clemens A coinductive reformulation of Milner’s proof system for regular expressions modulo bisimilarity. (English) Zbl 07731928 Log. Methods Comput. Sci. 19, No. 2, Paper No. 17, 57 p. (2023). MSC: 03B70 68-XX PDF BibTeX XML Cite \textit{C. Grabmayer}, Log. Methods Comput. Sci. 19, No. 2, Paper No. 17, 57 p. (2023; Zbl 07731928) Full Text: DOI arXiv
Kastner, Julia; Loss, Julian; Xu, Jiayu The Abe-Okamoto partially blind signature scheme revisited. (English) Zbl 1519.94224 Agrawal, Shweta (ed.) et al., Advances in cryptology – ASIACRYPT 2022. 28th international conference on the theory and application of cryptology and information security, Taipei, Taiwan, December 5–9, 2022. Proceedings. Part IV. Cham: Springer. Lect. Notes Comput. Sci. 13794, 279-309 (2023). MSC: 94A62 94A60 91B12 91B99 PDF BibTeX XML Cite \textit{J. Kastner} et al., Lect. Notes Comput. Sci. 13794, 279--309 (2023; Zbl 1519.94224) Full Text: DOI
Akmal, Shyan; Chen, Lijie; Jin, Ce; Raj, Malvika; Williams, Ryan Improved Merlin-Arthur protocols for central problems in fine-grained complexity. (English) Zbl 07729248 Algorithmica 85, No. 8, 2395-2426 (2023). MSC: 68Wxx 05Cxx PDF BibTeX XML Cite \textit{S. Akmal} et al., Algorithmica 85, No. 8, 2395--2426 (2023; Zbl 07729248) Full Text: DOI
van der Berg, Ineke; De Domenico, Andrea; Greco, Giuseppe; Manoorkar, Krishna B.; Palmigiano, Alessandra; Panettiere, Mattia Labelled calculi for lattice-based modal logics. (English) Zbl 07728686 Banerjee, Mohua (ed.) et al., Logic and its applications. 10th Indian conference, ICLA 2023, Indore, India, March 3–5, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13963, 23-47 (2023). MSC: 03Bxx 68T27 PDF BibTeX XML Cite \textit{I. van der Berg} et al., Lect. Notes Comput. Sci. 13963, 23--47 (2023; Zbl 07728686) Full Text: DOI
Guerrini, S.; Masini, A.; Zorzi, M. Natural deduction calculi for classical and intuitionistic S5. (English) Zbl 07727658 J. Appl. Non-Class. Log. 33, No. 2, 165-205 (2023). MSC: 03-XX PDF BibTeX XML Cite \textit{S. Guerrini} et al., J. Appl. Non-Class. Log. 33, No. 2, 165--205 (2023; Zbl 07727658) Full Text: DOI
Lyon, Tim S. Nested sequents for intermediate logics: the case of Gödel-Dummett logics. (English) Zbl 07727657 J. Appl. Non-Class. Log. 33, No. 2, 121-164 (2023). MSC: 03-XX PDF BibTeX XML Cite \textit{T. S. Lyon}, J. Appl. Non-Class. Log. 33, No. 2, 121--164 (2023; Zbl 07727657) Full Text: DOI arXiv
Gheorghiu, Alexander V.; Pym, David J. Semantical analysis of the logic of bunched implications. (English) Zbl 07725402 Stud. Log. 111, No. 4, 525-571 (2023). MSC: 03-XX PDF BibTeX XML Cite \textit{A. V. Gheorghiu} and \textit{D. J. Pym}, Stud. Log. 111, No. 4, 525--571 (2023; Zbl 07725402) Full Text: DOI arXiv
Martynenkov, I. V. Zero-knowledge succinct non-interactive arguments of knowledge based on sets of polynomials. (Russian. English summary) Zbl 07724168 Prikl. Diskretn. Mat. 2023, No. 59, 20-57 (2023). MSC: 68-XX 94-XX PDF BibTeX XML Cite \textit{I. V. Martynenkov}, Prikl. Diskretn. Mat. 2023, No. 59, 20--57 (2023; Zbl 07724168) Full Text: DOI MNR
Robert, Léo; Miyahara, Daiki; Lafourcade, Pascal; Mizuki, Takaaki Hide a liar: card-based ZKP protocol for Usowan. (English) Zbl 07722842 Du, Ding-Zhu (ed.) et al., Theory and applications of models of computation. 17th annual conference, TAMC 2022, Tianjin, China, September 16–18, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13571, 201-217 (2023). MSC: 68Qxx PDF BibTeX XML Cite \textit{L. Robert} et al., Lect. Notes Comput. Sci. 13571, 201--217 (2023; Zbl 07722842) Full Text: DOI
Ruangwises, Suthee; Itoh, Toshiya Physical ZKP for Makaro using a standard deck of cards. (English) Zbl 07722830 Du, Ding-Zhu (ed.) et al., Theory and applications of models of computation. 17th annual conference, TAMC 2022, Tianjin, China, September 16–18, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13571, 43-54 (2023). MSC: 68Qxx PDF BibTeX XML Cite \textit{S. Ruangwises} and \textit{T. Itoh}, Lect. Notes Comput. Sci. 13571, 43--54 (2023; Zbl 07722830) Full Text: DOI arXiv
Gai, Ling; Qian, Dandan; Wu, Chenchen Two-facility location games with distance requirement. (English) Zbl 07722383 Li, Minming (ed.) et al., Frontiers of algorithmic wisdom. International joint conference, IJTCS-FAW 2022, Hong Kong, China, August 15–19, 2022. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 13461, 15-24 (2023). MSC: 91-XX 90-XX PDF BibTeX XML Cite \textit{L. Gai} et al., Lect. Notes Comput. Sci. 13461, 15--24 (2023; Zbl 07722383) Full Text: DOI
Léchenet, Jean-Christophe; Kosmatov, Nikolai; Le Gall, Pascale Efficient computation of arbitrary control dependencies. (English) Zbl 07720775 Theor. Comput. Sci. 969, Article ID 114029, 20 p. (2023). MSC: 68Qxx PDF BibTeX XML Cite \textit{J.-C. Léchenet} et al., Theor. Comput. Sci. 969, Article ID 114029, 20 p. (2023; Zbl 07720775) Full Text: DOI
Liu, Lu The coding power of a product of partitions. (English) Zbl 07720434 Isr. J. Math. 255, No. 2, 645-683 (2023). MSC: 03Dxx 03Bxx 03Fxx PDF BibTeX XML Cite \textit{L. Liu}, Isr. J. Math. 255, No. 2, 645--683 (2023; Zbl 07720434) Full Text: DOI arXiv
Frittaion, Emanuele; Nemoto, Takako; Rathjen, Michael Choice and independence of premise rules in intuitionistic set theory. (English) Zbl 07719416 Ann. Pure Appl. Logic 174, No. 9, Article ID 103314, 24 p. (2023). MSC: 03F03 03F25 03F50 03F55 PDF BibTeX XML Cite \textit{E. Frittaion} et al., Ann. Pure Appl. Logic 174, No. 9, Article ID 103314, 24 p. (2023; Zbl 07719416) Full Text: DOI
Liu, Si-Han; Yao, Jia-Yan Transcendence of \(L(1,\chi_s)/\pi\) in positive characteristic. A simple automata-style proof. (Transcendance de \(L(1,\chi_s)/\pi\) en caractéristique positive. Une preuve simple avec automates finis.) (English. French summary) Zbl 07714238 C. R., Math., Acad. Sci. Paris 361, 953-957 (2023). Reviewer: Jaroslav Hančl (Ostrava) MSC: 11J81 11B85 PDF BibTeX XML Cite \textit{S.-H. Liu} and \textit{J.-Y. Yao}, C. R., Math., Acad. Sci. Paris 361, 953--957 (2023; Zbl 07714238) Full Text: DOI
Dinis, Bruno; Pinto, Pedro Strong convergence for the alternating Halpern-Mann iteration in \(\mathrm{CAT}(0)\) spaces. (English) Zbl 1519.47080 SIAM J. Optim. 33, No. 2, 785-815 (2023). MSC: 47J25 47H09 54H25 03F10 47H05 PDF BibTeX XML Cite \textit{B. Dinis} and \textit{P. Pinto}, SIAM J. Optim. 33, No. 2, 785--815 (2023; Zbl 1519.47080) Full Text: DOI arXiv
Chen, Bin; Lian, Pan Geometric uncertainty relations on Wigner-Yanase skew information. (English) Zbl 07699331 J. Phys. A, Math. Theor. 56, No. 27, Article ID 275301, 11 p. (2023). MSC: 81S07 81P45 32Q15 81S30 03F10 PDF BibTeX XML Cite \textit{B. Chen} and \textit{P. Lian}, J. Phys. A, Math. Theor. 56, No. 27, Article ID 275301, 11 p. (2023; Zbl 07699331) Full Text: DOI
Quaresma, Pedro; Graziani, Pierluigi Measuring the readability of geometric proofs: the area method case. (English) Zbl 07695708 J. Autom. Reasoning 67, No. 1, Paper No. 5, 21 p. (2023). MSC: 68V15 51A05 68T15 PDF BibTeX XML Cite \textit{P. Quaresma} and \textit{P. Graziani}, J. Autom. Reasoning 67, No. 1, Paper No. 5, 21 p. (2023; Zbl 07695708) Full Text: DOI
Wang, Qinshi; Appel, Andrew W. A solver for arrays with concatenation. (English) Zbl 07695707 J. Autom. Reasoning 67, No. 1, Paper No. 4, 31 p. (2023). MSC: 68V15 PDF BibTeX XML Cite \textit{Q. Wang} and \textit{A. W. Appel}, J. Autom. Reasoning 67, No. 1, Paper No. 4, 31 p. (2023; Zbl 07695707) Full Text: DOI
Edmonds, Chelsea; Koutsoukou-Argyraki, Angeliki; Paulson, Lawrence C. Formalising Szemerédi’s Regularity Lemma and Roth’s Theorem on Arithmetic Progressions in Isabelle/HOL. (English) Zbl 07695705 J. Autom. Reasoning 67, No. 1, Paper No. 2, 21 p. (2023). MSC: 68V15 05C35 05A17 11P81 03B35 68V15 68V20 68V35 PDF BibTeX XML Cite \textit{C. Edmonds} et al., J. Autom. Reasoning 67, No. 1, Paper No. 2, 21 p. (2023; Zbl 07695705) Full Text: DOI arXiv
Petrukhin, Yaroslav; Shangin, Vasily Non-transitive correspondence analysis. (English) Zbl 07695701 J. Logic Lang. Inf. 32, No. 2, 247-273 (2023). MSC: 03B50 PDF BibTeX XML Cite \textit{Y. Petrukhin} and \textit{V. Shangin}, J. Logic Lang. Inf. 32, No. 2, 247--273 (2023; Zbl 07695701) Full Text: DOI
Tesi, Matteo; Negri, Sara The Gödel-McKinsey-Tarski embedding for infinitary intuitionistic logic and its extensions. (English) Zbl 07695414 Ann. Pure Appl. Logic 174, No. 8, Article ID 103285, 30 p. (2023). MSC: 03F03 03F05 03F07 03B45 PDF BibTeX XML Cite \textit{M. Tesi} and \textit{S. Negri}, Ann. Pure Appl. Logic 174, No. 8, Article ID 103285, 30 p. (2023; Zbl 07695414) Full Text: DOI
Golan, Rea On the metainferential solution to the semantic paradoxes. (English) Zbl 07695104 J. Philos. Log. 52, No. 3, 797-820 (2023). MSC: 03-XX PDF BibTeX XML Cite \textit{R. Golan}, J. Philos. Log. 52, No. 3, 797--820 (2023; Zbl 07695104) Full Text: DOI
Kołodziejczyk, Leszek Aleksander; Kowalik, Katarzyna W.; Yokoyama, Keita How strong is Ramsey’s theorem if infinity can be weak? (English) Zbl 07691754 J. Symb. Log. 88, No. 2, 620-639 (2023). MSC: 03B30 03F30 03F35 03H15 05D10 PDF BibTeX XML Cite \textit{L. A. Kołodziejczyk} et al., J. Symb. Log. 88, No. 2, 620--639 (2023; Zbl 07691754) Full Text: DOI arXiv
Kunisky, Dmitriy The discrepancy of unsatisfiable matrices and a lower bound for the Komlós conjecture constant. (English) Zbl 07690456 SIAM J. Discrete Math. 37, No. 2, 586-603 (2023). MSC: 68R05 11K38 05C05 PDF BibTeX XML Cite \textit{D. Kunisky}, SIAM J. Discrete Math. 37, No. 2, 586--603 (2023; Zbl 07690456) Full Text: DOI arXiv
Tennant, Neil Core Gödel. (English) Zbl 07690432 Notre Dame J. Formal Logic 64, No. 1, 15-59 (2023). MSC: 03F30 03F40 03F52 03F99 03B47 PDF BibTeX XML Cite \textit{N. Tennant}, Notre Dame J. Formal Logic 64, No. 1, 15--59 (2023; Zbl 07690432) Full Text: DOI
Indrzejczak, Andrzej Russellian definite description theory – a proof theoretic approach. (English) Zbl 1522.03315 Rev. Symb. Log. 16, No. 2, 624-649 (2023). Reviewer: Branislav Boričić (Beograd) MSC: 03F03 03F05 03B10 PDF BibTeX XML Cite \textit{A. Indrzejczak}, Rev. Symb. Log. 16, No. 2, 624--649 (2023; Zbl 1522.03315) Full Text: DOI
Fischer, Martin; Nicolai, Carlo; Dopico, Pablo Nonclassical truth with classical strength. A proof-theoretic analysis of compositional truth over hype. (English) Zbl 07689495 Rev. Symb. Log. 16, No. 2, 425-448 (2023). MSC: 03F03 03B60 03F25 03B50 PDF BibTeX XML Cite \textit{M. Fischer} et al., Rev. Symb. Log. 16, No. 2, 425--448 (2023; Zbl 07689495) Full Text: DOI arXiv
Dinis, Bruno; Gaspar, Jaime Hardwiring truth in functional interpretations. (English) Zbl 1518.03013 Port. Math. 80, No. 1-2, 81-105 (2023). Reviewer: Victor V. Pambuccian (Glendale) MSC: 03F25 03F10 03F35 PDF BibTeX XML Cite \textit{B. Dinis} and \textit{J. Gaspar}, Port. Math. 80, No. 1--2, 81--105 (2023; Zbl 1518.03013) Full Text: DOI
Pischke, Nicholas Quantitative results on algorithms for zeros of differences of monotone operators in Hilbert space. (English) Zbl 07685243 J. Convex Anal. 30, No. 1, 295-315 (2023). MSC: 47J25 47H05 03F10 47H09 PDF BibTeX XML Cite \textit{N. Pischke}, J. Convex Anal. 30, No. 1, 295--315 (2023; Zbl 07685243) Full Text: arXiv Link
Więckowski, Bartosz Negative predication and distinctness. (English) Zbl 07682170 Log. Univers. 17, No. 1, 103-138 (2023). MSC: 03B20 03F03 PDF BibTeX XML Cite \textit{B. Więckowski}, Log. Univers. 17, No. 1, 103--138 (2023; Zbl 07682170) Full Text: DOI
Berarducci, Alessandro; Mamino, Marcello Provability logic: models within models in Peano arithmetic. (English) Zbl 07680409 Boll. Unione Mat. Ital. 16, No. 1, 25-41 (2023). MSC: 03Fxx 03-XX 03Cxx PDF BibTeX XML Cite \textit{A. Berarducci} and \textit{M. Mamino}, Boll. Unione Mat. Ital. 16, No. 1, 25--41 (2023; Zbl 07680409) Full Text: DOI arXiv
Freund, Anton; Kohlenbach, Ulrich Bounds for a nonlinear ergodic theorem for Banach spaces. (English) Zbl 07680136 Ergodic Theory Dyn. Syst. 43, No. 5, 1570-1593 (2023). MSC: 47H10 03F10 PDF BibTeX XML Cite \textit{A. Freund} and \textit{U. Kohlenbach}, Ergodic Theory Dyn. Syst. 43, No. 5, 1570--1593 (2023; Zbl 07680136) Full Text: DOI arXiv
Díaz-Caro, Alejandro; Dowek, Gilles A new connective in natural deduction, and its application to quantum computing. (English) Zbl 07679990 Theor. Comput. Sci. 957, Article ID 113840, 27 p. (2023). MSC: 81-XX 03-XX PDF BibTeX XML Cite \textit{A. Díaz-Caro} and \textit{G. Dowek}, Theor. Comput. Sci. 957, Article ID 113840, 27 p. (2023; Zbl 07679990) Full Text: DOI
Kooi, Barteld; Tamminga, Allard Two-sided sequent calculi for FDE-like four-valued logics. (English) Zbl 07677862 J. Philos. Log. 52, No. 2, 495-518 (2023). MSC: 03-XX PDF BibTeX XML Cite \textit{B. Kooi} and \textit{A. Tamminga}, J. Philos. Log. 52, No. 2, 495--518 (2023; Zbl 07677862) Full Text: DOI
Bidoux, Loïc; Gaborit, Philippe; Kulkarni, Mukul; Mateu, Victor Code-based signatures from new proofs of knowledge for the syndrome decoding problem. (English) Zbl 07677474 Des. Codes Cryptography 91, No. 2, 497-544 (2023). MSC: 94B35 94B25 94A62 94A60 11T71 PDF BibTeX XML Cite \textit{L. Bidoux} et al., Des. Codes Cryptography 91, No. 2, 497--544 (2023; Zbl 07677474) Full Text: DOI arXiv
Pezlar, Ivo Book review of: N. Kürbis, Proof and falsity. A logical investigation. (English) Zbl 1522.00097 Stud. Log. 111, No. 2, 353-356 (2023). MSC: 00A17 03-02 03A05 03F03 PDF BibTeX XML Cite \textit{I. Pezlar}, Stud. Log. 111, No. 2, 353--356 (2023; Zbl 1522.00097) Full Text: DOI
Cheval, Horaţiu; Kohlenbach, Ulrich; Leuştean, Laurenţiu On modified Halpern and Tikhonov-Mann iterations. (English) Zbl 1519.47077 J. Optim. Theory Appl. 197, No. 1, 233-251 (2023). MSC: 47J25 47H09 03F10 PDF BibTeX XML Cite \textit{H. Cheval} et al., J. Optim. Theory Appl. 197, No. 1, 233--251 (2023; Zbl 1519.47077) Full Text: DOI arXiv
Cantone, Domenico; Maugeri, Pietro; Omodeo, Eugenio G. Complexity assessments for decidable fragments of Set Theory. III: Testers for crucial, polynomial-maximal decidable Boolean languages. (English) Zbl 07673768 Theor. Comput. Sci. 954, Article ID 113786, 21 p. (2023). MSC: 68Qxx PDF BibTeX XML Cite \textit{D. Cantone} et al., Theor. Comput. Sci. 954, Article ID 113786, 21 p. (2023; Zbl 07673768) Full Text: DOI
Koswara, Ivan; Pogudin, Gleb; Selivanova, Svetlana; Ziegler, Martin Bit-complexity of classical solutions of linear evolutionary systems of partial differential equations. (English) Zbl 07667582 J. Complexity 76, Article ID 101727, 32 p. (2023). MSC: 68Qxx 03Dxx 03Fxx PDF BibTeX XML Cite \textit{I. Koswara} et al., J. Complexity 76, Article ID 101727, 32 p. (2023; Zbl 07667582) Full Text: DOI
Augot, Daniel; Bordage, Sarah; Nardi, Jade Efficient multivariate low-degree tests via interactive oracle proofs of proximity for polynomial codes. (English) Zbl 1520.94102 Des. Codes Cryptography 91, No. 3, 1111-1151 (2023). MSC: 94B25 68Q11 94C11 PDF BibTeX XML Cite \textit{D. Augot} et al., Des. Codes Cryptography 91, No. 3, 1111--1151 (2023; Zbl 1520.94102) Full Text: DOI
Walsh, James Evitable iterates of the consistency operator. (English) Zbl 07661118 Computability 12, No. 1, 59-69 (2023). MSC: 03Dxx PDF BibTeX XML Cite \textit{J. Walsh}, Computability 12, No. 1, 59--69 (2023; Zbl 07661118) Full Text: DOI arXiv
Pentus, A. E.; Pentus, M. R. Complexity of the Lambek calculus with one division and a negative-polarity modality for weakening. (English. Russian original) Zbl 07659854 J. Math. Sci., New York 269, No. 4, 544-557 (2023); translation from Fundam. Prikl. Mat. 23, No. 4, 143-162 (2021). MSC: 03Bxx 03Fxx 68Qxx PDF BibTeX XML Cite \textit{A. E. Pentus} and \textit{M. R. Pentus}, J. Math. Sci., New York 269, No. 4, 544--557 (2023; Zbl 07659854); translation from Fundam. Prikl. Mat. 23, No. 4, 143--162 (2021) Full Text: DOI
Castaldo, Luca; Stern, Johannes KF, PKF, and Reinhardt’s program. (English) Zbl 07658881 Rev. Symb. Log. 16, No. 1, 33-58 (2023). MSC: 03B50 03F03 03F05 PDF BibTeX XML Cite \textit{L. Castaldo} and \textit{J. Stern}, Rev. Symb. Log. 16, No. 1, 33--58 (2023; Zbl 07658881) Full Text: DOI arXiv
Kalmurzaev, B. S.; Bazhenov, N. A.; Alish, D. B. On universal positive graphs. (English. Russian original) Zbl 07658742 Sib. Math. J. 64, No. 1, 83-93 (2023); translation from Sib. Mat. Zh. 64, No. 1, 98-112 (2023). MSC: 03Dxx 05Cxx 03Fxx PDF BibTeX XML Cite \textit{B. S. Kalmurzaev} et al., Sib. Math. J. 64, No. 1, 83--93 (2023; Zbl 07658742); translation from Sib. Mat. Zh. 64, No. 1, 98--112 (2023) Full Text: DOI
Lavrov, P. M.; Mudruk, V. I. Quintic vertices of spin 3, vector and scalar fields. (English) Zbl 1518.81077 Phys. Lett., B 837, Article ID 137630, 4 p. (2023). MSC: 81T13 81V73 81T10 05B10 03F10 70S15 PDF BibTeX XML Cite \textit{P. M. Lavrov} and \textit{V. I. Mudruk}, Phys. Lett., B 837, Article ID 137630, 4 p. (2023; Zbl 1518.81077) Full Text: DOI arXiv
Picollo, Lavinia Corrigendum to: “Truth in a logic of formal inconsistency: how classical can it get?”. (English) Zbl 1505.03068 Log. J. IGPL 31, No. 1, 214-217 (2023). MSC: 03B53 03F03 03A05 PDF BibTeX XML Cite \textit{L. Picollo}, Log. J. IGPL 31, No. 1, 214--217 (2023; Zbl 1505.03068) Full Text: DOI
van der Giessen, Iris Admissible rules for six intuitionistic modal logics. (English) Zbl 07653729 Ann. Pure Appl. Logic 174, No. 4, Article ID 103233, 34 p. (2023). MSC: 03F03 03B20 03B45 03F45 PDF BibTeX XML Cite \textit{I. van der Giessen}, Ann. Pure Appl. Logic 174, No. 4, Article ID 103233, 34 p. (2023; Zbl 07653729) Full Text: DOI
Powell, Thomas A finitization of Littlewood’s Tauberian theorem and an application in Tauberian remainder theory. (English) Zbl 07653727 Ann. Pure Appl. Logic 174, No. 4, Article ID 103231, 28 p. (2023). Reviewer: Bruno Dinis (Évora) MSC: 03F10 03F25 40A05 40E05 PDF BibTeX XML Cite \textit{T. Powell}, Ann. Pure Appl. Logic 174, No. 4, Article ID 103231, 28 p. (2023; Zbl 07653727) Full Text: DOI
Walsh, James Characterizations of ordinal analysis. (English) Zbl 07653726 Ann. Pure Appl. Logic 174, No. 4, Article ID 103230, 16 p. (2023). MSC: 03F15 03F35 03F40 03F25 PDF BibTeX XML Cite \textit{J. Walsh}, Ann. Pure Appl. Logic 174, No. 4, Article ID 103230, 16 p. (2023; Zbl 07653726) Full Text: DOI arXiv
Ash, J. Marshall; Catoiu, Stefan; Fejzić, Hajrudin A new proof of the GGR conjecture. (English) Zbl 1512.26004 C. R., Math., Acad. Sci. Paris 361, 349-353 (2023). Reviewer: Thomas Riedel (Louisville) MSC: 26A24 13F20 15A03 26A27 PDF BibTeX XML Cite \textit{J. M. Ash} et al., C. R., Math., Acad. Sci. Paris 361, 349--353 (2023; Zbl 1512.26004) Full Text: DOI arXiv
Chow, Bennett Introduction to proof through number theory. (English) Zbl 1514.00001 Pure and Applied Undergraduate Texts 61. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-7027-2/pbk; 978-1-4704-7258-0/ebook). xix, 442 p. (2023). Reviewer: Efstratios Rappos (Aubonne) MSC: 00A09 11-01 97E50 PDF BibTeX XML Cite \textit{B. Chow}, Introduction to proof through number theory. Providence, RI: American Mathematical Society (AMS) (2023; Zbl 1514.00001)
Chen, Wei Weakest preconditioned goto axiom. (English) Zbl 07647054 Inf. Process. Lett. 180, Article ID 106329, 7 p. (2023). MSC: 68Qxx PDF BibTeX XML Cite \textit{W. Chen}, Inf. Process. Lett. 180, Article ID 106329, 7 p. (2023; Zbl 07647054) Full Text: DOI
Baldomá, Inmaculada; Capiński, Maciej J.; Guardia, Marcel; Seara, Tere M. Breakdown of heteroclinic connections in the analytic Hopf-zero singularity: rigorous computation of the Stokes constant. (English) Zbl 1510.37079 J. Nonlinear Sci. 33, No. 2, Paper No. 28, 47 p. (2023). MSC: 37G10 37G20 34C23 37C75 37M20 37M21 37D10 65G20 PDF BibTeX XML Cite \textit{I. Baldomá} et al., J. Nonlinear Sci. 33, No. 2, Paper No. 28, 47 p. (2023; Zbl 1510.37079) Full Text: DOI arXiv
Altisen, Karine; Corbineau, Pierre; Devismes, Stéphane Certification of an exact worst-case self-stabilization time. (English) Zbl 07638363 Theor. Comput. Sci. 941, 262-277 (2023). MSC: 68Qxx PDF BibTeX XML Cite \textit{K. Altisen} et al., Theor. Comput. Sci. 941, 262--277 (2023; Zbl 07638363) Full Text: DOI
Feuilloley, Laurent; Fraigniaud, Pierre; Montealegre, Pedro; Rapaport, Ivan; Rémila, Éric; Todinca, Ioan Local certification of graphs with bounded genus. (English) Zbl 07628632 Discrete Appl. Math. 325, 9-36 (2023). MSC: 68Wxx 05Cxx 68Qxx PDF BibTeX XML Cite \textit{L. Feuilloley} et al., Discrete Appl. Math. 325, 9--36 (2023; Zbl 07628632) Full Text: DOI arXiv
Olarte, Carlos; Pimentel, Elaine; Rocha, Camilo A rewriting logic approach to specification, proof-search, and meta-proofs in sequent systems. (English) Zbl 07618126 J. Log. Algebr. Methods Program. 130, Article ID 100827, 37 p. (2023). MSC: 68-XX PDF BibTeX XML Cite \textit{C. Olarte} et al., J. Log. Algebr. Methods Program. 130, Article ID 100827, 37 p. (2023; Zbl 07618126) Full Text: DOI arXiv
Avigad, Jeremy Mathematical logic and computation. (English) Zbl 07565705 Cambridge: Cambridge University Press (ISBN 978-1-108-47875-5/hbk; 978-1-108-77875-6/ebook). xii, 513 p. (2023). MSC: 03-01 03Dxx 03Fxx 68-01 68Vxx PDF BibTeX XML Cite \textit{J. Avigad}, Mathematical logic and computation. Cambridge: Cambridge University Press (2023; Zbl 07565705) Full Text: DOI
Andrews, Robert; Forbes, Michael A. Ideals, determinants, and straightening: proving and using lower bounds for polynomial ideals. (English) Zbl 07774347 Leonardi, Stefano (ed.) et al., Proceedings of the 54th annual ACM SIGACT symposium on theory of computing, STOC ’22, Rome, Italy June 20–24, 2022. New York, NY: Association for Computing Machinery (ACM). 389-402 (2022). MSC: 68Qxx PDF BibTeX XML Cite \textit{R. Andrews} and \textit{M. A. Forbes}, in: Proceedings of the 54th annual ACM SIGACT symposium on theory of computing, STOC '22, Rome, Italy June 20--24, 2022. New York, NY: Association for Computing Machinery (ACM). 389--402 (2022; Zbl 07774347) Full Text: DOI arXiv
Mousavi, Hamoon; Nezhadi, Seyed Sajjad; Yuen, Henry Nonlocal games, compression theorems, and the arithmetical hierarchy. (English) Zbl 07774315 Leonardi, Stefano (ed.) et al., Proceedings of the 54th annual ACM SIGACT symposium on theory of computing, STOC ’22, Rome, Italy June 20–24, 2022. New York, NY: Association for Computing Machinery (ACM). 1-11 (2022). MSC: 68Qxx PDF BibTeX XML Cite \textit{H. Mousavi} et al., in: Proceedings of the 54th annual ACM SIGACT symposium on theory of computing, STOC '22, Rome, Italy June 20--24, 2022. New York, NY: Association for Computing Machinery (ACM). 1--11 (2022; Zbl 07774315) Full Text: DOI arXiv
Nechesov, Andreĭ Vital’evich Semantic programming and polynomially computable representations. (Russian) Zbl 07773074 Mat. Tr. 25, No. 2, 174-202 (2022). MSC: 68Q55 PDF BibTeX XML Cite \textit{A. V. Nechesov}, Mat. Tr. 25, No. 2, 174--202 (2022; Zbl 07773074) Full Text: DOI MNR
Afshari, Bahareh; Wehr, Dominik Abstract cyclic proofs. (English) Zbl 07691331 Ciabattoni, Agata (ed.) et al., Logic, language, information, and computation. 28th international workshop, WoLLIC 2022, Iași, Romania, September 20–23, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13468, 309-325 (2022). MSC: 03B70 PDF BibTeX XML Cite \textit{B. Afshari} and \textit{D. Wehr}, Lect. Notes Comput. Sci. 13468, 309--325 (2022; Zbl 07691331) Full Text: DOI
Levrie, Paul; Campbell, John Series acceleration formulas obtained from experimentally discovered hypergeometric recursions. (English) Zbl 07689923 Discrete Math. Theor. Comput. Sci. 24, No. 2, Paper No. 12, 19 p. (2022). MSC: 33D15 11-XX 05A15 PDF BibTeX XML Cite \textit{P. Levrie} and \textit{J. Campbell}, Discrete Math. Theor. Comput. Sci. 24, No. 2, Paper No. 12, 19 p. (2022; Zbl 07689923) Full Text: DOI arXiv
Savitskii, I. V. On the coincidence of complexity classes BPC and \(\text{TC}^0 \). (English. Russian original) Zbl 07688769 Mosc. Univ. Comput. Math. Cybern. 46, No. 4, 204-214 (2022); translation from Vestn. Mosk. Univ., Ser. XV 2022, No. 4, 36-45 (2022). MSC: 68Qxx 03Dxx 03Fxx PDF BibTeX XML Cite \textit{I. V. Savitskii}, Mosc. Univ. Comput. Math. Cybern. 46, No. 4, 204--214 (2022; Zbl 07688769); translation from Vestn. Mosk. Univ., Ser. XV 2022, No. 4, 36--45 (2022) Full Text: DOI
Aragona, Riccardo; Campioni, Lorenzo; Civino, Roberto; Lauria, Massimo On the maximal part in unrefinable partitions of triangular numbers. (English) Zbl 07676167 Aequationes Math. 96, No. 6, 1339-1363 (2022). Reviewer: Ljuben Mutafchiev (Sofia) MSC: 11P81 05A17 05A19 PDF BibTeX XML Cite \textit{R. Aragona} et al., Aequationes Math. 96, No. 6, 1339--1363 (2022; Zbl 07676167) Full Text: DOI arXiv
Indrzejczak, Andrzej Dialogues and proofs; Yankov’s contribution to proof theory. (English) Zbl 07672615 Citkin, Alex (ed.) et al., V. A. Yankov on non-classical logics, history and philosophy of mathematics. Cham: Springer. Outst. Contrib. Log. 24, 53-70 (2022). MSC: 03A05 03Bxx 03G25 PDF BibTeX XML Cite \textit{A. Indrzejczak}, Outst. Contrib. Log. 24, 53--70 (2022; Zbl 07672615) Full Text: DOI
Rooduijn, Jan; Zenger, Lukas An analytic proof system for common knowledge logic over S5. (English) Zbl 07668120 Fernández-Duque, David (ed.) et al., Advances in modal logic. Vol. 14. Proceedings of the 14th conference (AiML 2022), Rennes, France, August 22–25, 2022. London: College Publications. 659-679 (2022). MSC: 03F03 03B42 03B45 PDF BibTeX XML Cite \textit{J. Rooduijn} and \textit{L. Zenger}, in: Advances in modal logic. Vol. 14. Proceedings of the 14th conference (AiML 2022), Rennes, France, August 22--25, 2022. London: College Publications. 659--679 (2022; Zbl 07668120)
Orlandelli, Eugenio; Tesi, Matteo Labelled sequent calculi for logics of strict implication. (English) Zbl 07668118 Fernández-Duque, David (ed.) et al., Advances in modal logic. Vol. 14. Proceedings of the 14th conference (AiML 2022), Rennes, France, August 22–25, 2022. London: College Publications. 625-641 (2022). MSC: 03F03 03B45 PDF BibTeX XML Cite \textit{E. Orlandelli} and \textit{M. Tesi}, in: Advances in modal logic. Vol. 14. Proceedings of the 14th conference (AiML 2022), Rennes, France, August 22--25, 2022. London: College Publications. 625--641 (2022; Zbl 07668118)
Goré, Rajeev; Shillito, Ian Direct elimination of additive-cuts in GL4ip: verified and extracted. (English) Zbl 1518.03015 Fernández-Duque, David (ed.) et al., Advances in modal logic. Vol. 14. Proceedings of the 14th conference (AiML 2022), Rennes, France, August 22–25, 2022. London: College Publications. 429-449 (2022). Reviewer: Annika Kanckos (Helsinki) MSC: 03F45 03B35 03F05 PDF BibTeX XML Cite \textit{R. Goré} and \textit{I. Shillito}, in: Advances in modal logic. Vol. 14. Proceedings of the 14th conference (AiML 2022), Rennes, France, August 22--25, 2022. London: College Publications. 429--449 (2022; Zbl 1518.03015)
De Domenico, Andrea; Greco, Giuseppe Algorithmic correspondence and analytic rules. (English) Zbl 07668106 Fernández-Duque, David (ed.) et al., Advances in modal logic. Vol. 14. Proceedings of the 14th conference (AiML 2022), Rennes, France, August 22–25, 2022. London: College Publications. 371-389 (2022). MSC: 03F03 03B35 03B45 PDF BibTeX XML Cite \textit{A. De Domenico} and \textit{G. Greco}, in: Advances in modal logic. Vol. 14. Proceedings of the 14th conference (AiML 2022), Rennes, France, August 22--25, 2022. London: College Publications. 371--389 (2022; Zbl 07668106) Full Text: arXiv
Dalmonte, Tiziano; Girlando, Marianna Comparative plausibility in neighbourhood models: axiom systems and sequent calculi. (English) Zbl 07668103 Fernández-Duque, David (ed.) et al., Advances in modal logic. Vol. 14. Proceedings of the 14th conference (AiML 2022), Rennes, France, August 22–25, 2022. London: College Publications. 305-327 (2022). MSC: 03F03 03B45 PDF BibTeX XML Cite \textit{T. Dalmonte} and \textit{M. Girlando}, in: Advances in modal logic. Vol. 14. Proceedings of the 14th conference (AiML 2022), Rennes, France, August 22--25, 2022. London: College Publications. 305--327 (2022; Zbl 07668103) Full Text: arXiv
Acclavio, Matteo; Straßburger, Lutz Combinatorial proofs for constructive modal logic. (English) Zbl 07668089 Fernández-Duque, David (ed.) et al., Advances in modal logic. Vol. 14. Proceedings of the 14th conference (AiML 2022), Rennes, France, August 22–25, 2022. London: College Publications. 15-36 (2022). MSC: 03B45 03F03 PDF BibTeX XML Cite \textit{M. Acclavio} and \textit{L. Straßburger}, in: Advances in modal logic. Vol. 14. Proceedings of the 14th conference (AiML 2022), Rennes, France, August 22--25, 2022. London: College Publications. 15--36 (2022; Zbl 07668089)
Golan, Rea Metainferences from a proof-theoretic perspective, and a hierarchy of validity predicates. (English) Zbl 07644280 J. Philos. Log. 51, No. 6, 1295-1325 (2022). MSC: 03-XX PDF BibTeX XML Cite \textit{R. Golan}, J. Philos. Log. 51, No. 6, 1295--1325 (2022; Zbl 07644280) Full Text: DOI
Petrovskaya, Anastasiya Vladimirovna History of the term and concept “reasoning” in Russian logic. (Russian. English summary) Zbl 07642575 Log. Issled. 28, No. 1, 98-124 (2022). MSC: 03-XX PDF BibTeX XML Cite \textit{A. V. Petrovskaya}, Log. Issled. 28, No. 1, 98--124 (2022; Zbl 07642575) Full Text: DOI
van den Berg, Benno; Passmann, Robert Converse extensionality and apartness. (English) Zbl 07639909 Log. Methods Comput. Sci. 18, No. 4, Paper No. 13, 21 p. (2022). MSC: 03B70 68-XX PDF BibTeX XML Cite \textit{B. van den Berg} and \textit{R. Passmann}, Log. Methods Comput. Sci. 18, No. 4, Paper No. 13, 21 p. (2022; Zbl 07639909) Full Text: DOI arXiv
Acclavio, Matteo; Horne, Ross; Straßburger, Lutz An analytic propositional proof system on graphs. (English) Zbl 07639905 Log. Methods Comput. Sci. 18, No. 4, Paper No. 1, 80 p. (2022). MSC: 03B70 68-XX PDF BibTeX XML Cite \textit{M. Acclavio} et al., Log. Methods Comput. Sci. 18, No. 4, Paper No. 1, 80 p. (2022; Zbl 07639905) Full Text: DOI arXiv
Alonderis, Romas More efficient proof-search for sequents of temporal logic. (English) Zbl 1517.03013 Liet. Mat. Rink., Proc. Lith. Math. Soc., Ser. A 63, 1-8 (2022). Reviewer: Valentin F. Goranko (Stockholm) MSC: 03B44 03F03 PDF BibTeX XML Cite \textit{R. Alonderis}, Liet. Mat. Rink., Proc. Lith. Math. Soc., Ser. A 63, 1--8 (2022; Zbl 1517.03013) Full Text: DOI
Cheval, Horaţiu; Leuştean, Laurenţiu Quadratic rates of asymptotic regularity for the Tikhonov-Mann iteration. (English) Zbl 1514.47104 Optim. Methods Softw. 37, No. 6, 2225-2240 (2022). MSC: 47J26 47H09 03F10 54H25 PDF BibTeX XML Cite \textit{H. Cheval} and \textit{L. Leuştean}, Optim. Methods Softw. 37, No. 6, 2225--2240 (2022; Zbl 1514.47104) Full Text: DOI arXiv
Jäger, Gerhard Stage comparison, fixed points, and least fixed points in Kripke-Platek environments. (English) Zbl 07634477 Notre Dame J. Formal Logic 63, No. 4, 443-461 (2022). MSC: 03D70 03E30 03F03 PDF BibTeX XML Cite \textit{G. Jäger}, Notre Dame J. Formal Logic 63, No. 4, 443--461 (2022; Zbl 07634477) Full Text: DOI Link
Rathjen, Michael Well-ordering principles in proof theory and reverse mathematics. (English) Zbl 07632450 Ferreira, Fernando (ed.) et al., Axiomatic thinking II. Cham: Springer. 89-127 (2022). MSC: 03-03 03A05 PDF BibTeX XML Cite \textit{M. Rathjen}, in: Axiomatic thinking II. Cham: Springer. 89--127 (2022; Zbl 07632450) Full Text: DOI arXiv
Chen, Jinsheng; Greco, Giuseppe; Palmigiano, Alessandra; Tzimoulis, Apostolos Syntactic completeness of proper display calculi. (English) Zbl 1505.03121 ACM Trans. Comput. Log. 23, No. 4, Article No. 23, 46 p. (2022). MSC: 03F03 03F05 03B45 PDF BibTeX XML Cite \textit{J. Chen} et al., ACM Trans. Comput. Log. 23, No. 4, Article No. 23, 46 p. (2022; Zbl 1505.03121) Full Text: DOI arXiv