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
Moconja, Slavko; Tanović, Predrag Does weak quasi-o-minimality behave better than weak o-minimality? (English) Zbl 07495455 Arch. Math. Logic 61, No. 1-2, 81-103 (2022). MSC: 03C64 06A05 03C10 PDF BibTeX XML Cite \textit{S. Moconja} and \textit{P. Tanović}, Arch. Math. Logic 61, No. 1--2, 81--103 (2022; Zbl 07495455) Full Text: DOI OpenURL
Pastuszak, Grzegorz; Skowyrski, Adam; Jamiołkowski, Andrzej On maps which preserve semipositivity and quantifier elimination theory for real numbers. (English) Zbl 07493078 Commun. Contemp. Math. 24, No. 2, Article ID 2050092, 26 p. (2022). MSC: 15B57 15A04 81S22 03C10 PDF BibTeX XML Cite \textit{G. Pastuszak} et al., Commun. Contemp. Math. 24, No. 2, Article ID 2050092, 26 p. (2022; Zbl 07493078) Full Text: DOI arXiv OpenURL
Su, Juan; Lu, Min; Huang, Jicai Bifurcations in a dynamical model of the innate immune system response to initial pulmonary infection. (English) Zbl 07489706 Qual. Theory Dyn. Syst. 21, No. 2, Paper No. 41, 27 p. (2022). MSC: 34C60 92C50 34C05 34C23 34C37 34D20 PDF BibTeX XML Cite \textit{J. Su} et al., Qual. Theory Dyn. Syst. 21, No. 2, Paper No. 41, 27 p. (2022; Zbl 07489706) Full Text: DOI OpenURL
Mai, Tina; Mortari, Daniele Theory of functional connections applied to quadratic and nonlinear programming under equality constraints. (English) Zbl 07472418 J. Comput. Appl. Math. 406, Article ID 113912, 22 p. (2022). MSC: 65N99 PDF BibTeX XML Cite \textit{T. Mai} and \textit{D. Mortari}, J. Comput. Appl. Math. 406, Article ID 113912, 22 p. (2022; Zbl 07472418) Full Text: DOI arXiv OpenURL
Derakhshan, Jamshid; Macintyre, Angus Model theory of adeles I. (English) Zbl 07458668 Ann. Pure Appl. Logic 173, No. 3, Article ID 103074, 43 p. (2022). MSC: 03C10 03C60 11R56 11U09 11R42 11U05 PDF BibTeX XML Cite \textit{J. Derakhshan} and \textit{A. Macintyre}, Ann. Pure Appl. Logic 173, No. 3, Article ID 103074, 43 p. (2022; Zbl 07458668) Full Text: DOI arXiv OpenURL
Beisegel, Jesse; Chudnovsky, Maria; Gurvich, Vladimir; Milanič, Martin; Servatius, Mary Avoidable vertices and edges in graphs: existence, characterization, and applications. (English) Zbl 1480.05039 Discrete Appl. Math. 309, 285-300 (2022). MSC: 05C12 05C38 68R10 68P05 PDF BibTeX XML Cite \textit{J. Beisegel} et al., Discrete Appl. Math. 309, 285--300 (2022; Zbl 1480.05039) Full Text: DOI OpenURL
Meir, Nadav Infinite lexicographic products. (English) Zbl 07417475 Ann. Pure Appl. Logic 173, No. 1, Article ID 102991, 23 p. (2022). Reviewer: Assaf Hasson (Be’er Sheva) MSC: 03C10 03C30 03C50 03C75 05C55 PDF BibTeX XML Cite \textit{N. Meir}, Ann. Pure Appl. Logic 173, No. 1, Article ID 102991, 23 p. (2022; Zbl 07417475) Full Text: DOI arXiv OpenURL
Ahmad, Israr; Amin, Rohul; Abdeljawad, Thabet; Shah, Kamal A numerical method for fractional pantograph delay integro-differential equations on Haar wavelet. (English) Zbl 07486466 Int. J. Appl. Comput. Math. 7, No. 2, Paper No. 28, 13 p. (2021). MSC: 65L03 65L60 65T60 34K37 PDF BibTeX XML Cite \textit{I. Ahmad} et al., Int. J. Appl. Comput. Math. 7, No. 2, Paper No. 28, 13 p. (2021; Zbl 07486466) Full Text: DOI OpenURL
Starchak, M. R. A proof of Bel’tyukov-Lipshitz theorem by quasi-quantifier elimination. II: The main reduction. (English. Russian original) Zbl 07485534 Vestn. St. Petersbg. Univ., Math. 54, No. 4, 372-380 (2021); translation from Vestn. St-Peterbg. Univ., Ser. I, Mat. Mekh. Astron. 8(66), No. 4, 608-619 (2021). MSC: 03Bxx 03Dxx 68Qxx PDF BibTeX XML Cite \textit{M. R. Starchak}, Vestn. St. Petersbg. Univ., Math. 54, No. 4, 372--380 (2021; Zbl 07485534); translation from Vestn. St-Peterbg. Univ., Ser. I, Mat. Mekh. Astron. 8(66), No. 4, 608--619 (2021) Full Text: DOI OpenURL
Middeke, Johannes; Jeffrey, David J.; Koutschan, Christoph Common factors in fraction-free matrix decompositions. (English) Zbl 07465792 Math. Comput. Sci. 15, No. 4, 589-608 (2021). MSC: 15A23 11C20 68W30 PDF BibTeX XML Cite \textit{J. Middeke} et al., Math. Comput. Sci. 15, No. 4, 589--608 (2021; Zbl 07465792) Full Text: DOI arXiv OpenURL
Zach, Richard Cut elimination and normalization for generalized single and multi-conclusion sequent and natural deduction calculi. (English) Zbl 07464265 Rev. Symb. Log. 14, No. 3, 645-686 (2021). Reviewer: Annika Kanckos (Helsinki) MSC: 03F03 03F05 03F07 PDF BibTeX XML Cite \textit{R. Zach}, Rev. Symb. Log. 14, No. 3, 645--686 (2021; Zbl 07464265) Full Text: DOI arXiv OpenURL
Poveshchenko, Yu. A.; Popov, S. B.; Golovchenko, E. N. Development of a method for calculating flows in a multi-circuit pipeline networks. (Russian. English summary) Zbl 07461143 Mat. Model. 33, No. 12, 103-122 (2021). MSC: 76M20 76N15 65Y05 PDF BibTeX XML Cite \textit{Yu. A. Poveshchenko} et al., Mat. Model. 33, No. 12, 103--122 (2021; Zbl 07461143) Full Text: DOI MNR OpenURL
Bhardwaj, Neer; Tran, Chieu-Minh The additive groups of \(\mathbb{Z}\) and \(\mathbb{Q}\) with predicates for being square-free. (English) Zbl 07457781 J. Symb. Log. 86, No. 4, 1324-1349 (2021). MSC: 03C65 03B25 03C10 03C64 PDF BibTeX XML Cite \textit{N. Bhardwaj} and \textit{C.-M. Tran}, J. Symb. Log. 86, No. 4, 1324--1349 (2021; Zbl 07457781) Full Text: DOI arXiv OpenURL
Beddock, Arthur; Jouini, Elyès Live fast, die young: equilibrium and survival in large economies. (English) Zbl 07447286 Econ. Theory 71, No. 3, 961-996 (2021). MSC: 91G15 91B50 PDF BibTeX XML Cite \textit{A. Beddock} and \textit{E. Jouini}, Econ. Theory 71, No. 3, 961--996 (2021; Zbl 07447286) Full Text: DOI OpenURL
Ansel, Quentin A model of spinfoam coupled with an environment. (English) Zbl 1482.83041 Gen. Relativ. Gravitation 53, No. 4, Paper No. 39, 24 p. (2021). MSC: 83C45 83C60 81S22 81T20 80A10 83C65 81R60 PDF BibTeX XML Cite \textit{Q. Ansel}, Gen. Relativ. Gravitation 53, No. 4, Paper No. 39, 24 p. (2021; Zbl 1482.83041) Full Text: DOI arXiv OpenURL
Rahmani, Mehran; Rahman, Mohammad Habibur New hybrid control of autonomous underwater vehicles. (English) Zbl 1478.93099 Int. J. Control 94, No. 11, 3038-3045 (2021). MSC: 93B12 93C85 93B35 93D05 PDF BibTeX XML Cite \textit{M. Rahmani} and \textit{M. H. Rahman}, Int. J. Control 94, No. 11, 3038--3045 (2021; Zbl 1478.93099) Full Text: DOI OpenURL
Sato, Masayuki; Peaucelle, Dimitri Causal gain-scheduled output feedback controllers using parameter-dependent Lyapunov functions. (English) Zbl 1478.93211 Automatica 129, Article ID 109569, 9 p. (2021). MSC: 93B52 93D30 93C05 PDF BibTeX XML Cite \textit{M. Sato} and \textit{D. Peaucelle}, Automatica 129, Article ID 109569, 9 p. (2021; Zbl 1478.93211) Full Text: DOI OpenURL
Limei, Guo; Yingbin, Zhu; Duan, Huang A fingerprint minutiae extraction method in quantum thinned binary image. (English) Zbl 07420886 Int. J. Theor. Phys. 60, No. 5, 1883-1894 (2021). MSC: 68Qxx 81Pxx 68Uxx PDF BibTeX XML Cite \textit{G. Limei} et al., Int. J. Theor. Phys. 60, No. 5, 1883--1894 (2021; Zbl 07420886) Full Text: DOI OpenURL
d’Elbée, Christian Generic expansions by a reduct. (English) Zbl 07419666 J. Math. Log. 21, No. 3, Article ID 2150016, 44 p. (2021). MSC: 03C65 03C10 03C45 PDF BibTeX XML Cite \textit{C. d'Elbée}, J. Math. Log. 21, No. 3, Article ID 2150016, 44 p. (2021; Zbl 07419666) Full Text: DOI arXiv OpenURL
Starchak, M. R. A proof of Bel’tyukov-Lipshitz theorem by quasi-quantifier elimination. I: Definitions and GCD-lemma. (English. Russian original) Zbl 07419077 Vestn. St. Petersbg. Univ., Math. 54, No. 3, 264-272 (2021); translation from Vestn. St-Peterbg. Univ., Ser. I, Mat. Mekh. Astron. 8(66), No. 3, 455-466 (2021). MSC: 03Bxx 03Dxx 11Uxx PDF BibTeX XML Cite \textit{M. R. Starchak}, Vestn. St. Petersbg. Univ., Math. 54, No. 3, 264--272 (2021; Zbl 07419077); translation from Vestn. St-Peterbg. Univ., Ser. I, Mat. Mekh. Astron. 8(66), No. 3, 455--466 (2021) Full Text: DOI OpenURL
Dittmann, Philip; Leijnse, Dion A class of fields with a restricted model completeness property. (English) Zbl 07415221 J. Symb. Log. 86, No. 2, 701-708 (2021). MSC: 12L12 03C10 12E05 PDF BibTeX XML Cite \textit{P. Dittmann} and \textit{D. Leijnse}, J. Symb. Log. 86, No. 2, 701--708 (2021; Zbl 07415221) Full Text: DOI arXiv OpenURL
D’Elbée, Christian Forking, imaginaries, and other features of ACFG. (English) Zbl 07415220 J. Symb. Log. 86, No. 2, 669-700 (2021). MSC: 03C10 03C30 03C45 03C65 PDF BibTeX XML Cite \textit{C. D'Elbée}, J. Symb. Log. 86, No. 2, 669--700 (2021; Zbl 07415220) Full Text: DOI arXiv OpenURL
Ciabattoni, Agata; Lang, Timo; Ramanayake, Revantha Bounded-analytic sequent calculi and embeddings for hypersequent logics. (English) Zbl 07415219 J. Symb. Log. 86, No. 2, 635-668 (2021). MSC: 03F03 03F07 03F52 PDF BibTeX XML Cite \textit{A. Ciabattoni} et al., J. Symb. Log. 86, No. 2, 635--668 (2021; Zbl 07415219) Full Text: DOI OpenURL
Meir, Nadav Pseudo-finite sets, pseudo-o-minimality. (English) Zbl 07415216 J. Symb. Log. 86, No. 2, 577-599 (2021). Reviewer: Beibut Kulpeshov (Almaty) MSC: 03C64 03C10 03C15 03C35 PDF BibTeX XML Cite \textit{N. Meir}, J. Symb. Log. 86, No. 2, 577--599 (2021; Zbl 07415216) Full Text: DOI arXiv OpenURL
Mundici, Daniele Bratteli diagrams via the De Concini-Procesi theorem. (English) Zbl 07414671 Commun. Contemp. Math. 23, No. 7, Article ID 2050073, 58 p. (2021). MSC: 46L35 06D35 06F20 08A50 11Y16 19A49 20F10 20M05 46L80 47L40 68Q25 PDF BibTeX XML Cite \textit{D. Mundici}, Commun. Contemp. Math. 23, No. 7, Article ID 2050073, 58 p. (2021; Zbl 07414671) Full Text: DOI OpenURL
Haase, Christoph; Różycki, Jakub On the expressiveness of Büchi arithmetic. (English) Zbl 07410431 Kiefer, Stefan (ed.) et al., Foundations of software science and computation structures. 24th international conference, FOSSACS 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12650, 310-323 (2021). MSC: 68Nxx 68Qxx PDF BibTeX XML Cite \textit{C. Haase} and \textit{J. Różycki}, Lect. Notes Comput. Sci. 12650, 310--323 (2021; Zbl 07410431) Full Text: DOI arXiv OpenURL
Fornasiero, Antongiulio; Kaplan, Elliot Generic derivations on o-minimal structures. (English) Zbl 07410401 J. Math. Log. 21, No. 2, Article ID 2150007, 45 p. (2021). MSC: 03C64 03C10 12H05 PDF BibTeX XML Cite \textit{A. Fornasiero} and \textit{E. Kaplan}, J. Math. Log. 21, No. 2, Article ID 2150007, 45 p. (2021; Zbl 07410401) Full Text: DOI arXiv OpenURL
Mallahi-Karai, Keivan; Diederich, Adele Decision with multiple alternatives: geometric models in higher dimensions – the disk model. (English) Zbl 1471.91111 J. Math. Psychol. 100, Article ID 102493, 10 p. (2021). MSC: 91B06 PDF BibTeX XML Cite \textit{K. Mallahi-Karai} and \textit{A. Diederich}, J. Math. Psychol. 100, Article ID 102493, 10 p. (2021; Zbl 1471.91111) Full Text: DOI OpenURL
Guerrini, Stefano; Masini, Andrea Proof nets for classical logic. (English) Zbl 07391978 Notre Dame J. Formal Logic 62, No. 2, 303-343 (2021). MSC: 03F03 03F05 03F07 PDF BibTeX XML Cite \textit{S. Guerrini} and \textit{A. Masini}, Notre Dame J. Formal Logic 62, No. 2, 303--343 (2021; Zbl 07391978) Full Text: DOI OpenURL
Panda, B. S.; Chaudhary, Juhi Dominating induced matching in some subclasses of bipartite graphs. (English) Zbl 07391551 Theor. Comput. Sci. 885, 104-115 (2021). MSC: 68Qxx PDF BibTeX XML Cite \textit{B. S. Panda} and \textit{J. Chaudhary}, Theor. Comput. Sci. 885, 104--115 (2021; Zbl 07391551) Full Text: DOI OpenURL
Sawa, Ryoji A stochastic stability analysis with observation errors in normal form games. (English) Zbl 1470.91034 Games Econ. Behav. 129, 570-589 (2021). MSC: 91A15 91A05 93E15 PDF BibTeX XML Cite \textit{R. Sawa}, Games Econ. Behav. 129, 570--589 (2021; Zbl 1470.91034) Full Text: DOI OpenURL
Kaminski, Michael; Francez, Nissim Calculi for many-valued logics. (English) Zbl 07380929 Log. Univers. 15, No. 2, 193-226 (2021). MSC: 03B50 03F03 03F05 PDF BibTeX XML Cite \textit{M. Kaminski} and \textit{N. Francez}, Log. Univers. 15, No. 2, 193--226 (2021; Zbl 07380929) Full Text: DOI OpenURL
Dudakov, Sergey; Karlov, Boris On decidability of theories of regular languages. (English) Zbl 07377738 Theory Comput. Syst. 65, No. 3, 462-478 (2021). MSC: 68Rxx 68Qxx 11-XX 11Bxx PDF BibTeX XML Cite \textit{S. Dudakov} and \textit{B. Karlov}, Theory Comput. Syst. 65, No. 3, 462--478 (2021; Zbl 07377738) Full Text: DOI OpenURL
Marrakchi, Sirine; Jemni, Mohamed Parallel Gaussian elimination of symmetric positive definite band matrices for shared-memory multicore architectures. (English) Zbl 07375282 RAIRO, Oper. Res. 55, Suppl., S905-S927 (2021). MSC: 65F05 65F50 65Y05 68W10 90B35 05C50 PDF BibTeX XML Cite \textit{S. Marrakchi} and \textit{M. Jemni}, RAIRO, Oper. Res. 55, S905--S927 (2021; Zbl 07375282) Full Text: DOI OpenURL
Kepley, Shane; Mischaikow, Konstantin; Zhang, Lun Computing linear extensions for polynomial posets subject to algebraic constraints. (English) Zbl 07374246 SIAM J. Appl. Algebra Geom. 5, No. 2, 388-416 (2021). MSC: 14Q30 37N25 03C10 06A07 06B99 PDF BibTeX XML Cite \textit{S. Kepley} et al., SIAM J. Appl. Algebra Geom. 5, No. 2, 388--416 (2021; Zbl 07374246) Full Text: DOI arXiv OpenURL
Chubb, Jennifer; Miller, Russell; Solomon, Reed Model completeness and relative decidability. (English) Zbl 07373426 Arch. Math. Logic 60, No. 6, 721-735 (2021). MSC: 03C57 03D45 03C10 PDF BibTeX XML Cite \textit{J. Chubb} et al., Arch. Math. Logic 60, No. 6, 721--735 (2021; Zbl 07373426) Full Text: DOI arXiv OpenURL
Mottet, Antoine; Pinsker, Michael Cores over Ramsey structures. (English) Zbl 07370823 J. Symb. Log. 86, No. 1, 352-361 (2021). MSC: 03C10 05C55 PDF BibTeX XML Cite \textit{A. Mottet} and \textit{M. Pinsker}, J. Symb. Log. 86, No. 1, 352--361 (2021; Zbl 07370823) Full Text: DOI arXiv OpenURL
Mohammadi, Zahra; Reid, Gregory J.; Huang, S.-L. Tracy Symmetry-based algorithms for invertible mappings of polynomially nonlinear PDE to linear PDE. (English) Zbl 07363379 Math. Comput. Sci. 15, No. 2, 293-316 (2021). Reviewer: Alexander B. Levin (Washington) MSC: 12H05 68W30 35A30 PDF BibTeX XML Cite \textit{Z. Mohammadi} et al., Math. Comput. Sci. 15, No. 2, 293--316 (2021; Zbl 07363379) Full Text: DOI OpenURL
Boulier, François; Lemaire, François; Moreno Maza, Marc; Poteaux, Adrien A short contribution to the theory of regular chains. (English) Zbl 07363373 Math. Comput. Sci. 15, No. 2, 177-188 (2021). MSC: 13N05 13-04 13P15 13A15 PDF BibTeX XML Cite \textit{F. Boulier} et al., Math. Comput. Sci. 15, No. 2, 177--188 (2021; Zbl 07363373) Full Text: DOI HAL OpenURL
Yeshkeyev, Aibat Rafhatovich; Kassymetova, Maira Technikovna; Ulbrikht, Olga Ivanovna Independence and simplicity in Jonsson theories with abstract geometry. (English) Zbl 07360159 Sib. Èlektron. Mat. Izv. 18, 433-455 (2021). MSC: 03C60 03C68 03C10 PDF BibTeX XML Cite \textit{A. R. Yeshkeyev} et al., Sib. Èlektron. Mat. Izv. 18, 433--455 (2021; Zbl 07360159) Full Text: DOI OpenURL
Amato, Daniela A.; Cherlin, Gregory; Macpherson, H. Dugald Metrically homogeneous graphs of diameter \(3\). (English) Zbl 07355290 J. Math. Log. 21, No. 1, Article ID 2050020, 106 p. (2021). MSC: 03C10 03C13 03C15 05B99 20B22 20B27 PDF BibTeX XML Cite \textit{D. A. Amato} et al., J. Math. Log. 21, No. 1, Article ID 2050020, 106 p. (2021; Zbl 07355290) Full Text: DOI OpenURL
Agarwal, Pankaj K.; Aronov, Boris; Ezra, Esther; Zahl, Joshua Efficient algorithm for generalized polynomial partitioning and its applications. (English) Zbl 07351514 SIAM J. Comput. 50, No. 2, 760-787 (2021). MSC: 68Q01 68W01 14Q20 PDF BibTeX XML Cite \textit{P. K. Agarwal} et al., SIAM J. Comput. 50, No. 2, 760--787 (2021; Zbl 07351514) Full Text: DOI arXiv OpenURL
Matusinski, Mickaël; Müller, Simon Quantifier elimination for quasi-real closed fields. (English. French summary) Zbl 1473.03017 C. R., Math., Acad. Sci. Paris 359, No. 3, 291-295 (2021). Reviewer: Beibut Kulpeshov (Almaty) MSC: 03C10 03C64 03C60 12J10 12J15 12L12 PDF BibTeX XML Cite \textit{M. Matusinski} and \textit{S. Müller}, C. R., Math., Acad. Sci. Paris 359, No. 3, 291--295 (2021; Zbl 1473.03017) Full Text: DOI arXiv OpenURL
Eleftheriou, Pantelis E. Small sets in Mann pairs. (English) Zbl 07334535 Arch. Math. Logic 60, No. 3-4, 317-327 (2021). MSC: 03C64 06F20 PDF BibTeX XML Cite \textit{P. E. Eleftheriou}, Arch. Math. Logic 60, No. 3--4, 317--327 (2021; Zbl 07334535) Full Text: DOI arXiv OpenURL
Buccella, Concettina; Cimoroni, Maria Gabriella; Cecati, Carlo Mathematical proof of a harmonic elimination procedure for multilevel inverters. (English) Zbl 07318319 Math. Comput. Simul. 184, 69-81 (2021). MSC: 78-XX 92-XX PDF BibTeX XML Cite \textit{C. Buccella} et al., Math. Comput. Simul. 184, 69--81 (2021; Zbl 07318319) Full Text: DOI OpenURL
Tsakas, Nikolas; Xefteris, Dimitrios Information aggregation with runoff voting. (English) Zbl 1460.91083 J. Econ. Theory 191, Article ID 105130, 41 p. (2021). Reviewer: Annibal Parracho Sant’Anna (Rio de Janeiro) MSC: 91B12 PDF BibTeX XML Cite \textit{N. Tsakas} and \textit{D. Xefteris}, J. Econ. Theory 191, Article ID 105130, 41 p. (2021; Zbl 1460.91083) Full Text: DOI Link OpenURL
Montenegro, Samaria; Rideau-Kikuchi, Silvain Imaginaries, invariant types and pseudo \(p\)-adically closed fields. (English) Zbl 1460.03010 Trans. Am. Math. Soc. 374, No. 2, 803-828 (2021). Reviewer: Luc Bélair (Montréal) MSC: 03C60 03C45 12J12 12L12 PDF BibTeX XML Cite \textit{S. Montenegro} and \textit{S. Rideau-Kikuchi}, Trans. Am. Math. Soc. 374, No. 2, 803--828 (2021; Zbl 1460.03010) Full Text: DOI arXiv OpenURL
Bodirsky, Manuel; Mottet, Antoine; Olšák, Miroslav; Opršal, Jakub; Pinsker, Michael; Willard, Ross \( \omega \)-categorical structures avoiding height 1 identities. (English) Zbl 1472.08006 Trans. Am. Math. Soc. 374, No. 1, 327-350 (2021). Reviewer: Keith Kearnes (Boulder) MSC: 08B05 03C05 08A70 03C10 03D15 PDF BibTeX XML Cite \textit{M. Bodirsky} et al., Trans. Am. Math. Soc. 374, No. 1, 327--350 (2021; Zbl 1472.08006) Full Text: DOI arXiv OpenURL
Takeuchi, Kota; Tsuboi, Akito On the number of independent orders. (English) Zbl 07285673 Ann. Pure Appl. Logic 172, No. 2, Article ID 102886, 9 p. (2021). MSC: 03C07 03C10 03C45 03C68 PDF BibTeX XML Cite \textit{K. Takeuchi} and \textit{A. Tsuboi}, Ann. Pure Appl. Logic 172, No. 2, Article ID 102886, 9 p. (2021; Zbl 07285673) Full Text: DOI arXiv OpenURL
Zhang, Jun Dynamics of an oncolytic virus model. (English) Zbl 1453.92149 Nonlinear Anal., Real World Appl. 57, Article ID 103203, 20 p. (2021). MSC: 92C50 34C23 PDF BibTeX XML Cite \textit{J. Zhang}, Nonlinear Anal., Real World Appl. 57, Article ID 103203, 20 p. (2021; Zbl 1453.92149) Full Text: DOI OpenURL
Tran, Nam Van; Justino, Júlia; van den Berg, Imme On the explicit formula for Gauss-Jordan elimination. (English) Zbl 07522984 JP J. Algebra Number Theory Appl. 48, No. 2, 155-166 (2020). MSC: 15A09 PDF BibTeX XML Cite \textit{N. Van Tran} et al., JP J. Algebra Number Theory Appl. 48, No. 2, 155--166 (2020; Zbl 07522984) Full Text: DOI OpenURL
Su, Juan Degenerate Hopf bifurcation in a Leslie-Gower predator-prey model with predator harvest. (English) Zbl 1482.92081 Adv. Difference Equ. 2020, Paper No. 194, 19 p. (2020). MSC: 92D25 34C23 34C60 34C25 PDF BibTeX XML Cite \textit{J. Su}, Adv. Difference Equ. 2020, Paper No. 194, 19 p. (2020; Zbl 1482.92081) Full Text: DOI OpenURL
Başkent, Can A game theoretical semantics for logics of nonsense. (English) Zbl 07455741 Raskin, Jean-Francois (ed.) et al., Proceedings of the 11th international symposium on games, automata, logics, and formal verification, GandALF 2020, Brussels, Belgium, September 21–22, 2020. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 326, 66-81 (2020). MSC: 68Q45 68Q60 91A80 PDF BibTeX XML Cite \textit{C. Başkent}, Electron. Proc. Theor. Comput. Sci. (EPTCS) 326, 66--81 (2020; Zbl 07455741) Full Text: arXiv Link OpenURL
Indrzejczak, Andrzej Free definite description theory – sequent calculi and cut elimination. (English) Zbl 1478.03077 Log. Log. Philos. 29, No. 4, 505-539 (2020). MSC: 03F03 03F05 PDF BibTeX XML Cite \textit{A. Indrzejczak}, Log. Log. Philos. 29, No. 4, 505--539 (2020; Zbl 1478.03077) Full Text: DOI OpenURL
Niki, Satoru Empirical negation, co-negation and the contraposition rule. II: Proof-theoretical investigations. (English) Zbl 1477.03027 Bull. Sect. Log., Univ. Łódź, Dep. Log. 49, No. 4, 359-375 (2020). MSC: 03B20 03F05 03F03 PDF BibTeX XML Cite \textit{S. Niki}, Bull. Sect. Log., Univ. Łódź, Dep. Log. 49, No. 4, 359--375 (2020; Zbl 1477.03027) Full Text: DOI OpenURL
Fjellstad, Andreas Structural proof theory for first-order weak Kleene logics. (English) Zbl 07363455 J. Appl. Non-Class. Log. 30, No. 3, 272-289 (2020). MSC: 03B50 03F05 PDF BibTeX XML Cite \textit{A. Fjellstad}, J. Appl. Non-Class. Log. 30, No. 3, 272--289 (2020; Zbl 07363455) Full Text: DOI OpenURL
Nowak, Krzysztof Jan A closedness theorem over Henselian fields with analytic structure and its applications. (English) Zbl 1460.32047 Gładki, Paweł (ed.) et al., Algebra, logic and number theory. Proceedings of the 5th joint conferences, Będlewo, Poland, June 24–29, 2018. Warsaw: Polish Academy of Sciences, Institute of Mathematics. Banach Cent. Publ. 121, 141-149 (2020). MSC: 32P05 32B05 14G22 03C98 32S45 14E15 PDF BibTeX XML Cite \textit{K. J. Nowak}, Banach Cent. Publ. 121, 141--149 (2020; Zbl 1460.32047) Full Text: DOI OpenURL
Weiss, Yale Cut and gamma I: propositional and constant domain R. (English) Zbl 07347066 Rev. Symb. Log. 13, No. 4, 887-909 (2020). MSC: 03F03 03F05 03B47 PDF BibTeX XML Cite \textit{Y. Weiss}, Rev. Symb. Log. 13, No. 4, 887--909 (2020; Zbl 07347066) Full Text: DOI OpenURL
Fjellstad, Andreas A note on the cut-elimination proof in “Truth without contra(di)ction”. (English) Zbl 1473.03035 Rev. Symb. Log. 13, No. 4, 882-886 (2020). Reviewer: Annika Kanckos (Helsinki) MSC: 03F05 03A05 PDF BibTeX XML Cite \textit{A. Fjellstad}, Rev. Symb. Log. 13, No. 4, 882--886 (2020; Zbl 1473.03035) Full Text: DOI OpenURL
Johnson, Will On the proof of elimination of imaginaries in algebraically closed valued fields. (English) Zbl 07319330 Notre Dame J. Formal Logic 61, No. 3, 363-381 (2020). MSC: 03C60 12J10 12L12 03C10 PDF BibTeX XML Cite \textit{W. Johnson}, Notre Dame J. Formal Logic 61, No. 3, 363--381 (2020; Zbl 07319330) Full Text: DOI arXiv Euclid OpenURL
Olarte, Carlos; Pimentel, Elaine; Xavier, Bruno A fresh view of linear logic as a logical framework. (English) Zbl 07313969 Nalon, Cláudia (ed.) et al., Proceedings of the 15th international workshop on logical and semantic frameworks, with applications, LSFA 2020, virtual workshop, August 27–28, 2020. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 351, 143-165 (2020). MSC: 03B70 68Q55 68T27 PDF BibTeX XML Cite \textit{C. Olarte} et al., Electron. Notes Theor. Comput. Sci. 351, 143--165 (2020; Zbl 07313969) Full Text: DOI OpenURL
Gorman, Alexi Block; Hieronymi, Philipp; Kaplan, Elliot Pairs of theories satisfying a Mordell-Lang condition. (English) Zbl 1461.03028 Fundam. Math. 251, No. 2, 131-160 (2020). Reviewer: Beibut Kulpeshov (Almaty) MSC: 03C64 03C10 03B25 06F20 PDF BibTeX XML Cite \textit{A. B. Gorman} et al., Fundam. Math. 251, No. 2, 131--160 (2020; Zbl 1461.03028) Full Text: DOI arXiv OpenURL
Cox, David A. Reflections on elimination theory. (English) Zbl 07300043 Mantzaflaris, Angelos (ed.), Proceedings of the 45th international symposium on symbolic and algebraic computation, ISSAC ’20, Kalamata, Greece, July 20–23, 2020. New York, NY: Association for Computing Machinery (ACM). 1-4 (2020). MSC: 13-03 01Axx 13Pxx 68W30 PDF BibTeX XML Cite \textit{D. A. Cox}, in: Proceedings of the 45th international symposium on symbolic and algebraic computation, ISSAC '20, Kalamata, Greece, July 20--23, 2020. New York, NY: Association for Computing Machinery (ACM). 1--4 (2020; Zbl 07300043) Full Text: DOI OpenURL
Carlisle, Sylvia; Henson, C. Ward Model theory of \(\mathbb{R}\)-trees. (English) Zbl 07299937 J. Log. Anal. 12, Article 3, 51 p. (2020). MSC: 03C65 03C60 03C10 05C05 20F67 54E35 54F50 PDF BibTeX XML Cite \textit{S. Carlisle} and \textit{C. W. Henson}, J. Log. Anal. 12, Article 3, 51 p. (2020; Zbl 07299937) Full Text: DOI arXiv OpenURL
Emmenegger, Jacopo; Pasquali, Fabio; Rosolini, Giuseppe Elementary doctrines as coalgebras. (English) Zbl 1469.18008 J. Pure Appl. Algebra 224, No. 12, Article ID 106445, 15 p. (2020). Reviewer: Nima Rasekh (Lausanne) MSC: 18C50 03G30 18C20 03B10 03B20 03C45 PDF BibTeX XML Cite \textit{J. Emmenegger} et al., J. Pure Appl. Algebra 224, No. 12, Article ID 106445, 15 p. (2020; Zbl 1469.18008) Full Text: DOI OpenURL
Acclavio, Matteo; Horne, Ross; Straßburger, Lutz Logic beyond formulas: a proof system on graphs. (English) Zbl 07299457 Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM). 38-52 (2020). MSC: 03B70 PDF BibTeX XML Cite \textit{M. Acclavio} et al., in: Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8--11, 2020. New York, NY: Association for Computing Machinery (ACM). 38--52 (2020; Zbl 07299457) Full Text: DOI OpenURL
Schmitz, Leonard; Levandovskyy, Viktor Formally verifying proofs for algebraic identities of matrices. (English) Zbl 1455.68253 Benzmüller, Christoph (ed.) et al., Intelligent computer mathematics. 13th international conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12236, 222-236 (2020). MSC: 68V15 15A24 68W30 PDF BibTeX XML Cite \textit{L. Schmitz} and \textit{V. Levandovskyy}, Lect. Notes Comput. Sci. 12236, 222--236 (2020; Zbl 1455.68253) Full Text: DOI OpenURL
Hrubeš, Pavel On the complexity of computing a random Boolean function over the reals. (English) Zbl 1462.68071 Theory Comput. 16, Paper No. 9, 12 p. (2020). MSC: 68Q17 03C10 06E30 68Q87 PDF BibTeX XML Cite \textit{P. Hrubeš}, Theory Comput. 16, Paper No. 9, 12 p. (2020; Zbl 1462.68071) Full Text: DOI OpenURL
Koponen, Vera Conditional probability logic, lifted Bayesian networks, and almost sure quantifier elimination. (English) Zbl 1483.03023 Theor. Comput. Sci. 848, 1-27 (2020). Reviewer: Jürgen Landes (München) MSC: 03C13 03B42 03B48 03C10 68Q11 68Q87 68T05 PDF BibTeX XML Cite \textit{V. Koponen}, Theor. Comput. Sci. 848, 1--27 (2020; Zbl 1483.03023) Full Text: DOI arXiv OpenURL
Komendantskaya, Ekaterina; Rozplokhas, Dmitry; Basold, Henning The new normal: we cannot eliminate cuts in coinductive calculi, but we can explore them. (English) Zbl 1477.03241 Theory Pract. Log. Program. 20, No. 6, 990-1005 (2020). MSC: 03F05 PDF BibTeX XML Cite \textit{E. Komendantskaya} et al., Theory Pract. Log. Program. 20, No. 6, 990--1005 (2020; Zbl 1477.03241) Full Text: DOI arXiv OpenURL
Peretyat’kin, Mikhaĭl G. The property of being a model complete theory is preserved by Cartesian extensions. (English) Zbl 1477.03119 Sib. Èlektron. Mat. Izv. 17, 1540-1551 (2020). MSC: 03C10 03B10 PDF BibTeX XML Cite \textit{M. G. Peretyat'kin}, Sib. Èlektron. Mat. Izv. 17, 1540--1551 (2020; Zbl 1477.03119) Full Text: DOI OpenURL
Odugu, Venkata Krishna; Venkata Narasimhulu, C.; Satya Prasad, K. Design and implementation of low complexity circularly symmetric 2D FIR filter architectures. (English) Zbl 1461.93507 Multidimensional Syst. Signal Process. 31, No. 4, 1385-1410 (2020). MSC: 93E11 93B51 94A08 94C05 PDF BibTeX XML Cite \textit{V. K. Odugu} et al., Multidimensional Syst. Signal Process. 31, No. 4, 1385--1410 (2020; Zbl 1461.93507) Full Text: DOI OpenURL
Dias, Thiago; Pan, Bo-Yu Generic finiteness for a class of symmetric planar central configurations of the six-body problem and the six-vortex problem. (English) Zbl 1480.70017 J. Dyn. Differ. Equations 32, No. 4, 1579-1602 (2020). Reviewer: Lennard Bakker (Provo) MSC: 70F10 13P10 PDF BibTeX XML Cite \textit{T. Dias} and \textit{B.-Y. Pan}, J. Dyn. Differ. Equations 32, No. 4, 1579--1602 (2020; Zbl 1480.70017) Full Text: DOI arXiv OpenURL
Röbenack, Klaus; Voßwinkel, Rick Eigenvalue placement by quantifier elimination - the static output feedback problem. (English) Zbl 1463.93084 Acta Cybern. 24, No. 3, 409-427 (2020). MSC: 93B52 93B60 93D05 93C05 PDF BibTeX XML Cite \textit{K. Röbenack} and \textit{R. Voßwinkel}, Acta Cybern. 24, No. 3, 409--427 (2020; Zbl 1463.93084) Full Text: DOI OpenURL
Fiorentini, Camillo; Ferrari, Mauro Duality between unprovability and provability in forward refutation-search for intuitionistic propositional logic. (English) Zbl 1446.03025 ACM Trans. Comput. Log. 21, No. 3, Article No. 22, 47 p. (2020). MSC: 03B20 03B35 03F03 03F05 PDF BibTeX XML Cite \textit{C. Fiorentini} and \textit{M. Ferrari}, ACM Trans. Comput. Log. 21, No. 3, Article No. 22, 47 p. (2020; Zbl 1446.03025) Full Text: DOI arXiv OpenURL
Burel, Guillaume Linking focusing and resolution with selection. (English) Zbl 1446.03099 ACM Trans. Comput. Log. 21, No. 3, Article No. 18, 30 p. (2020). MSC: 03F03 03B35 03F05 68V15 PDF BibTeX XML Cite \textit{G. Burel}, ACM Trans. Comput. Log. 21, No. 3, Article No. 18, 30 p. (2020; Zbl 1446.03099) Full Text: DOI HAL OpenURL
Lange-Hegermann, Markus; Robertz, Daniel Thomas decomposition and nonlinear control systems. (English) Zbl 1451.93171 Quadrat, Alban (ed.) et al., Algebraic and symbolic computation methods in dynamical systems. Based on articles written for the invited sessions of the 5th symposium on system structure and control, IFAC, Grenoble, France, February 4–6, 2013 and of the 21st international symposium on mathematical theory of networks and systems (MTNS 2014), Groningen, the Netherlands, July 7–11, 2014. Cham: Springer. Adv. Delays Dyn. 9, 117-146 (2020). Reviewer: Kaïs Ammari (Monastir) MSC: 93C20 93B07 93B25 93C10 PDF BibTeX XML Cite \textit{M. Lange-Hegermann} and \textit{D. Robertz}, Adv. Delays Dyn. 9, 117--146 (2020; Zbl 1451.93171) Full Text: DOI arXiv OpenURL
Barbina, Silvia; Casanovas, Enrique Model theory of Steiner triple systems. (English) Zbl 07244017 J. Math. Log. 20, No. 2, Article ID 2050010, 26 p. (2020). MSC: 03C10 03C45 05B07 PDF BibTeX XML Cite \textit{S. Barbina} and \textit{E. Casanovas}, J. Math. Log. 20, No. 2, Article ID 2050010, 26 p. (2020; Zbl 07244017) Full Text: DOI arXiv OpenURL
Belkasmi, Mohammed Algebraically closed structures in positive logic. (English) Zbl 07240978 Ann. Pure Appl. Logic 171, No. 9, Article ID 102822, 10 p. (2020). MSC: 03C95 03C68 03C48 03C10 PDF BibTeX XML Cite \textit{M. Belkasmi}, Ann. Pure Appl. Logic 171, No. 9, Article ID 102822, 10 p. (2020; Zbl 07240978) Full Text: DOI arXiv OpenURL
Kushida, Hirohiko A proof theory for the logic of provability in true arithmetic. (English) Zbl 1462.03027 Stud. Log. 108, No. 4, 857-875 (2020). Reviewer: Mladen Vuković (Zagreb) MSC: 03F45 03B45 03F05 03F30 PDF BibTeX XML Cite \textit{H. Kushida}, Stud. Log. 108, No. 4, 857--875 (2020; Zbl 1462.03027) Full Text: DOI OpenURL
Fjellstad, Andreas Herzberger’s limit rule with labelled sequent calculus. (English) Zbl 07239285 Stud. Log. 108, No. 4, 815-855 (2020). MSC: 03F05 03F03 PDF BibTeX XML Cite \textit{A. Fjellstad}, Stud. Log. 108, No. 4, 815--855 (2020; Zbl 07239285) Full Text: DOI OpenURL
Bílková, Marta; Colacito, Almudena Proof theory for positive logic with weak negation. (English) Zbl 07239279 Stud. Log. 108, No. 4, 649-686 (2020). MSC: 03B20 03B05 03F05 03F03 PDF BibTeX XML Cite \textit{M. Bílková} and \textit{A. Colacito}, Stud. Log. 108, No. 4, 649--686 (2020; Zbl 07239279) Full Text: DOI arXiv OpenURL
Freund, Anton Set-theoretic reflection is equivalent to induction over well-founded classes. (English) Zbl 07237853 Proc. Am. Math. Soc. 148, No. 10, 4503-4515 (2020). MSC: 03E30 03B30 03F05 PDF BibTeX XML Cite \textit{A. Freund}, Proc. Am. Math. Soc. 148, No. 10, 4503--4515 (2020; Zbl 07237853) Full Text: DOI arXiv OpenURL
Ma, Jie; Gao, Feng; Li, Yongshu An efficient method for computing the outer inverse \(A_{T,S}^{(2)}\) through Gauss-Jordan elimination. (English) Zbl 1483.65061 Numer. Algorithms 85, No. 1, 77-106 (2020). MSC: 65F20 15A09 PDF BibTeX XML Cite \textit{J. Ma} et al., Numer. Algorithms 85, No. 1, 77--106 (2020; Zbl 1483.65061) Full Text: DOI OpenURL
Dutta, Arpan; Kuhlmann, Franz-Viktor Eliminating tame ramification generalizations of Abhyankar’s lemma. (English) Zbl 1456.12005 Pac. J. Math. 307, No. 1, 121-136 (2020). Reviewer: Gerard Leloup (Le Mans) MSC: 12J20 12J25 13A18 PDF BibTeX XML Cite \textit{A. Dutta} and \textit{F.-V. Kuhlmann}, Pac. J. Math. 307, No. 1, 121--136 (2020; Zbl 1456.12005) Full Text: DOI arXiv OpenURL
Ovchinnikov, Alexey; Pogudin, Gleb; Scanlon, Thomas Effective difference elimination and nullstellensatz. (English) Zbl 1475.12012 J. Eur. Math. Soc. (JEMS) 22, No. 8, 2419-2452 (2020). Reviewer: Alexander B. Levin (Washington) MSC: 12H10 13P25 14Q20 03C10 03C60 PDF BibTeX XML Cite \textit{A. Ovchinnikov} et al., J. Eur. Math. Soc. (JEMS) 22, No. 8, 2419--2452 (2020; Zbl 1475.12012) Full Text: DOI arXiv OpenURL
Wang, Yan-Ping; Wang, Qiang; Zhang, Wei-Guo Boomerang uniformity of normalized permutation polynomials of low degree. (English) Zbl 1446.11208 Appl. Algebra Eng. Commun. Comput. 31, No. 3-4, 307-322 (2020). MSC: 11T06 11T71 12-08 PDF BibTeX XML Cite \textit{Y.-P. Wang} et al., Appl. Algebra Eng. Commun. Comput. 31, No. 3--4, 307--322 (2020; Zbl 1446.11208) Full Text: DOI OpenURL
Botbol, Nicolás; Busé, Laurent; Chardin, Marc; Yildirim, Fatmanur Fibers of multi-graded rational maps and orthogonal projection onto rational surfaces. (English) Zbl 1452.14011 SIAM J. Appl. Algebra Geom. 4, No. 2, 322-353 (2020). Reviewer: Ihsen Yengui (Sfax) MSC: 14E05 13D02 13P25 13D45 PDF BibTeX XML Cite \textit{N. Botbol} et al., SIAM J. Appl. Algebra Geom. 4, No. 2, 322--353 (2020; Zbl 1452.14011) Full Text: DOI arXiv OpenURL
Jeřábek, Emil Recursive functions and existentially closed structures. (English) Zbl 07215221 J. Math. Log. 20, No. 1, Article ID 2050002, 52 p. (2020). MSC: 03F40 03C45 03F30 03C10 PDF BibTeX XML Cite \textit{E. Jeřábek}, J. Math. Log. 20, No. 1, Article ID 2050002, 52 p. (2020; Zbl 07215221) Full Text: DOI arXiv OpenURL
Gherardi, Guido; Maffezioli, Paolo; Orlandelli, Eugenio Interpolation in extensions of first-order logic. (English) Zbl 1452.03128 Stud. Log. 108, No. 3, 619-648 (2020). Reviewer: Mario Alviano (Rende) MSC: 03F03 03C40 03F05 PDF BibTeX XML Cite \textit{G. Gherardi} et al., Stud. Log. 108, No. 3, 619--648 (2020; Zbl 1452.03128) Full Text: DOI arXiv OpenURL
Arndt, Michael The explosion calculus. (English) Zbl 1481.03061 Stud. Log. 108, No. 3, 509-547 (2020). MSC: 03F03 03F05 03F07 PDF BibTeX XML Cite \textit{M. Arndt}, Stud. Log. 108, No. 3, 509--547 (2020; Zbl 1481.03061) Full Text: DOI OpenURL
Lambotte, Quentin; Point, Françoise On expansions of \((\mathbf{Z},+,0)\). (English) Zbl 1481.03014 Ann. Pure Appl. Logic 171, No. 8, Article ID 102809, 35 p. (2020). MSC: 03C45 03B25 03C10 03C35 PDF BibTeX XML Cite \textit{Q. Lambotte} and \textit{F. Point}, Ann. Pure Appl. Logic 171, No. 8, Article ID 102809, 35 p. (2020; Zbl 1481.03014) Full Text: DOI arXiv OpenURL
Belkasmi, Mohammed Positive amalgamation. (English) Zbl 07205366 Log. Univers. 14, No. 2, 243-258 (2020). MSC: 03C95 03C48 03C10 03C45 PDF BibTeX XML Cite \textit{M. Belkasmi}, Log. Univers. 14, No. 2, 243--258 (2020; Zbl 07205366) Full Text: DOI arXiv OpenURL
Cubides Kovacsics, Pablo; Haskell, Deirdre Real closed valued fields with analytic structure. (English) Zbl 1469.32014 Proc. Edinb. Math. Soc., II. Ser. 63, No. 1, 249-261 (2020). Reviewer: Anatoly N. Kochubei (Kyïv) MSC: 32P05 32B05 03C10 03C64 14P10 PDF BibTeX XML Cite \textit{P. Cubides Kovacsics} and \textit{D. Haskell}, Proc. Edinb. Math. Soc., II. Ser. 63, No. 1, 249--261 (2020; Zbl 1469.32014) Full Text: DOI arXiv OpenURL
Lyon, Tim On deriving nested calculi for intuitionistic logics from semantic systems. (English) Zbl 07197413 Artemov, Sergei (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2020, Deerfield Beach, FL, USA, January 04–07, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11972, 177-194 (2020). MSC: 03B20 03F03 03F05 PDF BibTeX XML Cite \textit{T. Lyon}, Lect. Notes Comput. Sci. 11972, 177--194 (2020; Zbl 07197413) Full Text: DOI arXiv OpenURL
Lyon, Tim Syntactic cut-elimination for intuitionistic fuzzy logic via linear nested sequents. (English) Zbl 1481.03009 Artemov, Sergei (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2020, Deerfield Beach, FL, USA, January 04–07, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11972, 156-176 (2020). Reviewer: Ciro Russo (Salvador) MSC: 03B52 03F05 PDF BibTeX XML Cite \textit{T. Lyon}, Lect. Notes Comput. Sci. 11972, 156--176 (2020; Zbl 1481.03009) Full Text: DOI arXiv OpenURL
Baaz, Matthias; Lolic, Anela A globally sound analytic calculus for Henkin quantifiers. (English) Zbl 07197410 Artemov, Sergei (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2020, Deerfield Beach, FL, USA, January 04–07, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11972, 128-143 (2020). MSC: 03C80 03F03 03F05 PDF BibTeX XML Cite \textit{M. Baaz} and \textit{A. Lolic}, Lect. Notes Comput. Sci. 11972, 128--143 (2020; Zbl 07197410) Full Text: DOI OpenURL
Laurent, Monique; Tanigawa, Shin-Ichi Perfect elimination orderings for symmetric matrices. (English) Zbl 1442.05080 Optim. Lett. 14, No. 2, 339-353 (2020). MSC: 05C22 05C99 05B20 PDF BibTeX XML Cite \textit{M. Laurent} and \textit{S.-I. Tanigawa}, Optim. Lett. 14, No. 2, 339--353 (2020; Zbl 1442.05080) Full Text: DOI arXiv OpenURL