Sipoş, Andrei Abstract strongly convergent variants of the proximal point algorithm. (English) Zbl 07569400 Comput. Optim. Appl. 83, No. 1, 349-380 (2022). MSC: 90Cxx 90C25 46N10 47J25 47H09 03F10 PDF BibTeX XML Cite \textit{A. Sipoş}, Comput. Optim. Appl. 83, No. 1, 349--380 (2022; Zbl 07569400) Full Text: DOI OpenURL
Koutsoukou-Argyraki, Angeliki; Li, Wenda; Paulson, Lawrence C. Irrationality and transcendence criteria for infinite series in Isabelle/HOL. (English) Zbl 07566890 Exp. Math. 31, No. 2, 401-412 (2022). MSC: 40A05 11J68 11J81 03B35 68V20 68V35 PDF BibTeX XML Cite \textit{A. Koutsoukou-Argyraki} et al., Exp. Math. 31, No. 2, 401--412 (2022; Zbl 07566890) Full Text: DOI OpenURL
Džamonja, Mirna; Koutsoukou-Argyraki, Angeliki; Paulson, Lawrence C. Formalizing ordinal partition relations using Isabelle/HOL. (English) Zbl 07566889 Exp. Math. 31, No. 2, 383-400 (2022). MSC: 03E02 03E05 03E10 03B35 68V20 68V35 PDF BibTeX XML Cite \textit{M. Džamonja} et al., Exp. Math. 31, No. 2, 383--400 (2022; Zbl 07566889) Full Text: DOI OpenURL
Buzzard, Kevin; Hughes, Chris; Lau, Kenny; Livingston, Amelia; Mir, Ramon Fernández; Morrison, Scott Schemes in Lean. (English) Zbl 07566887 Exp. Math. 31, No. 2, 355-363 (2022). MSC: 14-XX 11-XX PDF BibTeX XML Cite \textit{K. Buzzard} et al., Exp. Math. 31, No. 2, 355--363 (2022; Zbl 07566887) Full Text: DOI OpenURL
Sterling, Jonathan; Angiuli, Carlo; Gratzer, Daniel A cubical language for Bishop sets. (English) Zbl 07566056 Log. Methods Comput. Sci. 18, No. 1, Paper No. 43, 80 p. (2022). MSC: 03B70 68-XX PDF BibTeX XML Cite \textit{J. Sterling} et al., Log. Methods Comput. Sci. 18, No. 1, Paper No. 43, 80 p. (2022; Zbl 07566056) Full Text: arXiv Link OpenURL
Sipoş, Andrei On extracting variable Herbrand disjunctions. (English) Zbl 07562026 Stud. Log. 110, No. 4, 1115-1134 (2022). MSC: 03F10 03F05 03F30 PDF BibTeX XML Cite \textit{A. Sipoş}, Stud. Log. 110, No. 4, 1115--1134 (2022; Zbl 07562026) Full Text: DOI OpenURL
Fiorino, Guido New tableau characterizations for non-clausal MaxSAT problem. (English) Zbl 07561911 Log. J. IGPL 30, No. 3, 422-436 (2022). MSC: 03B70 03F03 68R07 PDF BibTeX XML Cite \textit{G. Fiorino}, Log. J. IGPL 30, No. 3, 422--436 (2022; Zbl 07561911) Full Text: DOI OpenURL
Elek, Gábor Planarity can be verified by an approximate proof labeling scheme in constant-time. (English) Zbl 07559758 J. Comb. Theory, Ser. A 191, Article ID 105643, 17 p. (2022). MSC: 68Wxx 05Cxx 68Rxx PDF BibTeX XML Cite \textit{G. Elek}, J. Comb. Theory, Ser. A 191, Article ID 105643, 17 p. (2022; Zbl 07559758) Full Text: DOI OpenURL
Shramko, Yaroslav Between Hilbert and Gentzen: four-valued consequence systems and structural reasoning. (English) Zbl 07557505 Arch. Math. Logic 61, No. 5-6, 627-651 (2022). MSC: 03F03 03F07 03B35 03B47 03B70 PDF BibTeX XML Cite \textit{Y. Shramko}, Arch. Math. Logic 61, No. 5--6, 627--651 (2022; Zbl 07557505) Full Text: DOI OpenURL
Fellin, Giulio; Schuster, Peter; Wessel, Daniel The Jacobson radical of a propositional theory. (English) Zbl 07550752 Bull. Symb. Log. 28, No. 2, 163-181 (2022). MSC: 03F03 03F65 PDF BibTeX XML Cite \textit{G. Fellin} et al., Bull. Symb. Log. 28, No. 2, 163--181 (2022; Zbl 07550752) Full Text: DOI OpenURL
Nken, Moïse; Yildiz, Halis Murat Implications of multilateral tariff bindings on the extent of preferential trade agreement formation. (English) Zbl 07549007 Econ. Theory 73, No. 1, 301-347 (2022). MSC: 91B60 91A80 PDF BibTeX XML Cite \textit{M. Nken} and \textit{H. M. Yildiz}, Econ. Theory 73, No. 1, 301--347 (2022; Zbl 07549007) Full Text: DOI OpenURL
Yang, E. Semilinear logics with knotted axioms. (English) Zbl 07547163 Iran. J. Fuzzy Syst. 19, No. 2, 17-30 (2022). MSC: 03Bxx 03Gxx 03Fxx PDF BibTeX XML Cite \textit{E. Yang}, Iran. J. Fuzzy Syst. 19, No. 2, 17--30 (2022; Zbl 07547163) Full Text: DOI OpenURL
Küchlin, Wolfgang Logic and verification of product configuration in the automotive industry. (English) Zbl 07543891 Mainzer, Klaus (ed.) et al., Proof and computation II. From proof theory and univalent mathematics to program extraction and verification. Based on the international autumn school “Proof and computation”, September 20–26, 2019. Hackensack, NJ: World Scientific. 387-408 (2022). MSC: 03-XX 03Dxx 03Fxx 03Bxx PDF BibTeX XML Cite \textit{W. Küchlin}, in: Proof and computation II. From proof theory and univalent mathematics to program extraction and verification. Based on the international autumn school ``Proof and computation'', September 20--26, 2019. Hackensack, NJ: World Scientific. 387--408 (2022; Zbl 07543891) Full Text: DOI OpenURL
Larchey-Wendling, Dominique; Monin, Jean-François The Braga method: extracting certified algorithms from complex recursive schemes in Coq. (English) Zbl 07543890 Mainzer, Klaus (ed.) et al., Proof and computation II. From proof theory and univalent mathematics to program extraction and verification. Based on the international autumn school “Proof and computation”, September 20–26, 2019. Hackensack, NJ: World Scientific. 305-386 (2022). MSC: 03-XX 03Dxx 03Fxx 03Bxx PDF BibTeX XML Cite \textit{D. Larchey-Wendling} and \textit{J.-F. Monin}, in: Proof and computation II. From proof theory and univalent mathematics to program extraction and verification. Based on the international autumn school ``Proof and computation'', September 20--26, 2019. Hackensack, NJ: World Scientific. 305--386 (2022; Zbl 07543890) Full Text: DOI OpenURL
Benini, Marco; Bonacina, Roberta An Ad-Hoc semantics to study structural properties of types. (English) Zbl 07543889 Mainzer, Klaus (ed.) et al., Proof and computation II. From proof theory and univalent mathematics to program extraction and verification. Based on the international autumn school “Proof and computation”, September 20–26, 2019. Hackensack, NJ: World Scientific. 267-303 (2022). MSC: 03-XX 03Dxx 03Fxx 03Bxx PDF BibTeX XML Cite \textit{M. Benini} and \textit{R. Bonacina}, in: Proof and computation II. From proof theory and univalent mathematics to program extraction and verification. Based on the international autumn school ``Proof and computation'', September 20--26, 2019. Hackensack, NJ: World Scientific. 267--303 (2022; Zbl 07543889) Full Text: DOI OpenURL
Coquand, Thierry; Tosun, Ayberk Formal topology and univalent foundations. (English) Zbl 07543888 Mainzer, Klaus (ed.) et al., Proof and computation II. From proof theory and univalent mathematics to program extraction and verification. Based on the international autumn school “Proof and computation”, September 20–26, 2019. Hackensack, NJ: World Scientific. 255-266 (2022). MSC: 03-XX 03Dxx 03Fxx 03Bxx PDF BibTeX XML Cite \textit{T. Coquand} and \textit{A. Tosun}, in: Proof and computation II. From proof theory and univalent mathematics to program extraction and verification. Based on the international autumn school ``Proof and computation'', September 20--26, 2019. Hackensack, NJ: World Scientific. 255--266 (2022; Zbl 07543888) Full Text: DOI OpenURL
Freund, Anton A uniform characterization of \(\Sigma_1\)-reflection over the fragments of Peano arithmetic. (English) Zbl 07543887 Mainzer, Klaus (ed.) et al., Proof and computation II. From proof theory and univalent mathematics to program extraction and verification. Based on the international autumn school “Proof and computation”, September 20–26, 2019. Hackensack, NJ: World Scientific. 189-253 (2022). MSC: 03-XX 03Dxx 03Fxx 03Bxx PDF BibTeX XML Cite \textit{A. Freund}, in: Proof and computation II. From proof theory and univalent mathematics to program extraction and verification. Based on the international autumn school ``Proof and computation'', September 20--26, 2019. Hackensack, NJ: World Scientific. 189--253 (2022; Zbl 07543887) Full Text: DOI OpenURL
Blechschmidt, Ingo Generalized spaces for constructive algebra. (English) Zbl 07543886 Mainzer, Klaus (ed.) et al., Proof and computation II. From proof theory and univalent mathematics to program extraction and verification. Based on the international autumn school “Proof and computation”, September 20–26, 2019. Hackensack, NJ: World Scientific. 99-187 (2022). MSC: 03-XX 03Dxx 03Fxx 03Bxx PDF BibTeX XML Cite \textit{I. Blechschmidt}, in: Proof and computation II. From proof theory and univalent mathematics to program extraction and verification. Based on the international autumn school ``Proof and computation'', September 20--26, 2019. Hackensack, NJ: World Scientific. 99--187 (2022; Zbl 07543886) Full Text: DOI OpenURL
Kawai, Tatsuji From intuitionistic mathematics to point-free topology. (English) Zbl 07543885 Mainzer, Klaus (ed.) et al., Proof and computation II. From proof theory and univalent mathematics to program extraction and verification. Based on the international autumn school “Proof and computation”, September 20–26, 2019. Hackensack, NJ: World Scientific. 55-98 (2022). MSC: 03-XX 03Dxx 03Fxx 03Bxx PDF BibTeX XML Cite \textit{T. Kawai}, in: Proof and computation II. From proof theory and univalent mathematics to program extraction and verification. Based on the international autumn school ``Proof and computation'', September 20--26, 2019. Hackensack, NJ: World Scientific. 55--98 (2022; Zbl 07543885) Full Text: DOI OpenURL
Centrone, Stefania Conceptions of proof from aristotle to Gentzen’s calculi. (English) Zbl 07543884 Mainzer, Klaus (ed.) et al., Proof and computation II. From proof theory and univalent mathematics to program extraction and verification. Based on the international autumn school “Proof and computation”, September 20–26, 2019. Hackensack, NJ: World Scientific. 33-54 (2022). MSC: 03-XX 03Dxx 03Fxx 03Bxx PDF BibTeX XML Cite \textit{S. Centrone}, in: Proof and computation II. From proof theory and univalent mathematics to program extraction and verification. Based on the international autumn school ``Proof and computation'', September 20--26, 2019. Hackensack, NJ: World Scientific. 33--54 (2022; Zbl 07543884) Full Text: DOI OpenURL
Mainzer, Klaus Proof and computation: perspectives for mathematics, computer science, and philosophy. (English) Zbl 07543883 Mainzer, Klaus (ed.) et al., Proof and computation II. From proof theory and univalent mathematics to program extraction and verification. Based on the international autumn school “Proof and computation”, September 20–26, 2019. Hackensack, NJ: World Scientific. 1-32 (2022). MSC: 03-XX 03Dxx 03Fxx 03Bxx PDF BibTeX XML Cite \textit{K. Mainzer}, in: Proof and computation II. From proof theory and univalent mathematics to program extraction and verification. Based on the international autumn school ``Proof and computation'', September 20--26, 2019. Hackensack, NJ: World Scientific. 1--32 (2022; Zbl 07543883) Full Text: DOI OpenURL
Krajíček, Jan Information in propositional proofs and algorithmic proof search. (English) Zbl 07541925 J. Symb. Log. 87, No. 2, 852-869 (2022). MSC: 03F20 68Q11 68Q30 PDF BibTeX XML Cite \textit{J. Krajíček}, J. Symb. Log. 87, No. 2, 852--869 (2022; Zbl 07541925) Full Text: DOI OpenURL
Komara, Ján Efficient elimination of Skolem functions in \(\text{LK}^\text{h} \). (English) Zbl 07541621 Arch. Math. Logic 61, No. 3-4, 503-534 (2022). MSC: 03F03 03F05 03F07 03F20 PDF BibTeX XML Cite \textit{J. Komara}, Arch. Math. Logic 61, No. 3--4, 503--534 (2022; Zbl 07541621) Full Text: DOI OpenURL
Stirton, William R. Combinatory logic with polymorphic types. (English) Zbl 07541615 Arch. Math. Logic 61, No. 3-4, 317-343 (2022). MSC: 03Fxx PDF BibTeX XML Cite \textit{W. R. Stirton}, Arch. Math. Logic 61, No. 3--4, 317--343 (2022; Zbl 07541615) Full Text: DOI OpenURL
Fiori-Carones, Marta; Marcone, Alberto Uniquely orderable interval graphs. (English) Zbl 07541375 Discrete Math. 345, No. 9, Article ID 112935, 12 p. (2022). MSC: 03Fxx 03Bxx 05Cxx PDF BibTeX XML Cite \textit{M. Fiori-Carones} and \textit{A. Marcone}, Discrete Math. 345, No. 9, Article ID 112935, 12 p. (2022; Zbl 07541375) Full Text: DOI OpenURL
Fernández-Duque, David; Hermo-Reyes, Eduardo Deducibility and independence in Beklemishev’s autonomous provability calculus. (English) Zbl 07540280 Inf. Comput. 287, Article ID 104758, 14 p. (2022). MSC: 03F45 PDF BibTeX XML Cite \textit{D. Fernández-Duque} and \textit{E. Hermo-Reyes}, Inf. Comput. 287, Article ID 104758, 14 p. (2022; Zbl 07540280) Full Text: DOI OpenURL
Takeuchi, Yuki; Morimae, Tomoyuki; Tani, Seiichiro Sumcheck-based delegation of quantum computing to rational server. (English) Zbl 07540255 Theor. Comput. Sci. 924, 46-67 (2022). MSC: 68Qxx PDF BibTeX XML Cite \textit{Y. Takeuchi} et al., Theor. Comput. Sci. 924, 46--67 (2022; Zbl 07540255) Full Text: DOI OpenURL
Patt-Shamir, Boaz; Perry, Mor Proof-labeling schemes: broadcast, unicast and in between. (English) Zbl 07540238 Theor. Comput. Sci. 923, 179-195 (2022). MSC: 68Qxx PDF BibTeX XML Cite \textit{B. Patt-Shamir} and \textit{M. Perry}, Theor. Comput. Sci. 923, 179--195 (2022; Zbl 07540238) Full Text: DOI OpenURL
Sipoş, Andrei Quantitative inconsistent feasibility for averaged mappings. (English) Zbl 07539465 Optim. Lett. 16, No. 6, 1915-1925 (2022). MSC: 47-XX PDF BibTeX XML Cite \textit{A. Sipoş}, Optim. Lett. 16, No. 6, 1915--1925 (2022; Zbl 07539465) Full Text: DOI OpenURL
Boldo, Sylvie; Clément, François; Faissole, Florian; Martin, Vincent; Mayero, Micaela A Coq formalization of Lebesgue integration of nonnegative functions. (English) Zbl 07538894 J. Autom. Reasoning 66, No. 2, 175-213 (2022). MSC: 68V15 PDF BibTeX XML Cite \textit{S. Boldo} et al., J. Autom. Reasoning 66, No. 2, 175--213 (2022; Zbl 07538894) Full Text: DOI OpenURL
Pentus, A. E.; Pentus, M. R. Proof nets for the Lambek calculus with one division and a negative-polarity modality for weakening. (English. Russian original) Zbl 07538686 J. Math. Sci., New York 262, No. 5, 759-766 (2022); translation from Fundam. Prikl. Mat. 23, No. 2, 247-257 (2020). MSC: 03Bxx 03Fxx 68Qxx PDF BibTeX XML Cite \textit{A. E. Pentus} and \textit{M. R. Pentus}, J. Math. Sci., New York 262, No. 5, 759--766 (2022; Zbl 07538686); translation from Fundam. Prikl. Mat. 23, No. 2, 247--257 (2020) Full Text: DOI OpenURL
Zach, Richard Corrections to: “Natural deduction for the Sheffer stroke and Peirce’s arrow (and any other truth-functional connective)”. (English) Zbl 1487.03025 J. Philos. Log. 51, No. 3, 691 (2022). MSC: 03B05 03B22 03F03 03F05 PDF BibTeX XML Cite \textit{R. Zach}, J. Philos. Log. 51, No. 3, 691 (2022; Zbl 1487.03025) Full Text: DOI OpenURL
Hayashi, Daichi On cut-elimination arguments for axiomatic theories of truth. (English) Zbl 07535458 Stud. Log. 110, No. 3, 785-818 (2022). MSC: 03-XX PDF BibTeX XML Cite \textit{D. Hayashi}, Stud. Log. 110, No. 3, 785--818 (2022; Zbl 07535458) Full Text: DOI OpenURL
Hoefnagel, Michael; Jacqmin, Pierre-Alain; Janelidze, Zurab The matrix taxonomy of finitely complete categories. (English) Zbl 07534353 Theory Appl. Categ. 38, 737-790 (2022). MSC: 03B35 18E13 18-08 08B05 68V20 03G30 68V05 18A35 18B15 03C35 08C05 PDF BibTeX XML Cite \textit{M. Hoefnagel} et al., Theory Appl. Categ. 38, 737--790 (2022; Zbl 07534353) Full Text: Link OpenURL
Schuster, Peter; Wessel, Daniel The Jacobson radical for an inconsistency predicate. (English) Zbl 07527242 Computability 11, No. 2, 147-162 (2022). MSC: 13-XX 03Dxx 03Fxx PDF BibTeX XML Cite \textit{P. Schuster} and \textit{D. Wessel}, Computability 11, No. 2, 147--162 (2022; Zbl 07527242) Full Text: DOI OpenURL
Capiński, Maciej J.; Wodka-Cholewa, Natalia Computer assisted proof of drift orbits along normally hyperbolic manifolds. II: Application to the restricted three body problem. (English) Zbl 07526838 Commun. Nonlinear Sci. Numer. Simul. 111, Article ID 106424, 28 p. (2022). MSC: 37J25 37J40 PDF BibTeX XML Cite \textit{M. J. Capiński} and \textit{N. Wodka-Cholewa}, Commun. Nonlinear Sci. Numer. Simul. 111, Article ID 106424, 28 p. (2022; Zbl 07526838) Full Text: DOI OpenURL
Kapela, Tomasz; Wilczak, Daniel; Zgliczyński, Piotr Recent advances in a rigorous computation of Poincaré maps. (English) Zbl 07526701 Commun. Nonlinear Sci. Numer. Simul. 110, Article ID 106366, 22 p. (2022). MSC: 37-XX 65G20 37C27 PDF BibTeX XML Cite \textit{T. Kapela} et al., Commun. Nonlinear Sci. Numer. Simul. 110, Article ID 106366, 22 p. (2022; Zbl 07526701) Full Text: DOI OpenURL
Moot, Richard; Stevens-Guille, Symon Jory Logical foundations for hybrid type-logical grammars. (English) Zbl 07524058 J. Logic Lang. Inf. 31, No. 1, 35-76 (2022). MSC: 03-XX 68-XX PDF BibTeX XML Cite \textit{R. Moot} and \textit{S. J. Stevens-Guille}, J. Logic Lang. Inf. 31, No. 1, 35--76 (2022; Zbl 07524058) Full Text: DOI OpenURL
Cheon, Jung Hee; Kim, Dongwoo; Kim, Duhyeong; Lee, Keewoo On the scaled inverse of \((x^i-x^j)\) modulo cyclotomic polynomial of the form \(\Phi_{p^s}(x)\) or \(\Phi_{p^s q^t}(x)\). (English) Zbl 07523115 J. Korean Math. Soc. 59, No. 3, 621-634 (2022). MSC: 11C08 94A60 PDF BibTeX XML Cite \textit{J. H. Cheon} et al., J. Korean Math. Soc. 59, No. 3, 621--634 (2022; Zbl 07523115) Full Text: DOI OpenURL
Miller, Dale; Viel, Alexandre The undecidability of proof search when equality is a logical connective. (English) Zbl 07517440 Ann. Math. Artif. Intell. 90, No. 5, 523-535 (2022). MSC: 03F03 PDF BibTeX XML Cite \textit{D. Miller} and \textit{A. Viel}, Ann. Math. Artif. Intell. 90, No. 5, 523--535 (2022; Zbl 07517440) Full Text: DOI OpenURL
Pischke, Nicholas; Kohlenbach, Ulrich Correction to: “Quantitative analysis of a subgradient-type method for equilibrium problems”. (English) Zbl 07512661 Numer. Algorithms 90, No. 1, 221 (2022). MSC: 65-XX 47H06 47J25 90C33 03F10 PDF BibTeX XML Cite \textit{N. Pischke} and \textit{U. Kohlenbach}, Numer. Algorithms 90, No. 1, 221 (2022; Zbl 07512661) Full Text: DOI OpenURL
Pischke, Nicholas; Kohlenbach, Ulrich Quantitative analysis of a subgradient-type method for equilibrium problems. (English) Zbl 07512660 Numer. Algorithms 90, No. 1, 197-219 (2022). MSC: 47J25 47H06 90C33 03F10 PDF BibTeX XML Cite \textit{N. Pischke} and \textit{U. Kohlenbach}, Numer. Algorithms 90, No. 1, 197--219 (2022; Zbl 07512660) Full Text: DOI OpenURL
Prawitz, Dag Book review of: P. Weingartner (ed.) and H.-P. Leeb (ed.), Kreisel’s interests. On the foundations of logic and mathematics. (English) Zbl 07511969 Philos. Math. (3) 30, No. 1, 121-126 (2022). MSC: 00A17 03-06 03Bxx 03Fxx 00B25 00B30 PDF BibTeX XML Cite \textit{D. Prawitz}, Philos. Math. (3) 30, No. 1, 121--126 (2022; Zbl 07511969) Full Text: DOI OpenURL
Takemura, Ryo Logic and majority voting. (English) Zbl 07502597 J. Philos. Log. 51, No. 2, 347-382 (2022). MSC: 03-XX PDF BibTeX XML Cite \textit{R. Takemura}, J. Philos. Log. 51, No. 2, 347--382 (2022; Zbl 07502597) Full Text: DOI OpenURL
Marin, Sonia; Miller, Dale; Pimentel, Elaine; Volpe, Marco From axioms to synthetic inference rules via focusing. (English) Zbl 07501985 Ann. Pure Appl. Logic 173, No. 5, Article ID 103091, 32 p. (2022). MSC: 03F03 03B10 03B20 03F07 PDF BibTeX XML Cite \textit{S. Marin} et al., Ann. Pure Appl. Logic 173, No. 5, Article ID 103091, 32 p. (2022; Zbl 07501985) Full Text: DOI OpenURL
Kurahashi, Taishi; Okawa, Yuya; Shavrukov, V. Yu.; Visser, Albert On Guaspari’s problem about partially conservative sentences. (English) Zbl 07501982 Ann. Pure Appl. Logic 173, No. 5, Article ID 103087, 25 p. (2022). MSC: 03F40 03F30 03F03 03F99 PDF BibTeX XML Cite \textit{T. Kurahashi} et al., Ann. Pure Appl. Logic 173, No. 5, Article ID 103087, 25 p. (2022; Zbl 07501982) Full Text: DOI OpenURL
Aguilera, J. P.; Baaz, M.; Bydžovský, J. The number of axioms. (English) Zbl 07501980 Ann. Pure Appl. Logic 173, No. 5, Article ID 103078, 13 p. (2022). MSC: 03F03 03F20 03B10 03F07 PDF BibTeX XML Cite \textit{J. P. Aguilera} et al., Ann. Pure Appl. Logic 173, No. 5, Article ID 103078, 13 p. (2022; Zbl 07501980) Full Text: DOI OpenURL
Kürbis, Nils Normalisation and subformula property for a system of classical logic with Tarski’s rule. (English) Zbl 07495456 Arch. Math. Logic 61, No. 1-2, 105-129 (2022). MSC: 03B05 03B10 03B20 03F05 PDF BibTeX XML Cite \textit{N. Kürbis}, Arch. Math. Logic 61, No. 1--2, 105--129 (2022; Zbl 07495456) Full Text: DOI OpenURL
Field, Hartry The power of naive truth. (English) Zbl 07493115 Rev. Symb. Log. 15, No. 1, 225-258 (2022). MSC: 03A05 03B20 03B50 PDF BibTeX XML Cite \textit{H. Field}, Rev. Symb. Log. 15, No. 1, 225--258 (2022; Zbl 07493115) Full Text: DOI OpenURL
Konovalov, A. Yu. Basic predicate calculus is not sound with respect to the strong variant of strictly primitive recursive realizability. (English. Russian original) Zbl 07488500 Math. Notes 111, No. 2, 243-257 (2022); translation from Mat. Zametki 111, No. 2, 241-257 (2022). MSC: 03Fxx 03Bxx 03Cxx PDF BibTeX XML Cite \textit{A. Yu. Konovalov}, Math. Notes 111, No. 2, 243--257 (2022; Zbl 07488500); translation from Mat. Zametki 111, No. 2, 241--257 (2022) Full Text: DOI OpenURL
Silva, Emilson Caputo Delfino; Yamaguchi, Chikara Overlapping climate clubs: self-enforcing R&D networks to mitigate global warming. (English) Zbl 1484.91321 Games 13, No. 1, Paper No. 4, 24 p. (2022). MSC: 91B76 91A43 91A80 PDF BibTeX XML Cite \textit{E. C. D. Silva} and \textit{C. Yamaguchi}, Games 13, No. 1, Paper No. 4, 24 p. (2022; Zbl 1484.91321) Full Text: DOI OpenURL
Beck, Margaret; Jaquette, Jonathan Validated spectral stability via conjugate points. (English) Zbl 07484037 SIAM J. Appl. Dyn. Syst. 21, No. 1, 366-404 (2022). Reviewer: Svetlin Georgiev (Sofia) MSC: 37L15 35K57 35B35 34B24 37M20 37M21 65G20 PDF BibTeX XML Cite \textit{M. Beck} and \textit{J. Jaquette}, SIAM J. Appl. Dyn. Syst. 21, No. 1, 366--404 (2022; Zbl 07484037) Full Text: DOI arXiv OpenURL
Esperet, Louis; Lévêque, Benjamin Local certification of graphs on surfaces. (English) Zbl 07482355 Theor. Comput. Sci. 909, 68-75 (2022). MSC: 68Qxx PDF BibTeX XML Cite \textit{L. Esperet} and \textit{B. Lévêque}, Theor. Comput. Sci. 909, 68--75 (2022; Zbl 07482355) Full Text: DOI arXiv OpenURL
Tsurumaru, Toyohiro Equivalence of three classical algorithms with quantum side information: privacy amplification, error correction, and data compression. (English) Zbl 07475740 IEEE Trans. Inf. Theory 68, No. 2, 1016-1031 (2022). MSC: 81P94 94A60 68Q12 PDF BibTeX XML Cite \textit{T. Tsurumaru}, IEEE Trans. Inf. Theory 68, No. 2, 1016--1031 (2022; Zbl 07475740) Full Text: DOI arXiv OpenURL
Khaniki, Erfan Not all Kripke models of \(\mathsf{HA}\) are locally \(\mathsf{PA}\). (English) Zbl 07472316 Adv. Math. 397, Article ID 108126, 22 p. (2022). MSC: 03Fxx 03Cxx 03Bxx PDF BibTeX XML Cite \textit{E. Khaniki}, Adv. Math. 397, Article ID 108126, 22 p. (2022; Zbl 07472316) Full Text: DOI OpenURL
Bauer, Andrej; Petković Komel, Anja An extensible equality checking algorithm for dependent type theories. (English) Zbl 07471706 Log. Methods Comput. Sci. 18, No. 1, Paper No. 17, 42 p. (2022). MSC: 03B70 68-XX PDF BibTeX XML Cite \textit{A. Bauer} and \textit{A. Petković Komel}, Log. Methods Comput. Sci. 18, No. 1, Paper No. 17, 42 p. (2022; Zbl 07471706) Full Text: arXiv Link OpenURL
Galias, Zbigniew On rigorous integration of continuous piecewise linear systems. (English) Zbl 07469334 Commun. Nonlinear Sci. Numer. Simul. 107, Article ID 106109, 14 p. (2022). MSC: 37M22 37M20 65P20 65P40 37D45 34A36 94C05 PDF BibTeX XML Cite \textit{Z. Galias}, Commun. Nonlinear Sci. Numer. Simul. 107, Article ID 106109, 14 p. (2022; Zbl 07469334) Full Text: DOI OpenURL
Fleming, Noah; Pitassi, Toniann Reflections on proof complexity and counting principles. (English) Zbl 07469221 Düntsch, Ivo (ed.) et al., Alasdair Urquhart on nonclassical and algebraic logic and complexity of proofs. Cham: Springer. Outst. Contrib. Log. 22, 497-520 (2022). MSC: 03Bxx 03Gxx PDF BibTeX XML Cite \textit{N. Fleming} and \textit{T. Pitassi}, Outst. Contrib. Log. 22, 497--520 (2022; Zbl 07469221) Full Text: DOI OpenURL
Capiński, Maciej J.; Gonzalez, Jorge; Marco, Jean-Pierre; Mireles James, Jason D. Computer assisted proof of drift orbits along normally hyperbolic manifolds. (English) Zbl 1485.37071 Commun. Nonlinear Sci. Numer. Simul. 106, Article ID 105970, 21 p. (2022). MSC: 37M21 37D10 37J25 37J40 PDF BibTeX XML Cite \textit{M. J. Capiński} et al., Commun. Nonlinear Sci. Numer. Simul. 106, Article ID 105970, 21 p. (2022; Zbl 1485.37071) Full Text: DOI arXiv OpenURL
Kohlenbach, Ulrich; Pinto, Pedro Quantitative translations for viscosity approximation methods in hyperbolic spaces. (English) Zbl 07442667 J. Math. Anal. Appl. 507, No. 2, Article ID 125823, 33 p. (2022). Reviewer: Andrei Sipoş (Bucureşti) MSC: 47J25 47H09 03F10 53C23 PDF BibTeX XML Cite \textit{U. Kohlenbach} and \textit{P. Pinto}, J. Math. Anal. Appl. 507, No. 2, Article ID 125823, 33 p. (2022; Zbl 07442667) Full Text: DOI arXiv OpenURL
Hower, Walter Discrete mathematics. Basis of computer science. 2nd edition. (Diskrete Mathematik. Grundlage der Informatik.) (German) Zbl 07220869 De Gruyter Studium. Berlin: De Gruyter/Oldenbourg (ISBN 978-3-11-069554-0/pbk; 978-3-11-069555-7/ebook). xiii, 133 p. (2022). Reviewer: Dieter Riebesehl (Lüneburg) MSC: 68-01 00A06 68R01 PDF BibTeX XML Cite \textit{W. Hower}, Diskrete Mathematik. Grundlage der Informatik. 2nd edition. Berlin: De Gruyter/Oldenbourg (2022; Zbl 07220869) Full Text: DOI OpenURL
Mohorcic, John; Dong, Lili Extended state observer-based pressure control for pneumatic actuator servo systems. (English) Zbl 07569006 Control Theory Technol. 19, No. 1, 64-79 (2021). MSC: 93-XX PDF BibTeX XML Cite \textit{J. Mohorcic} and \textit{L. Dong}, Control Theory Technol. 19, No. 1, 64--79 (2021; Zbl 07569006) Full Text: DOI OpenURL
Bera, Sudip Combinatorialization of Sury and McLaughlin identities and general linear recurrences by a unified approach. (English) Zbl 07563905 Enumer. Comb. Appl. 1, No. 1, Article ID S2R5, 12 p. (2021). MSC: 05A19 05A05 05C30 05C38 PDF BibTeX XML Cite \textit{S. Bera}, Enumer. Comb. Appl. 1, No. 1, Article ID S2R5, 12 p. (2021; Zbl 07563905) Full Text: DOI OpenURL
Ruangwises, Suthee; Itoh, Toshiya Physical ZKP for connected spanning subgraph: applications to bridges puzzle and other problems. (English) Zbl 07553909 Kostitsyna, Irina et al., Unconventional computation and natural computation. 19th international conference, UCNC 2021, Espoo, Finland, October 18–22, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12984, 149-163 (2021). MSC: 68Q07 68Q09 68Q10 68Q12 PDF BibTeX XML Cite \textit{S. Ruangwises} and \textit{T. Itoh}, Lect. Notes Comput. Sci. 12984, 149--163 (2021; Zbl 07553909) Full Text: DOI OpenURL
Khadieva, Aliya; Yakaryılmaz, Abuzer Affine automata verifiers. (English) Zbl 07553905 Kostitsyna, Irina et al., Unconventional computation and natural computation. 19th international conference, UCNC 2021, Espoo, Finland, October 18–22, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12984, 84-100 (2021). MSC: 68Q07 68Q09 68Q10 68Q12 PDF BibTeX XML Cite \textit{A. Khadieva} and \textit{A. Yakaryılmaz}, Lect. Notes Comput. Sci. 12984, 84--100 (2021; Zbl 07553905) Full Text: DOI OpenURL
Isuzugawa, Raimu; Miyahara, Daiki; Mizuki, Takaaki Zero-knowledge proof protocol for cryptarithmetic using dihedral cards. (English) Zbl 07553903 Kostitsyna, Irina et al., Unconventional computation and natural computation. 19th international conference, UCNC 2021, Espoo, Finland, October 18–22, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12984, 51-67 (2021). MSC: 68Q07 68Q09 68Q10 68Q12 PDF BibTeX XML Cite \textit{R. Isuzugawa} et al., Lect. Notes Comput. Sci. 12984, 51--67 (2021; Zbl 07553903) Full Text: DOI OpenURL
Shibuya, Yoko; Yamamoto, Go; Kojima, Fuhito; Shi, Elaine; Matsuo, Shin’ichiro; Laszka, Aron Selfish mining attacks exacerbated by elastic hash supply. (English) Zbl 07546628 Borisov, Nikita (ed.) et al., Financial cryptography and data security. 25th international conference, FC 2021, virtual event, March 1–5, 2021. Revised selected papers. Part II. Berlin, Heidelberg: Springer. Lect. Notes Comput. Sci. 12675, 269-276 (2021). MSC: 68Pxx 94A60 91Bxx PDF BibTeX XML Cite \textit{Y. Shibuya} et al., Lect. Notes Comput. Sci. 12675, 269--276 (2021; Zbl 07546628) Full Text: DOI OpenURL
Holmgaard Kamp, Simon; Magri, Bernardo; Matt, Christian; Buus Nielsen, Jesper; Eller Thomsen, Søren; Tschudi, Daniel Weight-based Nakamoto-style blockchains. (English) Zbl 07542391 Longa, Patrick (ed.) et al., Progress in cryptology – LATINCRYPT 2021. 7th international conference on cryptology and information security in Latin America, Bogotá, Colombia, October 6–8, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12912, 299-319 (2021). MSC: 94A60 91B64 68P25 68M12 PDF BibTeX XML Cite \textit{S. Holmgaard Kamp} et al., Lect. Notes Comput. Sci. 12912, 299--319 (2021; Zbl 07542391) Full Text: DOI OpenURL
Lyon, Tim S. Nested sequents for intuitionistic modal logics via structural refinement. (English) Zbl 07532529 Das, Anupam (ed.) et al., Automated reasoning with analytic tableaux and related methods. 30th international conference, TABLEAUX 2021, Birmingham, UK, September 6–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12842, 409-427 (2021). MSC: 68V15 PDF BibTeX XML Cite \textit{T. S. Lyon}, Lect. Notes Comput. Sci. 12842, 409--427 (2021; Zbl 07532529) Full Text: DOI OpenURL
Goré, Rajeev; Ramanayake, Revantha; Shillito, Ian Cut-elimination for provability logic by terminating proof-search: formalised and deconstructed using Coq. (English) Zbl 07532523 Das, Anupam (ed.) et al., Automated reasoning with analytic tableaux and related methods. 30th international conference, TABLEAUX 2021, Birmingham, UK, September 6–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12842, 299-313 (2021). MSC: 68V15 PDF BibTeX XML Cite \textit{R. Goré} et al., Lect. Notes Comput. Sci. 12842, 299--313 (2021; Zbl 07532523) Full Text: DOI OpenURL
D’Abrera, Caitlin; Dawson, Jeremy; Goré, Rajeev A formally verified cut-elimination procedure for linear nested sequents for tense logic. (English) Zbl 07532522 Das, Anupam (ed.) et al., Automated reasoning with analytic tableaux and related methods. 30th international conference, TABLEAUX 2021, Birmingham, UK, September 6–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12842, 281-298 (2021). MSC: 68V15 PDF BibTeX XML Cite \textit{C. D'Abrera} et al., Lect. Notes Comput. Sci. 12842, 281--298 (2021; Zbl 07532522) Full Text: DOI OpenURL
Kürbis, Nils Proof-theory and semantics for a theory of definite descriptions. (English) Zbl 07532511 Das, Anupam (ed.) et al., Automated reasoning with analytic tableaux and related methods. 30th international conference, TABLEAUX 2021, Birmingham, UK, September 6–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12842, 95-111 (2021). MSC: 68V15 PDF BibTeX XML Cite \textit{N. Kürbis}, Lect. Notes Comput. Sci. 12842, 95--111 (2021; Zbl 07532511) Full Text: DOI OpenURL
Edmonds, Chelsea; Paulson, Lawrence C. A modular first formalisation of combinatorial design theory. (English) Zbl 1485.68291 Kamareddine, Fairouz (ed.) et al., Intelligent computer mathematics. 14th international conference, CICM 2021, Timisoara, Romania, July 26–31, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12833, 3-18 (2021). MSC: 68V20 05Bxx 06D22 PDF BibTeX XML Cite \textit{C. Edmonds} and \textit{L. C. Paulson}, Lect. Notes Comput. Sci. 12833, 3--18 (2021; Zbl 1485.68291) Full Text: DOI OpenURL
Pezlar, Ivo A note on paradoxical propositions from an inferential point of view. (English) Zbl 07503174 Blicha, Martin (ed.) et al., The Logica yearbook 2020. Papers based on the submitted abstracts of the cancelled symposium Logica 2020. London: College Publications. 183-199 (2021). MSC: 03A05 PDF BibTeX XML Cite \textit{I. Pezlar}, in: The Logica yearbook 2020. Papers based on the submitted abstracts of the cancelled symposium Logica 2020. London: College Publications. 183--199 (2021; Zbl 07503174) OpenURL
Powell, Thomas; Wiesnet, Franziskus Rates of convergence for asymptotically weakly contractive mappings in normed spaces. (English) Zbl 07502604 Numer. Funct. Anal. Optim. 42, No. 15, Part 3, 1802-1838 (2021). MSC: 47H10 47J25 03F10 PDF BibTeX XML Cite \textit{T. Powell} and \textit{F. Wiesnet}, Numer. Funct. Anal. Optim. 42, No. 15, Part 3, 1802--1838 (2021; Zbl 07502604) Full Text: DOI OpenURL
Koutsoukou-Argyraki, Angeliki On preserving the computational content of mathematical proofs: toy examples for a formalising strategy. (English) Zbl 07495176 De Mol, Liesbeth (ed.) et al., Connecting with computability. 17th conference on computability in Europe, CiE 2021, virtual event, Ghent, Belgium, July 5–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12813, 285-296 (2021). MSC: 68Qxx PDF BibTeX XML Cite \textit{A. Koutsoukou-Argyraki}, Lect. Notes Comput. Sci. 12813, 285--296 (2021; Zbl 07495176) Full Text: DOI OpenURL
Genco, Francesco A.; Poggiolesi, Francesca Defining formal explanation in classical logic by substructural derivability. (English) Zbl 07495172 De Mol, Liesbeth (ed.) et al., Connecting with computability. 17th conference on computability in Europe, CiE 2021, virtual event, Ghent, Belgium, July 5–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12813, 237-247 (2021). MSC: 68Qxx PDF BibTeX XML Cite \textit{F. A. Genco} and \textit{F. Poggiolesi}, Lect. Notes Comput. Sci. 12813, 237--247 (2021; Zbl 07495172) Full Text: DOI OpenURL
Ferreira, Fernando On false Heine/Borel compactness principles in proof mining. (English) Zbl 07495168 De Mol, Liesbeth (ed.) et al., Connecting with computability. 17th conference on computability in Europe, CiE 2021, virtual event, Ghent, Belgium, July 5–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12813, 199-203 (2021). MSC: 68Qxx PDF BibTeX XML Cite \textit{F. Ferreira}, Lect. Notes Comput. Sci. 12813, 199--203 (2021; Zbl 07495168) Full Text: DOI OpenURL
Fuenmayor, David; Steen, Alexander A flexible approach to argumentation framework analysis using theorem proving. (English) Zbl 1484.68228 Liao, Beishui (ed.) et al., Logics for new-generation AI 2021. First international workshop, LNGAI 2021, June, 18–20 2021, Hangzhou, China. London: College Publications. 18-32 (2021). MSC: 68T27 68V15 PDF BibTeX XML Cite \textit{D. Fuenmayor} and \textit{A. Steen}, in: Logics for new-generation AI 2021. First international workshop, LNGAI 2021, June, 18--20 2021, Hangzhou, China. London: College Publications. 18--32 (2021; Zbl 1484.68228) OpenURL
Genco, Francesco A. Formal explanations as logical derivations. (English) Zbl 07483545 J. Appl. Non-Class. Log. 31, No. 3-4, 279-342 (2021). MSC: 03-XX PDF BibTeX XML Cite \textit{F. A. Genco}, J. Appl. Non-Class. Log. 31, No. 3--4, 279--342 (2021; Zbl 07483545) Full Text: DOI OpenURL
Santos, Paulo Guilherme; Kahle, Reinhard Variants of Kreisel’s conjecture on a new notion of provability. (English) Zbl 07482176 Bull. Symb. Log. 27, No. 4, 337-350 (2021). MSC: 03F30 03F03 PDF BibTeX XML Cite \textit{P. G. Santos} and \textit{R. Kahle}, Bull. Symb. Log. 27, No. 4, 337--350 (2021; Zbl 07482176) Full Text: DOI OpenURL
Valluri, Maheswara Rao; Narayan, Shailendra Vikash Public key authentication scheme over quaternions. (English) Zbl 1483.94062 J. Discrete Math. Sci. Cryptography 24, No. 1, 169-181 (2021). MSC: 94A62 94A60 11T71 11T99 20G20 PDF BibTeX XML Cite \textit{M. R. Valluri} and \textit{S. V. Narayan}, J. Discrete Math. Sci. Cryptography 24, No. 1, 169--181 (2021; Zbl 1483.94062) Full Text: DOI OpenURL
Arai, Toshiyasu (ed.); Kikuchi, Makoto (ed.); Kuroda, Satoru (ed.); Okada, Mitsuhiro (ed.); Yorioka, Teruyuki (ed.) Advances in mathematical logic. Dedicated to the memory of Professor Gaisi Takeuti, SAML 2018. Selected, revised contributions based on the presentations at the symposium, Kobe, Japan, September 18–20, 2018. (English) Zbl 1479.03003 Springer Proceedings in Mathematics & Statistics 369. Singapore: Springer (ISBN 978-981-16-4172-5/hbk; 978-981-16-4173-2/ebook). xi, 229 p. (2021). MSC: 03-06 03Bxx 03Exx 03Fxx 00B25 00B30 PDF BibTeX XML Cite \textit{T. Arai} (ed.) et al., Advances in mathematical logic. Dedicated to the memory of Professor Gaisi Takeuti, SAML 2018. Selected, revised contributions based on the presentations at the symposium, Kobe, Japan, September 18--20, 2018. Singapore: Springer (2021; Zbl 1479.03003) Full Text: DOI OpenURL
Hernest, Dan; Trifonov, Trifon Modal functional (“Dialectica”) interpretation. (English) Zbl 07471663 Log. Methods Comput. Sci. 17, No. 4, Paper No. 3, 29 p. (2021). MSC: 03B70 68-XX PDF BibTeX XML Cite \textit{D. Hernest} and \textit{T. Trifonov}, Log. Methods Comput. Sci. 17, No. 4, Paper No. 3, 29 p. (2021; Zbl 07471663) Full Text: arXiv Link OpenURL
Lyon, Tim On the correspondence between nested calculi and semantic systems for intuitionistic logics. (English) Zbl 07471467 J. Log. Comput. 31, No. 1, 213-265 (2021). MSC: 03-XX 68-XX PDF BibTeX XML Cite \textit{T. Lyon}, J. Log. Comput. 31, No. 1, 213--265 (2021; Zbl 07471467) Full Text: DOI arXiv OpenURL
Dalmonte, Tiziano; Lellmann, Björn; Olivetti, Nicola; Pimentel, Elaine Hypersequent calculi for non-normal modal and deontic logics: countermodels and optimal complexity. (English) Zbl 1484.03033 J. Log. Comput. 31, No. 1, 67-111 (2021). Reviewer: David Makinson (London) MSC: 03B45 PDF BibTeX XML Cite \textit{T. Dalmonte} et al., J. Log. Comput. 31, No. 1, 67--111 (2021; Zbl 1484.03033) Full Text: DOI arXiv OpenURL
Dinis, Bruno; Pinto, Pedro Quantitative results on the multi-parameters proximal point algorithm. (English) Zbl 07470545 J. Convex Anal. 28, No. 3, 729-750 (2021). MSC: 47H09 47N10 03F10 46S30 PDF BibTeX XML Cite \textit{B. Dinis} and \textit{P. Pinto}, J. Convex Anal. 28, No. 3, 729--750 (2021; Zbl 07470545) Full Text: arXiv Link OpenURL
Cordes, Moritz Calculizing classical Inferential erotetic logic. (English) Zbl 07469716 Rev. Symb. Log. 14, No. 4, 1066-1087 (2021). MSC: 03F99 PDF BibTeX XML Cite \textit{M. Cordes}, Rev. Symb. Log. 14, No. 4, 1066--1087 (2021; Zbl 07469716) Full Text: DOI OpenURL
Brauer, Ethan; Tennant, Neil Transmission of verification. (English) Zbl 1485.03229 Rev. Symb. Log. 14, No. 4, 866-881 (2021). Reviewer: Branislav Boričić (Beograd) MSC: 03F03 03F05 PDF BibTeX XML Cite \textit{E. Brauer} and \textit{N. Tennant}, Rev. Symb. Log. 14, No. 4, 866--881 (2021; Zbl 1485.03229) Full Text: DOI OpenURL
Fermüller, Christian G. Connecting sequent calculi with Lorenzen-style dialogue games. (English) Zbl 07465330 Heinzmann, Gerhard (ed.) et al., Paul Lorenzen – mathematician and logician. Contributions presented at the workshop, Konstanz, Germany, March 8–9, 2018. Cham: Springer. Log. Epistemol. Unity Sci. 51, 115-141 (2021). Reviewer: Volker Peckhaus (Paderborn) MSC: 03B47 03B20 01A60 03A05 03-03 03F52 91A05 PDF BibTeX XML Cite \textit{C. G. Fermüller}, Log. Epistemol. Unity Sci. 51, 115--141 (2021; Zbl 07465330) Full Text: DOI OpenURL
Coquand, Thierry Lorenzen and constructive mathematics. (English) Zbl 07465326 Heinzmann, Gerhard (ed.) et al., Paul Lorenzen – mathematician and logician. Contributions presented at the workshop, Konstanz, Germany, March 8–9, 2018. Cham: Springer. Log. Epistemol. Unity Sci. 51, 47-61 (2021). Reviewer: Volker Peckhaus (Paderborn) MSC: 03-03 03F50 03F60 01A60 01A70 03A05 03F03 03F45 06-03 28-03 PDF BibTeX XML Cite \textit{T. Coquand}, Log. Epistemol. Unity Sci. 51, 47--61 (2021; Zbl 07465326) Full Text: DOI OpenURL
Feuilloley, Laurent Introduction to local certification. (English) Zbl 1481.05148 Discrete Math. Theor. Comput. Sci. 23, No. 3, Paper No. 9, 23 p. (2021). MSC: 05C85 05C78 68M14 68R10 05C82 PDF BibTeX XML Cite \textit{L. Feuilloley}, Discrete Math. Theor. Comput. Sci. 23, No. 3, Paper No. 9, 23 p. (2021; Zbl 1481.05148) Full Text: DOI arXiv Link OpenURL
Zach, Richard Cut elimination and normalization for generalized single and multi-conclusion sequent and natural deduction calculi. (English) Zbl 1485.03233 Rev. Symb. Log. 14, No. 3, 645-686 (2021). Reviewer: Annika Kanckos (Helsinki) MSC: 03F05 03F07 03F03 PDF BibTeX XML Cite \textit{R. Zach}, Rev. Symb. Log. 14, No. 3, 645--686 (2021; Zbl 1485.03233) Full Text: DOI arXiv OpenURL
Klonowski, Mateusz Axiomatization of some basic and modal Boolean connexive logics. (English) Zbl 07462130 Log. Univers. 15, No. 4, 517-536 (2021). MSC: 03-02 03B45 03B60 03C30 03C50 03C90 03F99 PDF BibTeX XML Cite \textit{M. Klonowski}, Log. Univers. 15, No. 4, 517--536 (2021; Zbl 07462130) Full Text: DOI OpenURL
Copello, Ernesto; Szasz, Nora; Tasistro, Álvaro Formalization of metatheory of the lambda calculus in constructive type theory using the barendregt variable convention. (English) Zbl 07460121 Math. Struct. Comput. Sci. 31, No. 3, 341-360 (2021). MSC: 68-XX PDF BibTeX XML Cite \textit{E. Copello} et al., Math. Struct. Comput. Sci. 31, No. 3, 341--360 (2021; Zbl 07460121) Full Text: DOI OpenURL
Nyberg Brodda, Carl-Fredrik Book review of: M. Hils and F. Loeser, A first journey through logic. (English) Zbl 1480.00031 Lond. Math. Soc., Newsl. 2021, No. 496, 50-51 (2021). MSC: 00A17 03-01 03B10 03Exx 03Fxx PDF BibTeX XML Cite \textit{C.-F. Nyberg Brodda}, Lond. Math. Soc., Newsl. 2021, No. 496, 50--51 (2021; Zbl 1480.00031) Full Text: Link OpenURL
Uustalu, Tarmo; Veltri, Niccolò; Zeilberger, Noam Proof theory of partially normal skew monoidal categories. (English) Zbl 1477.18041 Spivak, David I. (ed.) et al., Proceedings of the 3rd annual international applied category theory conference 2020, ACT 2020, Cambridge, USA, July 6–10, 2020. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 333, 230-246 (2021). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18M45 03F03 03G30 PDF BibTeX XML Cite \textit{T. Uustalu} et al., Electron. Proc. Theor. Comput. Sci. (EPTCS) 333, 230--246 (2021; Zbl 1477.18041) Full Text: arXiv Link OpenURL
Brogi, Cosimo Perini Curry-Howard-Lambek correspondence for intuitionistic belief. (English) Zbl 07450678 Stud. Log. 109, No. 6, 1441-1461 (2021). MSC: 03-XX PDF BibTeX XML Cite \textit{C. P. Brogi}, Stud. Log. 109, No. 6, 1441--1461 (2021; Zbl 07450678) Full Text: DOI arXiv OpenURL
Gazzari, René The calculus of natural calculation. (English) Zbl 07450675 Stud. Log. 109, No. 6, 1375-1411 (2021). MSC: 03-XX PDF BibTeX XML Cite \textit{R. Gazzari}, Stud. Log. 109, No. 6, 1375--1411 (2021; Zbl 07450675) Full Text: DOI OpenURL
Aranha, Diego F.; Baum, Carsten; Gjøsteen, Kristian; Silde, Tjerand; Tunge, Thor Lattice-based proof of shuffle and applications to electronic voting. (English) Zbl 1479.94115 Paterson, Kenneth G. (ed.), Topics in cryptology – CT-RSA 2021. Cryptographers’ track at the RSA conference 2021, virtual event, May 17–20, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12704, 227-251 (2021). MSC: 94A60 91B12 PDF BibTeX XML Cite \textit{D. F. Aranha} et al., Lect. Notes Comput. Sci. 12704, 227--251 (2021; Zbl 1479.94115) Full Text: DOI OpenURL