Serizawa, Shigehiro; Weymark, John A. Boundedness of the range of a strategy-proof social choice function. (English) Zbl 07969710 Games Econ. Behav. 149, 164-169 (2025). MSC: 91-XX × Cite Format Result Cite Review PDF Full Text: DOI
Fernández, Marcel; Livieratos, John; Martín, Sebastià Combinatorial constructions of separating codes. (English) Zbl 07955061 J. Complexity 86, Article ID 101906, 19 p. (2025). MSC: 94Bxx × Cite Format Result Cite Review PDF Full Text: DOI
Al-sadaa, Zaineb Hussain Abd; Sharba, Zainab Abdulmunim; Almurieb, Hawraa Abbas Bernstein neural network approximation. (English) Zbl 07907977 Int. J. Math. Comput. Sci. 20, No. 1, 179-182 (2025). MSC: 03F10 03B45 × Cite Format Result Cite Review PDF Full Text: DOI
Al-Ogaili, Khalidah Abdulhussein; Almurieb, Hawraa Abbas Best spline approximation in Besov-Orlicz space. (English) Zbl 07907970 Int. J. Math. Comput. Sci. 20, No. 1, 139-142 (2025). MSC: 03F10 03B45 × Cite Format Result Cite Review PDF Full Text: DOI
Pischke, Nicholas; Kohlenbach, Ulrich Effective rates for iterations involving Bregman strongly nonexpansive operators. (English) Zbl 07965977 Set-Valued Var. Anal. 32, No. 4, Paper No. 33, 58 p. (2024). MSC: 47J25 65J15 03F10 × Cite Format Result Cite Review PDF Full Text: DOI
Janicki, Philip Reordered computable numbers. (English) Zbl 07965972 Theory Comput. Syst. 68, No. 6, 1683-1708 (2024). MSC: 03Dxx 68Qxx 03Fxx × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Japaridze, Giorgi A propositional cirquent calculus for computability logic. (English) Zbl 07965525 J. Logic Lang. Inf. 33, No. 4-5, 363-389 (2024). MSC: 03-XX 68-XX 03B47 03B70 03F03 03F20 68T15 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Zeilberger, Hadas; Chen, Binyi; Fisch, Ben BaseFold: efficient field-agnostic polynomial commitment schemes from foldable codes. (English) Zbl 07964688 Reyzin, Leonid (ed.) et al., Advances in cryptology – CRYPTO 2024. 44th annual international cryptology conference, Santa Barbara, CA, USA, August 18–22, 2024. Proceedings. Part X. Cham: Springer. Lect. Notes Comput. Sci. 14929, 138-169 (2024). MSC: 94A60 94B05 × Cite Format Result Cite Review PDF Full Text: DOI
Pischke, Nicholas Proof mining for the dual of a Banach space with extensions for uniformly Fréchet differentiable functions. (English) Zbl 07962859 Trans. Am. Math. Soc. 377, No. 10, 7475-7517 (2024). MSC: 46G05 47H04 46B10 03F10 03F35 × Cite Format Result Cite Review PDF Full Text: DOI
Corte-Real Santos, Maria; Costello, Craig; Naehrig, Michael On cycles of pairing-friendly abelian varieties. (English) Zbl 07958302 Reyzin, Leonid (ed.) et al., Advances in cryptology – CRYPTO 2024. 44th annual international cryptology conference, Santa Barbara, CA, USA, August 18–22, 2024. Proceedings. Part IX. Cham: Springer. Lect. Notes Comput. Sci. 14928, 221-253 (2024). MSC: 14G50 94A60 11T71 × Cite Format Result Cite Review PDF Full Text: DOI
Ateniese, Giuseppe; Baldimtsi, Foteini; Campanelli, Matteo; Francati, Danilo; Karantaidou, Ioanna Advancing scalability in decentralized storage: a novel approach to proof-of-replication via polynomial evaluation. (English) Zbl 07953830 Reyzin, Leonid (ed.) et al., Advances in cryptology – CRYPTO 2024. 44th annual international cryptology conference, Santa Barbara, CA, USA, August 18–22, 2024. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 14921, 3-39 (2024). MSC: 68Pxx × Cite Format Result Cite Review PDF Full Text: DOI
Bauer, Andrej; Berčič, Katja; Devillez, Gauvain; Taslak, Jure Incorporating a database of graphs into a proof assistant. (English) Zbl 07953763 Kohlhase, Andrea (ed.) et al., Intelligent computer mathematics. 17th international conference, CICM 2024, Montréal, QC, Canada, August 5–9, 2024. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14960, 146-162 (2024). MSC: 68Vxx × Cite Format Result Cite Review PDF Full Text: DOI
Fu, Shishuo; Gao, Bing Lattice paths and the Prouhet-Thue-Morse sequence. (English) Zbl 07952129 Theor. Comput. Sci. 1022, Article ID 114885, 7 p. (2024). MSC: 68Qxx × Cite Format Result Cite Review PDF Full Text: DOI
Afshari, Bahareh; Wehr, Dominik Abstract cyclic proofs. (English) Zbl 07951653 Math. Struct. Comput. Sci. 34, No. 7, 552-577 (2024). MSC: 68-XX × Cite Format Result Cite Review PDF Full Text: DOI
Woukeng, Donald; Sadowski, Damian; Leśkiewicz, Jakub; Lipiński, Michał; Kapela, Tomasz Rigorous computation in dynamics based on topological methods for multivector fields. (English) Zbl 07951563 J. Appl. Comput. Topol. 8, No. 4, 875-908 (2024). MSC: 37B99 37B30 34A26 34C60 × Cite Format Result Cite Review PDF Full Text: DOI
Liu-Zhang, Chen-Da; Matt, Christian; Eller Thomsen, Søren Asymptotically optimal message dissemination with applications to blockchains. (English) Zbl 07943261 Joye, Marc (ed.) et al., Advances in cryptology – EUROCRYPT 2024. 43rd annual international conference on the theory and applications of cryptographic techniques, Zurich, Switzerland, May 26–30, 2024. Proceedings. Part III. Cham: Springer. Lect. Notes Comput. Sci. 14653, 64-95 (2024). MSC: 94A60 91B99 94A05 × Cite Format Result Cite Review PDF Full Text: DOI
Cintula, Petr; Metcalfe, George; Tokuda, Naomi One-variable fragments of first-order logics. (English) Zbl 07942600 Bull. Symb. Log. 30, No. 2, 253-278 (2024). MSC: 03B45 03B47 03C05 03C80 03F52 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Brîncuş, Constantin C. Categorical quantification. (English) Zbl 07942599 Bull. Symb. Log. 30, No. 2, 227-252 (2024). MSC: 03A05 03B10 03B35 03C35 03C62 03F03 × Cite Format Result Cite Review PDF Full Text: DOI
Jäger, Gerhard Tame and full strict-\(\Pi^1_1\) reflection: a proof-theoretic approach. (English) Zbl 07942588 J. Log. Comput. 34, No. 6, 1082-1107 (2024). MSC: 03-XX 68-XX × Cite Format Result Cite Review PDF Full Text: DOI
Emdin, Gregory; Kulikov, Alexander S.; Mihajlin, Ivan; Slezkin, Nikita CNF encodings of symmetric functions. (English) Zbl 07941440 Theory Comput. Syst. 68, No. 5, 1291-1311 (2024). MSC: 68Qxx 68Txx 03Fxx × Cite Format Result Cite Review PDF Full Text: DOI
Felicissimo, Thiago; Blanqui, Frédéric Sharing proofs with predicative theories through universe-polymorphic elaboration. (English) Zbl 07941267 Log. Methods Comput. Sci. 20, No. 3, Paper No. 23, 38 p. (2024). MSC: 03B70 68-XX × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Saotome, Kenji; Nakazawa, Koji; Kimura, Daisuke Restriction on cut rule in cyclic-proof system for symbolic heaps. (English) Zbl 07939425 Theor. Comput. Sci. 1019, Article ID 114854, 22 p. (2024). MSC: 68Qxx × Cite Format Result Cite Review PDF Full Text: DOI
Nuida, Koji A simple and elementary proof of Zorn’s lemma. (English) Zbl 07939139 DML, Discrete Math. Lett. 13, 108-110 (2024). MSC: 06A06 03E25 97E60 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Hoffmann, Dirk W. Gödel’s incompleteness theorems. A guided tour through Kurt Gödel’s historic proof. Translated from the German. (English) Zbl 07938918 Berlin: Springer (ISBN 978-3-662-69549-4/pbk; 978-3-662-69550-0/ebook). xix, 385 p. (2024). MSC: 03-03 03-01 03F03 03F40 01A60 00A30 × Cite Format Result Cite Review PDF Full Text: DOI
Geatti, Luca; Mansutti, Alessio; Montanari, Angelo Succinctness of cosafety fragments of LTL via combinatorial proof systems. (English) Zbl 07935761 Kobayashi, Naoki (ed.) et al., Foundations of software science and computation structures. 27th international conference, FOSSACS 2024, held as part of the European joint conferences on theory and practice of software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 14575, 95-115 (2024). MSC: 68Nxx 68Qxx × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Sipoş, Andrei On quantitative metastability for accretive operators. (English) Zbl 07928838 Z. Anal. Anwend. 43, No. 3-4, 417-433 (2024). MSC: 47H06 47H09 47H10 03F10 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Zeilberger, Doron; Zudilin, Wadim Automatic discovery of irrationality proofs and irrationality measures. (English) Zbl 07924595 Andrews, George E. (ed.) et al., Analytic and combinatorial number theory: the legacy of Ramanujan. Contributions in honor of Bruce C. Berndt. Selected papers based on the presentations at the conference, Champaign, IL, USA, June 6–9, 2019. Singapore: World Scientific. Monogr. Number Theory 12, 637-647 (2024). MSC: 11J71 11J82 11Y60 33F10 × Cite Format Result Cite Review PDF Full Text: DOI
Schroeder-Heister, Peter Comments on the contributions. (English) Zbl 07920766 Piecha, Thomas (ed.) et al., Peter Schroeder-Heister on proof-theoretic semantics. Cham: Springer. Outst. Contrib. Log. 29, 443-455 (2024). MSC: 03Fxx × Cite Format Result Cite Review PDF Full Text: DOI
Bärtschi, Michael; Jäger, Gerhard Some set-theoretic reduction principles. (English) Zbl 07920765 Piecha, Thomas (ed.) et al., Peter Schroeder-Heister on proof-theoretic semantics. Cham: Springer. Outst. Contrib. Log. 29, 425-442 (2024). MSC: 03Fxx × Cite Format Result Cite Review PDF Full Text: DOI
Więckowski, Bartosz Counterfactual assumptions and counterfactual implications. (English) Zbl 07920764 Piecha, Thomas (ed.) et al., Peter Schroeder-Heister on proof-theoretic semantics. Cham: Springer. Outst. Contrib. Log. 29, 399-423 (2024). MSC: 03Fxx × Cite Format Result Cite Review PDF Full Text: DOI
Francez, Nissim; Kaminski, Michael Truth-value constants in multi-valued logics. (English) Zbl 07920763 Piecha, Thomas (ed.) et al., Peter Schroeder-Heister on proof-theoretic semantics. Cham: Springer. Outst. Contrib. Log. 29, 391-397 (2024). MSC: 03Fxx × Cite Format Result Cite Review PDF Full Text: DOI
Hallnäs, Lars On the structure of proofs. (English) Zbl 07920762 Piecha, Thomas (ed.) et al., Peter Schroeder-Heister on proof-theoretic semantics. Cham: Springer. Outst. Contrib. Log. 29, 375-389 (2024). MSC: 03Fxx × Cite Format Result Cite Review PDF Full Text: DOI
Kahle, Reinhard; Santos, Paulo Guilherme Paradoxes, intuitionism, and proof-theoretic semantics. (English) Zbl 07920761 Piecha, Thomas (ed.) et al., Peter Schroeder-Heister on proof-theoretic semantics. Cham: Springer. Outst. Contrib. Log. 29, 363-374 (2024). MSC: 03Fxx × Cite Format Result Cite Review PDF Full Text: DOI
Wansing, Heinrich A note on synonymy in proof-theoretic semantics. (English) Zbl 07920760 Piecha, Thomas (ed.) et al., Peter Schroeder-Heister on proof-theoretic semantics. Cham: Springer. Outst. Contrib. Log. 29, 339-362 (2024). MSC: 03Fxx × Cite Format Result Cite Review PDF Full Text: DOI
Pistone, Paolo; Tranchini, Luca Intensional harmony as isomorphism. (English) Zbl 07920759 Piecha, Thomas (ed.) et al., Peter Schroeder-Heister on proof-theoretic semantics. Cham: Springer. Outst. Contrib. Log. 29, 315-337 (2024). MSC: 03Fxx × Cite Format Result Cite Review PDF Full Text: DOI
Liang, Chuck; Miller, Dale Focusing Gentzen’s LK proof system. (English) Zbl 07920758 Piecha, Thomas (ed.) et al., Peter Schroeder-Heister on proof-theoretic semantics. Cham: Springer. Outst. Contrib. Log. 29, 275-313 (2024). MSC: 03Fxx × Cite Format Result Cite Review PDF Full Text: DOI
Arndt, Michael Eight rules for implication elimination. (English) Zbl 07920757 Piecha, Thomas (ed.) et al., Peter Schroeder-Heister on proof-theoretic semantics. Cham: Springer. Outst. Contrib. Log. 29, 239-273 (2024). MSC: 03Fxx × Cite Format Result Cite Review PDF Full Text: DOI
Indrzejczak, Andrzej The logicality of equality. (English) Zbl 07920756 Piecha, Thomas (ed.) et al., Peter Schroeder-Heister on proof-theoretic semantics. Cham: Springer. Outst. Contrib. Log. 29, 211-238 (2024). MSC: 03Fxx × Cite Format Result Cite Review PDF Full Text: DOI
Pereira, Luiz Carlos; Haeusler, Edward Hermann; Nascimento, Victor Disjunctive syllogism without ex falso. (English) Zbl 07920755 Piecha, Thomas (ed.) et al., Peter Schroeder-Heister on proof-theoretic semantics. Cham: Springer. Outst. Contrib. Log. 29, 193-209 (2024). MSC: 03Fxx × Cite Format Result Cite Review PDF Full Text: DOI
de Campos Sanz, Wagner Kolmogorov and the general theory of problems. (English) Zbl 07920754 Piecha, Thomas (ed.) et al., Peter Schroeder-Heister on proof-theoretic semantics. Cham: Springer. Outst. Contrib. Log. 29, 161-192 (2024). MSC: 03Fxx × Cite Format Result Cite Review PDF Full Text: DOI
Prawitz, Dag The validity of inference and argument. (English) Zbl 07920753 Piecha, Thomas (ed.) et al., Peter Schroeder-Heister on proof-theoretic semantics. Cham: Springer. Outst. Contrib. Log. 29, 135-160 (2024). MSC: 03Fxx × Cite Format Result Cite Review PDF Full Text: DOI
Tennant, Neil Frege’s class theory and the logic of sets. (English) Zbl 07920752 Piecha, Thomas (ed.) et al., Peter Schroeder-Heister on proof-theoretic semantics. Cham: Springer. Outst. Contrib. Log. 29, 85-134 (2024). MSC: 03Fxx × Cite Format Result Cite Review PDF Full Text: DOI
Sundholm, Göran Grundlagen der arithmetik, §17. I: Frege’s anticipation of the deduction theorem. (English) Zbl 07920751 Piecha, Thomas (ed.) et al., Peter Schroeder-Heister on proof-theoretic semantics. Cham: Springer. Outst. Contrib. Log. 29, 53-84 (2024). MSC: 03Fxx × Cite Format Result Cite Review PDF Full Text: DOI
Schroeder-Heister, Peter Proof-theoretic semantics: an autobiographical survey. (English) Zbl 07920750 Piecha, Thomas (ed.) et al., Peter Schroeder-Heister on proof-theoretic semantics. Cham: Springer. Outst. Contrib. Log. 29, 1-51 (2024). MSC: 03Fxx × Cite Format Result Cite Review PDF Full Text: DOI
Zhang, Jinshan; Tang, Bo; Miao, Xiaoye; Yin, Jianwei Reallocation mechanisms under distributional constraints in the full preference domain. (English) Zbl 07917121 Garg, Jugal (ed.) et al., Web and internet economics. 19th international conference, WINE 2023, Shanghai, China, December 4–8, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14413, 654-671 (2024). MSC: 68M11 91A80 91B26 × Cite Format Result Cite Review PDF Full Text: DOI
Benedikt, Michael; Pradic, Cécilia; Wernhard, Christoph Synthesizing nested relational queries from implicit specifications: via model theory and via proof theory. (English) Zbl 07906369 Log. Methods Comput. Sci. 20, No. 3, Paper No. 7, 76 p. (2024). MSC: 03B70 68-XX × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Pinto, Pedro Nonexpansive maps in nonlinear smooth spaces. (English) Zbl 07906002 Trans. Am. Math. Soc. 377, No. 9, 6379-6426 (2024). MSC: 47J25 47H09 47H10 03F10 × Cite Format Result Cite Review PDF Full Text: DOI
Goy, Taras; Shattuck, Mark Determinants of Toeplitz-Hessenberg matrices with generalized Leonardo number entries. (English) Zbl 1548.11061 Ann. Math. Sil. 38, No. 2, 284-313 (2024). MSC: 11C20 15B05 05A19 15A18 × Cite Format Result Cite Review PDF Full Text: DOI
Huang, Tiancheng; Khemka, Gaurav; Chong, Wing Fung Monotonicity of savings function in endogenous gridpoint method with stochastic portfolio returns. (English) Zbl 1546.91235 Econ. Lett. 239, Article ID 111740, 4 p. (2024). MSC: 91G10 91B70 × Cite Format Result Cite Review PDF Full Text: DOI
Martini, Simone; Masini, Andrea; Zorzi, Margherita A natural deduction calculus for S4.2. (English) Zbl 07898457 Notre Dame J. Formal Logic 65, No. 2, 127-150 (2024). MSC: 03F03 03F05 03F07 × Cite Format Result Cite Review PDF Full Text: DOI Link
Parker, Jeremy P. The Lorenz system as a gradient-like system. (English) Zbl 07896362 Nonlinearity 37, No. 9, Article ID 095022, 17 p. (2024). MSC: 37D45 37M25 65G30 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Crane, Charles B. Relational quantum mechanics and intuitionistic mathematics. (English) Zbl 07896335 Found. Phys. 54, No. 3, Paper No. 37, 12 p. (2024). MSC: 81Pxx 03Fxx 03-XX × Cite Format Result Cite Review PDF Full Text: DOI
Došlić, Tomislav; Puljiz, Mate; Šebek, Stjepan; Žubrinić, Josip On a variant of Flory model. (English) Zbl 1544.05083 Discrete Appl. Math. 356, 269-292 (2024). MSC: 05C70 05C35 05A15 90C27 60C05 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Leigh, Graham E.; Wehr, Dominik From GTC to Reset: generating reset proof systems from cyclic proof systems. (English) Zbl 07894018 Ann. Pure Appl. Logic 175, No. 10, Article ID 103485, 46 p. (2024). MSC: 03F03 03F07 03B22 03F20 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Dinis, Bruno; Pinto, Pedro Effective metastability for a method of alternating resolvents. (English) Zbl 07884554 Fixed Point Theory 25, No. 1, 61-98 (2024). MSC: 47J25 47H05 47H09 47H10 03F10 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Richelson, Silas; Roy, Sourya Analyzing Ta-Shma’s code via the expander mixing lemma. (English) Zbl 1547.94497 IEEE Trans. Inf. Theory 70, No. 2, 1040-1049 (2024). MSC: 94B05 05C48 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Melikhov, S. A. A joint logic of problems and propositions. (English) Zbl 07883845 Dokl. Math. 109, No. 2, 130-139 (2024). MSC: 03Bxx 03Fxx 03-XX × Cite Format Result Cite Review PDF Full Text: DOI
Kattis, Assimakis; Bonneau, Joseph Proof of necessary work: succinct state verification with fairness guarantees. (English) Zbl 1543.94735 Baldimtsi, Foteini (ed.) et al., Financial cryptography and data security. 27th international conference, FC 2023, Bol, Brač, Croatia, May 1–5, 2023. Revised selected papers. Part II. Cham: Springer. Lect. Notes Comput. Sci. 13951, 18-35 (2024). MSC: 94A60 91B64 × Cite Format Result Cite Review PDF Full Text: DOI
Qi, Feng; Taylor, Peter Series expansions for real powers of sinc function and closed-form expression for specific partial Bell polynomials. (English) Zbl 07877078 Appl. Anal. Discrete Math. 18, No. 1, 92-115 (2024). MSC: 41A58 05A19 11B73 11B83 11C08 33B10 × Cite Format Result Cite Review PDF Full Text: DOI
Ekici, Özgün Pair-efficient reallocation of indivisible objects. (English) Zbl 07874767 Theor. Econ. 19, No. 2, 551-564 (2024). MSC: 91-XX × Cite Format Result Cite Review PDF Full Text: DOI
Ferreira, Gilda; Firmino, Paulo Herbrandized modified realizability. (English) Zbl 07874621 Arch. Math. Logic 63, No. 5-6, 703-721 (2024). MSC: 03F10 03B20 03B40 03F30 03F25 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Ghari, Meghdad Tableaux and interpolation for propositional justification logics. (English) Zbl 07873793 Notre Dame J. Formal Logic 65, No. 1, 81-112 (2024). MSC: 03F03 03C40 03B60 × Cite Format Result Cite Review PDF Full Text: DOI
Tong, Yuxin; Xie, Xiang; Yang, Kang; Zhang, Rui; Xue, Rui Efficient secure multi-party computation for proof of custody in Ethereum sharding. (English) Zbl 1542.94143 Des. Codes Cryptography 92, No. 7, 2055-2083 (2024). MSC: 94A60 91B64 × Cite Format Result Cite Review PDF Full Text: DOI
Chong, Chi Tat; Wang, Wei; Yang, Yue Conservation strength of the infinite pigeonhole principle for trees. (English) Zbl 07871048 Isr. J. Math. 260, No. 1, 341-364 (2024). MSC: 03Bxx 03Fxx 03Dxx × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Antonelli, Melissa; Dal Lago, Ugo; Pistone, Paolo Towards logical foundations for probabilistic computation. (English) Zbl 07870393 Ann. Pure Appl. Logic 175, No. 9, Article ID 103341, 51 p. (2024). MSC: 03F03 03D15 68Q10 68Q15 68N18 × Cite Format Result Cite Review PDF Full Text: DOI
Mohammadi, Hamzeh Linear abelian modal logic. (English) Zbl 07865508 Bull. Sect. Log., Univ. Łódź, Dep. Log. 53, No. 1, 1-28 (2024). MSC: 03B45 03B50 03F03 03F05 × Cite Format Result Cite Review PDF Full Text: DOI
Martinot, Robin Ontological purity for formal proofs. (English) Zbl 07861977 Rev. Symb. Log. 17, No. 2, 395-434 (2024). MSC: 03A05 03F03 × Cite Format Result Cite Review PDF Full Text: DOI
Maldonado, Diego; Montealegre, Pedro; Ríos-Wilson, Martín The hardness of local certification of finite-state dynamics. (English) Zbl 07857840 Soto, José A. (ed.) et al., Latin 2024: theoretical informatics. 16th Latin American symposium, Puerto Varas, Chile, March 18–22, 2024. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 14578, 51-65 (2024). MSC: 68Qxx 68Rxx 68Wxx × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Klouda, Karel; Starosta, Štěpán The number of primitive words of unbounded exponent in the language of an HD0L-system is finite. (English) Zbl 07852612 J. Comb. Theory, Ser. A 206, Article ID 105904, 16 p. (2024). MSC: 68Qxx 68Rxx 00Bxx × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Jäger, Gerhard; Rathjen, Michael Admissible extensions of subtheories of second order arithmetic. (English) Zbl 07848921 Ann. Pure Appl. Logic 175, No. 7, Article ID 103425, 32 p. (2024). MSC: 03F05 03F15 03F25 03E30 03B15 03C70 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Pischke, Nicholas Logical metatheorems for accretive and (generalized) monotone set-valued operators. (English) Zbl 07845702 J. Math. Log. 24, No. 2, Article ID 2350008, 59 p. (2024). MSC: 03F10 03F35 47H05 47H06 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Kołodziejczyk, Leszek Aleksander; Wong, Tin Lok; Yokoyama, Keita Ramsey’s theorem for pairs, collection, and proof size. (English) Zbl 07845701 J. Math. Log. 24, No. 2, Article ID 2350007, 40 p. (2024). MSC: 03F20 03B30 03F35 05D10 03F30 03F25 03H15 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Braun, David; Magaud, Nicolas; Schreck, Pascal A matroid-based automatic prover and Coq proof generator for projective incidence geometry. (English) Zbl 1540.68259 J. Autom. Reasoning 68, No. 1, Paper No. 3, 29 p. (2024). MSC: 68V15 05B35 51A05 51N15 × Cite Format Result Cite Review PDF Full Text: DOI
Greco, Giuseppe; Jipsen, Peter; Liang, Fei; Palmigiano, Alessandra; Tzimoulis, Apostolos Algebraic proof theory for LE-logics. (English) Zbl 07839129 ACM Trans. Comput. Log. 25, No. 1, Article No. 6, 37 p. (2024). MSC: 03B70 68-XX × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Maffezioli, Paolo Cut elimination for coherent theories in negation normal form. (English) Zbl 07832914 Arch. Math. Logic 63, No. 3-4, 427-445 (2024). MSC: 03F03 × Cite Format Result Cite Review PDF Full Text: DOI
Gherardi, Guido; Orlandelli, Eugenio; Raidl, Eric Proof systems for super-strict implication. (English) Zbl 07830169 Stud. Log. 112, No. 1-2, 249-294 (2024). MSC: 03-XX × Cite Format Result Cite Review PDF Full Text: DOI
Avron, Arnon Poincaré-Weyl’s predicativity: going beyond \(\Gamma_0\). (English) Zbl 07828958 Bull. Symb. Log. 30, No. 1, 41-91 (2024). MSC: 03A05 03B30 03E30 03E10 00A30 03-03 × Cite Format Result Cite Review PDF Full Text: DOI
Fujimoto, Kentaro; Halbach, Volker Classical determinate truth. I. (English) Zbl 07827889 J. Symb. Log. 89, No. 1, 218-261 (2024). MSC: 03F03 × Cite Format Result Cite Review PDF Full Text: DOI
Walsh, James An incompleteness theorem via ordinal analysis. (English) Zbl 07827880 J. Symb. Log. 89, No. 1, 80-96 (2024). MSC: 03F15 03F40 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Findling, Richard; Kohlenbach, Ulrich Rates of convergence and metastability for Chidume’s algorithm for the approximation of zeros of accretive operators in Banach spaces. (English) Zbl 07827111 Numer. Funct. Anal. Optim. 45, No. 3, 216-233 (2024). MSC: 47H04 47H06 47J25 03F10 × Cite Format Result Cite Review PDF Full Text: DOI
Maksimova, L. L.; Yun, V. F. Craig’s interpolation property in pretabular logics. (English. Russian original) Zbl 07825250 Sib. Math. J. 65, No. 2, 344-350 (2024); translation from Sib. Mat. Zh. 65, No. 2, 349-357 (2024). MSC: 03Bxx 03Cxx 03Fxx × Cite Format Result Cite Review PDF Full Text: DOI
Piecha, Thomas (ed.); Wehmeier, Kai F. (ed.) Peter Schroeder-Heister on proof-theoretic semantics. (English) Zbl 1543.03024 Outstanding Contributions to Logic 29. Cham: Springer (ISBN 978-3-031-50980-3/hbk; 978-3-031-50983-4/pbk; 978-3-031-50981-0/ebook). x, 463 p., open access (2024). MSC: 03-06 03Fxx 00B30 × Cite Format Result Cite Review PDF Full Text: DOI
Gunther, Emmanuel; Pagano, Miguel; Sánchez Terraf, Pedro; Steinberg, Matías The formal verification of the ctm approach to forcing. (English) Zbl 07815139 Ann. Pure Appl. Logic 175, No. 5, Article ID 103413, 28 p. (2024). MSC: 68V20 03E35 03E30 03E04 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Marker, David An invitation to mathematical logic. (English) Zbl 07814037 Graduate Texts in Mathematics 301. Cham: Springer (ISBN 978-3-031-55367-7/hbk; 978-3-031-55370-7/pbk; 978-3-031-55368-4/ebook). xviii, 357 p. (2024). MSC: 03-01 03Cxx 03Dxx 03Fxx × Cite Format Result Cite Review PDF Full Text: DOI
Tranchini, Luca Harmony and paradox. Intensional aspects of proof-theoretic semantics. (English) Zbl 07813675 Trends in Logic – Studia Logica Library 62. Cham: Springer (ISBN 978-3-031-46920-6/hbk; 978-3-031-46923-7/pbk; 978-3-031-46921-3/ebook). xv, 184 p., open access (2024). MSC: 03-02 03F03 × Cite Format Result Cite Review PDF Full Text: DOI
Wang, Liguan; Li, Yuan; Kan, Haibin Obtaining simulation extractable NIZKs in the updatable CRS model generically. (English) Zbl 07808916 Theor. Comput. Sci. 981, Article ID 114252, 20 p. (2024). MSC: 68Qxx × Cite Format Result Cite Review PDF Full Text: DOI
Hou, Thomas Y.; Wang, Yixuan Blowup analysis for a quasi-exact 1D model of 3D Euler and Navier-Stokes. (English) Zbl 1532.35343 Nonlinearity 37, No. 3, Article ID 035001, 28 p. (2024). MSC: 35Q30 35Q31 76D03 76D05 76B03 35B44 35C06 42A16 35A01 35A02 68V05 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Pischke, Nicholas Rates of convergence for the asymptotic behavior of second-order Cauchy problems. (English) Zbl 07799727 J. Math. Anal. Appl. 533, No. 2, Article ID 128078, 15 p. (2024). MSC: 47Hxx 03Fxx 34Gxx × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Fraigniaud, Pierre; Montealegre, Pedro; Rapaport, Ivan; Todinca, Ioan A meta-theorem for distributed certification. (English) Zbl 07795036 Algorithmica 86, No. 2, 585-612 (2024). MSC: 68Wxx 05Cxx × Cite Format Result Cite Review PDF Full Text: DOI
Bousquet, Nicolas; Deschamps, Quentin; De Meyer, Lucas; Pierron, Théo Square coloring planar graphs with automatic discharging. (English) Zbl 1528.05020 SIAM J. Discrete Math. 38, No. 1, 504-528 (2024). MSC: 05C15 05C10 90C05 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Pulcini, Gabriele Cut elimination by unthreading. (English) Zbl 07790938 Arch. Math. Logic 63, No. 1-2, 211-223 (2024). MSC: 03F03 03F05 03F07 × Cite Format Result Cite Review PDF Full Text: DOI
Goy, Taras; Shattuck, Mark Determinant identities for the Catalan, Motzkin and Schröder numbers. (English) Zbl 1538.05019 Art Discrete Appl. Math. 7, No. 1, Paper No. P1.09, 22 p. (2024). MSC: 05A19 11C20 15B05 × Cite Format Result Cite Review PDF Full Text: DOI
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 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Neri, Morenikeji A finitary Kronecker’s lemma and large deviations in the Strong Law of Large numbers on Banach spaces. arXiv:2411.08620 Preprint, arXiv:2411.08620 [math.LO] (2024). MSC: 03F10 03B30 60B12 60F10 60F15 × Cite Format Result Cite Full Text: arXiv OA License
Maleki, Fatemeh Shirmohammadzadeh Sequent Calculi for some subintuitionistic Logics. arXiv:2410.20425 Preprint, arXiv:2410.20425 [math.LO] (2024). MSC: 03Fxx × Cite Format Result Cite Full Text: arXiv
Platzer, André; Qian, Long Axiomatization of Compact Initial Value Problems: Open Properties. arXiv:2410.13836 Preprint, arXiv:2410.13836 [cs.LO] (2024). MSC: 03B70 03D80 03F03 34C14 34A38 34C11 65L70 65G20 × Cite Format Result Cite Full Text: arXiv OA License
Santos, Paulo Guilherme \(\omega\)-consistency for Different Arrays of Quantifiers. arXiv:2410.09195 Preprint, arXiv:2410.09195 [math.LO] (2024). MSC: 03F03 × Cite Format Result Cite Full Text: arXiv
Trotta, Davide; Weinberger, Jonathan; de Paiva, Valeria Skolem, Gödel, and Hilbert fibrations. arXiv:2407.15765 Preprint, arXiv:2407.15765 [math.CT] (2024). MSC: 18D30 03G30 03F03 × Cite Format Result Cite Full Text: arXiv
Neri, Morenikeji; Powell, Thomas On quantitative convergence for stochastic processes: Crossings, fluctuations and martingales. arXiv:2406.19979 Preprint, arXiv:2406.19979 [math.PR] (2024). MSC: 03F10 60G42 03F03 03F60 60G05 × Cite Format Result Cite Full Text: arXiv OA License
Neri, Morenikeji Quantitative Strong Laws of Large Numbers. arXiv:2406.19166 Preprint, arXiv:2406.19166 [math.PR] (2024). MSC: 60F10 60F15 03F99 × Cite Format Result Cite Full Text: arXiv OA License