Sturm, Holger Philosophy of logic (to appear). (Philosophie der Logik.) (German) Zbl 07035948 Grundthemen Philosophie. Berlin: De Gruyter (ISBN 978-3-11-047593-7). 230 p. (2022). MSC: 03-01 03A05 00A30 PDF BibTeX XML Cite \textit{H. Sturm}, Philosophie der Logik. Berlin: De Gruyter (2022; Zbl 07035948)
Sarukkai, Sundar (ed.) Handbook of logical thought in India (to appear). (English) Zbl 06761902 Springer Reference. New Delhi: Springer (ISBN 978-81-322-2576-8/print; 978-81-322-2577-5/ebook; 978-81-322-2578-2/print+ebook; 978-81-322-1812-8/online (updated continuously)). 1500 p. (2022). MSC: 01-00 01A32 00A30 03-03 PDF BibTeX XML Cite \textit{S. Sarukkai} (ed.), Handbook of logical thought in India (to appear). New Delhi: Springer (2022; Zbl 06761902) Full Text: DOI
Liu, Z. C.; Hu, L. M.; Liu, S. J.; Wang, Y. Y. Reliability analysis of a warm standby series-parallel system with different switches and bi-uncertain lifetimes. (English) Zbl 07332471 Iran. J. Fuzzy Syst. 18, No. 2, 187-202 (2021). MSC: 03E72 54A40 PDF BibTeX XML Cite \textit{Z. C. Liu} et al., Iran. J. Fuzzy Syst. 18, No. 2, 187--202 (2021; Zbl 07332471) Full Text: DOI
Yue, Y. Note on “ Fuzzy universal algebras on \(L\)-sets”. (English) Zbl 07332470 Iran. J. Fuzzy Syst. 18, No. 2, 175-186 (2021). MSC: 03E72 54A40 PDF BibTeX XML Cite \textit{Y. Yue}, Iran. J. Fuzzy Syst. 18, No. 2, 175--186 (2021; Zbl 07332470) Full Text: DOI
Manikandan, M.; Ratnavelu, K.; Balasubramaniam, P.; Ong, S. H. Synchronization of BAM Cohen-Grossberg FCNNs with mixed time delays. (English) Zbl 07332469 Iran. J. Fuzzy Syst. 18, No. 2, 159-173 (2021). MSC: 03E72 54A40 PDF BibTeX XML Cite \textit{M. Manikandan} et al., Iran. J. Fuzzy Syst. 18, No. 2, 159--173 (2021; Zbl 07332469) Full Text: DOI
Fathy, E. Building fuzzy approach with linearization technique for fully rough multi-objective multi-level linear fractional programming problem. (English) Zbl 07332468 Iran. J. Fuzzy Syst. 18, No. 2, 139-157 (2021). MSC: 03E72 54A40 PDF BibTeX XML Cite \textit{E. Fathy}, Iran. J. Fuzzy Syst. 18, No. 2, 139--157 (2021; Zbl 07332468) Full Text: DOI
Cheraghiyan, M. A new separated fault estimator and fault-tolerant control design strategy for uncertain nonlinear systems using T-S fuzzy modeling. (English) Zbl 07332467 Iran. J. Fuzzy Syst. 18, No. 2, 127-138 (2021). MSC: 03E72 54A40 PDF BibTeX XML Cite \textit{M. Cheraghiyan}, Iran. J. Fuzzy Syst. 18, No. 2, 127--138 (2021; Zbl 07332467) Full Text: DOI
Wang, Y. M.; Li, Z. B.; Liu, H. W. Semi-t-operators and idempotent semi-t-operators on bounded lattices. (English) Zbl 07332466 Iran. J. Fuzzy Syst. 18, No. 2, 109-125 (2021). MSC: 03E72 54A40 PDF BibTeX XML Cite \textit{Y. M. Wang} et al., Iran. J. Fuzzy Syst. 18, No. 2, 109--125 (2021; Zbl 07332466) Full Text: DOI
Ju, H.; Qiang, W.; Jing, L. A novel interval-valued fuzzy multiple twin support vector machine. (English) Zbl 07332465 Iran. J. Fuzzy Syst. 18, No. 2, 93-107 (2021). MSC: 03E72 54A40 PDF BibTeX XML Cite \textit{H. Ju} et al., Iran. J. Fuzzy Syst. 18, No. 2, 93--107 (2021; Zbl 07332465) Full Text: DOI
Barazandeh, Y.; Ghazanfari, B. A novel method for ranking generalized fuzzy numbers with two different heights and its application in fuzzy risk analysis. (English) Zbl 07332464 Iran. J. Fuzzy Syst. 18, No. 2, 81-91 (2021). MSC: 03E72 54A40 PDF BibTeX XML Cite \textit{Y. Barazandeh} and \textit{B. Ghazanfari}, Iran. J. Fuzzy Syst. 18, No. 2, 81--91 (2021; Zbl 07332464) Full Text: DOI
Aouiti, C.; Sakthivel, R.; Touati, F. Global dissipativity of fuzzy bidirectional associative memory neural networks with proportional delays. (English) Zbl 07332463 Iran. J. Fuzzy Syst. 18, No. 2, 65-80 (2021). MSC: 03E72 54A40 PDF BibTeX XML Cite \textit{C. Aouiti} et al., Iran. J. Fuzzy Syst. 18, No. 2, 65--80 (2021; Zbl 07332463) Full Text: DOI
Hesamian, G.; Akbari, M. G.; Shams, M. Parameter estimation in fuzzy partial univariate linear regression model with non-fuzzy inputs and triangular fuzzy outputs. (English) Zbl 07332462 Iran. J. Fuzzy Syst. 18, No. 2, 51-64 (2021). MSC: 03E72 54A40 PDF BibTeX XML Cite \textit{G. Hesamian} et al., Iran. J. Fuzzy Syst. 18, No. 2, 51--64 (2021; Zbl 07332462) Full Text: DOI
Kim, Son N. T.; Long, H. V.; Dong, N. P. On Goursat problem for fuzzy random partial differential equations under generalized Lipschitz conditions. (English) Zbl 07332461 Iran. J. Fuzzy Syst. 18, No. 2, 31-49 (2021). MSC: 03E72 54A40 PDF BibTeX XML Cite \textit{S. N. T. Kim} et al., Iran. J. Fuzzy Syst. 18, No. 2, 31--49 (2021; Zbl 07332461) Full Text: DOI
Doodman, N.; Amini, M.; Jabbari, H.; Dolati, A. FGM generated Archimedean copulas with concave multiplicative generators. (English) Zbl 07332460 Iran. J. Fuzzy Syst. 18, No. 2, 15-29 (2021). MSC: 03E72 54A40 PDF BibTeX XML Cite \textit{N. Doodman} et al., Iran. J. Fuzzy Syst. 18, No. 2, 15--29 (2021; Zbl 07332460) Full Text: DOI
Wang, H.; Rodríguez-López, R. On the existence of solutions to interval-valued differential equations with length constraints. (English) Zbl 07332459 Iran. J. Fuzzy Syst. 18, No. 2, 1-13 (2021). MSC: 03E72 54A40 PDF BibTeX XML Cite \textit{H. Wang} and \textit{R. Rodríguez-López}, Iran. J. Fuzzy Syst. 18, No. 2, 1--13 (2021; Zbl 07332459) Full Text: DOI
Hoa, N. V. On the stability for implicit uncertain fractional integral equations with fuzzy concept. (English) Zbl 07332456 Iran. J. Fuzzy Syst. 18, No. 1, 185-201 (2021). MSC: 03E72 54A40 PDF BibTeX XML Cite \textit{N. V. Hoa}, Iran. J. Fuzzy Syst. 18, No. 1, 185--201 (2021; Zbl 07332456) Full Text: DOI
Akbarzadeh Kalat, A.; Mokhtari, V. Robust output feedback adaptive sliding mode control for a class of uncertain nonlinear systems using robust adaptive fuzzy observer. (English) Zbl 07332455 Iran. J. Fuzzy Syst. 18, No. 1, 171-183 (2021). MSC: 03E72 54A40 PDF BibTeX XML Cite \textit{A. Akbarzadeh Kalat} and \textit{V. Mokhtari}, Iran. J. Fuzzy Syst. 18, No. 1, 171--183 (2021; Zbl 07332455) Full Text: DOI
Aramesh, S.; Mousavi, S. M.; Mohagheghi, V. A new comprehensive project scheduling, monitoring, and management framework based on the critical chain under interval type-2 fuzzy uncertainty. (English) Zbl 07332454 Iran. J. Fuzzy Syst. 18, No. 1, 151-170 (2021). MSC: 03E72 54A40 PDF BibTeX XML Cite \textit{S. Aramesh} et al., Iran. J. Fuzzy Syst. 18, No. 1, 151--170 (2021; Zbl 07332454) Full Text: DOI
Aliannezhadi, S.; Abbasi Molai, A. A new algorithm for geometric optimization with a single-term exponent constrained by bipolar fuzzy relation equations. (English) Zbl 07332453 Iran. J. Fuzzy Syst. 18, No. 1, 137-150 (2021). MSC: 03E72 54A40 PDF BibTeX XML Cite \textit{S. Aliannezhadi} and \textit{A. Abbasi Molai}, Iran. J. Fuzzy Syst. 18, No. 1, 137--150 (2021; Zbl 07332453) Full Text: DOI
Yousefi, A.; Pishvaee, M. S.; Teimoury, E. Adjusting the credit sales using CVaR-based robust possibilistic programming approach. (English) Zbl 07332452 Iran. J. Fuzzy Syst. 18, No. 1, 117-136 (2021). MSC: 03E72 54A40 PDF BibTeX XML Cite \textit{A. Yousefi} et al., Iran. J. Fuzzy Syst. 18, No. 1, 117--136 (2021; Zbl 07332452) Full Text: DOI
Nosratian, S.; Moradkhani, M.; Tavakoli, M. B. Hybrid data compression using fuzzy logic and Huffman coding in secure IOT. (English) Zbl 07332451 Iran. J. Fuzzy Syst. 18, No. 1, 101-116 (2021). MSC: 03E72 54A40 PDF BibTeX XML Cite \textit{S. Nosratian} et al., Iran. J. Fuzzy Syst. 18, No. 1, 101--116 (2021; Zbl 07332451) Full Text: DOI
Jiang, B.; Peng, L.; Li, J.; Lio, W. Uncertain network DEA models for evaluating efficiencies of bi-echelon supply chain with asymmetric power. (English) Zbl 07332450 Iran. J. Fuzzy Syst. 18, No. 1, 87-100 (2021). MSC: 03E72 54A40 PDF BibTeX XML Cite \textit{B. Jiang} et al., Iran. J. Fuzzy Syst. 18, No. 1, 87--100 (2021; Zbl 07332450) Full Text: DOI
Han, S. W.; Wang, R. R. Fuzzy closure operators and their applications. (English) Zbl 07332449 Iran. J. Fuzzy Syst. 18, No. 1, 75-85 (2021). MSC: 03E72 54A40 PDF BibTeX XML Cite \textit{S. W. Han} and \textit{R. R. Wang}, Iran. J. Fuzzy Syst. 18, No. 1, 75--85 (2021; Zbl 07332449) Full Text: DOI
Aghamohagheghi, M.; Hashemi, S. M.; Tavakkoli-Moghaddam, R. An advanced decision support framework to assess sustainable transport projects using a new uncertainty modeling tool: interval-valued Pythagorean trapezoidal fuzzy numbers. (English) Zbl 07332448 Iran. J. Fuzzy Syst. 18, No. 1, 53-73 (2021). MSC: 03E72 54A40 PDF BibTeX XML Cite \textit{M. Aghamohagheghi} et al., Iran. J. Fuzzy Syst. 18, No. 1, 53--73 (2021; Zbl 07332448) Full Text: DOI
Aslam, M. S.; Dai, X.; Zhao, T. Stability and stabilization of network T-S fuzzy systems with random packet-loss for synchronous machine. (English) Zbl 07332447 Iran. J. Fuzzy Syst. 18, No. 1, 35-51 (2021). MSC: 03E72 54A40 PDF BibTeX XML Cite \textit{M. S. Aslam} et al., Iran. J. Fuzzy Syst. 18, No. 1, 35--51 (2021; Zbl 07332447) Full Text: DOI
Zhao, Y. Y.; Qin, F. The cross-migrativity equation with respect to semi-t-operators. (English) Zbl 07332446 Iran. J. Fuzzy Syst. 18, No. 1, 17-33 (2021). MSC: 03E72 54A40 PDF BibTeX XML Cite \textit{Y. Y. Zhao} and \textit{F. Qin}, Iran. J. Fuzzy Syst. 18, No. 1, 17--33 (2021; Zbl 07332446) Full Text: DOI
Farhadinia, B.; Aickelin, U.; Khorshidi, H. A. Higher order hesitant fuzzy Choquet integral operator and its application to multiple criteria decision making. (English) Zbl 07332445 Iran. J. Fuzzy Syst. 18, No. 1, 1-16 (2021). MSC: 03E72 54A40 PDF BibTeX XML Cite \textit{B. Farhadinia} et al., Iran. J. Fuzzy Syst. 18, No. 1, 1--16 (2021; Zbl 07332445) Full Text: DOI
Candido, Leandro On Banach spaces of the form \(C_0(\alpha\times L)\) with few operators. (English) Zbl 07332203 Banach J. Math. Anal. 15, No. 2, Paper No. 41, 23 p. (2021). MSC: 46E15 54G12 46B25 03E65 54B10 PDF BibTeX XML Cite \textit{L. Candido}, Banach J. Math. Anal. 15, No. 2, Paper No. 41, 23 p. (2021; Zbl 07332203) Full Text: DOI
Kampik, Timotheus; Nieves, Juan Carlos Abstract argumentation and the rational man. (English) Zbl 07332122 J. Log. Comput. 31, No. 2, 654-699 (2021). MSC: 03 68 PDF BibTeX XML Cite \textit{T. Kampik} and \textit{J. C. Nieves}, J. Log. Comput. 31, No. 2, 654--699 (2021; Zbl 07332122) Full Text: DOI
Frittaion, Emanuele; Rathjen, Michael Extensional realizability for intuitionistic set theory. (English) Zbl 07332121 J. Log. Comput. 31, No. 2, 630-653 (2021). MSC: 03 68 PDF BibTeX XML Cite \textit{E. Frittaion} and \textit{M. Rathjen}, J. Log. Comput. 31, No. 2, 630--653 (2021; Zbl 07332121) Full Text: DOI
Goldbring, Isaac; Hart, Bradd Operator algebras with hyperarithmetic theory. (English) Zbl 07332120 J. Log. Comput. 31, No. 2, 612-629 (2021). MSC: 03 68 PDF BibTeX XML Cite \textit{I. Goldbring} and \textit{B. Hart}, J. Log. Comput. 31, No. 2, 612--629 (2021; Zbl 07332120) Full Text: DOI
Middelburg, C. A. On the strongest three-valued paraconsistent logic contained in classical logic and its dual. (English) Zbl 07332119 J. Log. Comput. 31, No. 2, 597-611 (2021). MSC: 03 68 PDF BibTeX XML Cite \textit{C. A. Middelburg}, J. Log. Comput. 31, No. 2, 597--611 (2021; Zbl 07332119) Full Text: DOI
Ilin, Julia; de Jongh, Dick; Yang, Fan NNIL-formulas revisited: universal models and finite model property. (English) Zbl 07332118 J. Log. Comput. 31, No. 2, 573-596 (2021). MSC: 03 68 PDF BibTeX XML Cite \textit{J. Ilin} et al., J. Log. Comput. 31, No. 2, 573--596 (2021; Zbl 07332118) Full Text: DOI
Zhao, Zhiguang Algorithmic correspondence and canonicity for possibility semantics. (English) Zbl 07332117 J. Log. Comput. 31, No. 2, 523-572 (2021). MSC: 03 68 PDF BibTeX XML Cite \textit{Z. Zhao}, J. Log. Comput. 31, No. 2, 523--572 (2021; Zbl 07332117) Full Text: DOI
Rybakov, Mikhail; Shkatov, Dmitry Algorithmic properties of first-order superintuitionistic logics of finite Kripke frames in restricted languages. (English) Zbl 07332116 J. Log. Comput. 31, No. 2, 494-522 (2021). MSC: 03 68 PDF BibTeX XML Cite \textit{M. Rybakov} and \textit{D. Shkatov}, J. Log. Comput. 31, No. 2, 494--522 (2021; Zbl 07332116) Full Text: DOI
Lewitzka, Steffen Access-based intuitionistic knowledge. (English) Zbl 07332115 J. Log. Comput. 31, No. 2, 473-493 (2021). MSC: 03 68 PDF BibTeX XML Cite \textit{S. Lewitzka}, J. Log. Comput. 31, No. 2, 473--493 (2021; Zbl 07332115) Full Text: DOI
Larrauri, Lázaro Alberto Probabilities of first-order sentences on sparse random relational structures: an application to definability on random CNF formulas. (English) Zbl 07332114 J. Log. Comput. 31, No. 2, 444-472 (2021). MSC: 03 68 PDF BibTeX XML Cite \textit{L. A. Larrauri}, J. Log. Comput. 31, No. 2, 444--472 (2021; Zbl 07332114) Full Text: DOI
Rybakov, Mikhail; Shkatov, Dmitry Complexity of finite-variable fragments of products with K. (English) Zbl 07332113 J. Log. Comput. 31, No. 2, 426-443 (2021). MSC: 03 68 PDF BibTeX XML Cite \textit{M. Rybakov} and \textit{D. Shkatov}, J. Log. Comput. 31, No. 2, 426--443 (2021; Zbl 07332113) Full Text: DOI
Protin, M. Clarence Type inhabitation of atomic polymorphism is undecidable. (English) Zbl 07332112 J. Log. Comput. 31, No. 2, 416-425 (2021). MSC: 03 68 PDF BibTeX XML Cite \textit{M. C. Protin}, J. Log. Comput. 31, No. 2, 416--425 (2021; Zbl 07332112) Full Text: DOI
Pourmahdian, M.; Zoghifard, R. Probability logic: a model-theoretic perspective. (English) Zbl 07332111 J. Log. Comput. 31, No. 2, 393-415 (2021). MSC: 03 68 PDF BibTeX XML Cite \textit{M. Pourmahdian} and \textit{R. Zoghifard}, J. Log. Comput. 31, No. 2, 393--415 (2021; Zbl 07332111) Full Text: DOI
Buhagiar, D.; Chetcuti, E.; Weber, H. Order topology on orthocomplemented posets of linear subspaces of a pre-Hilbert space. (English) Zbl 07332100 Ann. Mat. Pura Appl. (4) 200, No. 1, 211-228 (2021). MSC: 46C15 46C05 46L30 03G12 81P10 PDF BibTeX XML Cite \textit{D. Buhagiar} et al., Ann. Mat. Pura Appl. (4) 200, No. 1, 211--228 (2021; Zbl 07332100) Full Text: DOI
Coudron, Matthew; Stark, Jalex; Vidick, Thomas Trading locality for time: certifiable randomness from low-depth circuits. (English) Zbl 07331839 Commun. Math. Phys. 382, No. 1, 49-86 (2021). MSC: 03D 68Q 81P 81P68 68Q12 03D28 68Q04 PDF BibTeX XML Cite \textit{M. Coudron} et al., Commun. Math. Phys. 382, No. 1, 49--86 (2021; Zbl 07331839) Full Text: DOI
Stepanova, E. N.; Krasitskaya, A. I. \( P \)-stability of some classes of \(S \)-acts. (English. Russian original) Zbl 07331442 Sib. Math. J. 62, No. 2, 357-363 (2021); translation from Sib. Mat. Zh. 62, No. 2, 441-449 (2021). MSC: 20K 03C PDF BibTeX XML Cite \textit{E. N. Stepanova} and \textit{A. I. Krasitskaya}, Sib. Math. J. 62, No. 2, 357--363 (2021; Zbl 07331442); translation from Sib. Mat. Zh. 62, No. 2, 441--449 (2021) Full Text: DOI
Hamkins, Joel David Proof and the art of mathematics. Examples and extensions. (English) Zbl 07330885 Cambridge, MA: MIT Press (ISBN 978-0-262-54220-3/pbk). 132 p. (2021). MSC: 03-01 03Fxx 01A80 PDF BibTeX XML Cite \textit{J. D. Hamkins}, Proof and the art of mathematics. Examples and extensions. Cambridge, MA: MIT Press (2021; Zbl 07330885)
Pandit, Abhijit Mathematical modeling using fuzzy logic. Applications to sustainability. (English) Zbl 07330853 Boca Raton, FL: CRC Press (ISBN 978-1-138-39048-5/hbk; 978-0-429-42334-5/ebook). 218 p. (2021). MSC: 93-01 03-01 93-10 93C42 00A71 PDF BibTeX XML Cite \textit{A. Pandit}, Mathematical modeling using fuzzy logic. Applications to sustainability. Boca Raton, FL: CRC Press (2021; Zbl 07330853) Full Text: DOI
Hieronymi, Philipp; Walsberg, Erik; Xu, Samantha Expansions of the real field by discrete subgroups of \(\operatorname{Gl}_n(\mathbb{C})\). (English) Zbl 07329505 Proc. Am. Math. Soc. 149, No. 5, 2221-2233 (2021). MSC: 03C64 PDF BibTeX XML Cite \textit{P. Hieronymi} et al., Proc. Am. Math. Soc. 149, No. 5, 2221--2233 (2021; Zbl 07329505) Full Text: DOI
Ferguson, Timothy Entire functions with undecidable arithmetic properties. (English) Zbl 07329231 J. Number Theory 223, 255-266 (2021). MSC: 11J81 11J91 03D35 11J72 PDF BibTeX XML Cite \textit{T. Ferguson}, J. Number Theory 223, 255--266 (2021; Zbl 07329231) Full Text: DOI
Moroz, Inessa; Törnquist, Asger The Borel complexity of von Neumann equivalence. (English) Zbl 07328996 Ann. Pure Appl. Logic 172, No. 5, Article ID 102913, 28 p. (2021). MSC: 03E15 28D15 37A35 37A20 46L36 PDF BibTeX XML Cite \textit{I. Moroz} and \textit{A. Törnquist}, Ann. Pure Appl. Logic 172, No. 5, Article ID 102913, 28 p. (2021; Zbl 07328996) Full Text: DOI
Moore, Justin Tatch Some remarks on the Open Coloring Axiom. (English) Zbl 07328995 Ann. Pure Appl. Logic 172, No. 5, Article ID 102912, 6 p. (2021). MSC: 03E65 03E35 PDF BibTeX XML Cite \textit{J. T. Moore}, Ann. Pure Appl. Logic 172, No. 5, Article ID 102912, 6 p. (2021; Zbl 07328995) Full Text: DOI
Kumar, Ashutosh; Raghavan, Dilip Separating families and order dimension of Turing degrees. (English) Zbl 07328994 Ann. Pure Appl. Logic 172, No. 5, Article ID 102911, 19 p. (2021). MSC: 03E04 03E05 03E35 03D28 03E55 PDF BibTeX XML Cite \textit{A. Kumar} and \textit{D. Raghavan}, Ann. Pure Appl. Logic 172, No. 5, Article ID 102911, 19 p. (2021; Zbl 07328994) Full Text: DOI
Hrušák, Michael; Shibakov, Alexander Convergent sequences in topological groups. (English) Zbl 07328993 Ann. Pure Appl. Logic 172, No. 5, Article ID 102910, 14 p. (2021). MSC: 22A05 03C20 03E05 03E35 54H11 PDF BibTeX XML Cite \textit{M. Hrušák} and \textit{A. Shibakov}, Ann. Pure Appl. Logic 172, No. 5, Article ID 102910, 14 p. (2021; Zbl 07328993) Full Text: DOI
Fischer, Vera; Schrittesser, David; Weinert, Thilo Definable MAD families and forcing axioms. (English) Zbl 07328992 Ann. Pure Appl. Logic 172, No. 5, Article ID 102909, 16 p. (2021). MSC: 03E35 03E15 03E57 PDF BibTeX XML Cite \textit{V. Fischer} et al., Ann. Pure Appl. Logic 172, No. 5, Article ID 102909, 16 p. (2021; Zbl 07328992) Full Text: DOI
Farah, Ilijas; Magidor, Menachem Corson reflections. (English) Zbl 07328991 Ann. Pure Appl. Logic 172, No. 5, Article ID 102908, 13 p. (2021). MSC: 03E35 03E55 03E75 46J10 54D30 PDF BibTeX XML Cite \textit{I. Farah} and \textit{M. Magidor}, Ann. Pure Appl. Logic 172, No. 5, Article ID 102908, 13 p. (2021; Zbl 07328991) Full Text: DOI
Eagle, Christopher J.; Hamel, Clovis; Tall, Franklin D. Two applications of topology to model theory. (English) Zbl 07328990 Ann. Pure Appl. Logic 172, No. 5, Article ID 102907, 16 p. (2021). MSC: 03C30 03C95 03C98 40A05 54E52 54G20 PDF BibTeX XML Cite \textit{C. J. Eagle} et al., Ann. Pure Appl. Logic 172, No. 5, Article ID 102907, 16 p. (2021; Zbl 07328990) Full Text: DOI
Dow, Alan An Efimov space with character less than \(\mathfrak{s}\). (English) Zbl 07328989 Ann. Pure Appl. Logic 172, No. 5, Article ID 102906, 22 p. (2021). MSC: 54F65 54D55 03E75 54A35 PDF BibTeX XML Cite \textit{A. Dow}, Ann. Pure Appl. Logic 172, No. 5, Article ID 102906, 22 p. (2021; Zbl 07328989) Full Text: DOI
Chodounský, David; Guzmán, Osvaldo Indestructibility of ideals and MAD families. (English) Zbl 07328988 Ann. Pure Appl. Logic 172, No. 5, Article ID 102905, 20 p. (2021). MSC: 03E17 03E35 03E05 03E15 PDF BibTeX XML Cite \textit{D. Chodounský} and \textit{O. Guzmán}, Ann. Pure Appl. Logic 172, No. 5, Article ID 102905, 20 p. (2021; Zbl 07328988) Full Text: DOI
Brodsky, Ari Meir; Rinot, Assaf A microscopic approach to Souslin-tree construction. II. (English) Zbl 07328987 Ann. Pure Appl. Logic 172, No. 5, Article ID 102904, 65 p. (2021). MSC: 03E05 03E65 03E35 05C05 PDF BibTeX XML Cite \textit{A. M. Brodsky} and \textit{A. Rinot}, Ann. Pure Appl. Logic 172, No. 5, Article ID 102904, 65 p. (2021; Zbl 07328987) Full Text: DOI
Kepley, Shane; Zhang, Tianhao A constructive proof of the Cauchy-Kovalevskaya theorem for ordinary differential equations. (English) Zbl 07328297 J. Fixed Point Theory Appl. 23, No. 1, Paper No. 7, 23 p. (2021). MSC: 34A12 03F60 46A45 47N20 PDF BibTeX XML Cite \textit{S. Kepley} and \textit{T. Zhang}, J. Fixed Point Theory Appl. 23, No. 1, Paper No. 7, 23 p. (2021; Zbl 07328297) Full Text: DOI
Bertrand, Nathalie; Bouyer, Patricia; Majumdar, Anirban Reconfiguration and message losses in parameterized broadcast networks. (English) Zbl 07327956 Log. Methods Comput. Sci. 17, No. 1, Paper No. 23, 19 p. (2021). MSC: 03B70 68 PDF BibTeX XML Cite \textit{N. Bertrand} et al., Log. Methods Comput. Sci. 17, No. 1, Paper No. 23, 19 p. (2021; Zbl 07327956) Full Text: Link arXiv
Exibard, Léo; Filiot, Emmanuel; Reynier, Pierre-Alain Synthesis of data word transducers. (English) Zbl 07327955 Log. Methods Comput. Sci. 17, No. 1, Paper No. 22, 25 p. (2021). MSC: 03B70 68 PDF BibTeX XML Cite \textit{L. Exibard} et al., Log. Methods Comput. Sci. 17, No. 1, Paper No. 22, 25 p. (2021; Zbl 07327955) Full Text: Link arXiv
Bønneland, Frederik Meyer; Jensen, Peter Gjøl; Larsen, Kim Guldstrand; Muñiz, Marco; Srba, Jiří Stubborn set reduction for two-player reachability games. (English) Zbl 07327954 Log. Methods Comput. Sci. 17, No. 1, Paper No. 21, 26 p. (2021). MSC: 03B70 68 PDF BibTeX XML Cite \textit{F. M. Bønneland} et al., Log. Methods Comput. Sci. 17, No. 1, Paper No. 21, 26 p. (2021; Zbl 07327954) Full Text: Link arXiv
Bravetti, Mario; Carbone, Marco; Lange, Julien; Yoshida, Nobuko; Zavattaro, Gianluigi A sound algorithm for asynchronous session subtyping and its implementation. (English) Zbl 07327953 Log. Methods Comput. Sci. 17, No. 1, Paper No. 20, 35 p. (2021). MSC: 03B70 68 PDF BibTeX XML Cite \textit{M. Bravetti} et al., Log. Methods Comput. Sci. 17, No. 1, Paper No. 20, 35 p. (2021; Zbl 07327953) Full Text: Link arXiv
Pattinson, Dirk; Mohammadian, Mina Constructive domains with classical witnesses. (English) Zbl 07327952 Log. Methods Comput. Sci. 17, No. 1, Paper No. 19, 30 p. (2021). MSC: 03B70 68 PDF BibTeX XML Cite \textit{D. Pattinson} and \textit{M. Mohammadian}, Log. Methods Comput. Sci. 17, No. 1, Paper No. 19, 30 p. (2021; Zbl 07327952) Full Text: Link arXiv
Hasegawa, Ryu Complete call-by-value calculi of control operators. II: Strong termination. (English) Zbl 07327951 Log. Methods Comput. Sci. 17, No. 1, Paper No. 18, 20 p. (2021). MSC: 03B70 68 PDF BibTeX XML Cite \textit{R. Hasegawa}, Log. Methods Comput. Sci. 17, No. 1, Paper No. 18, 20 p. (2021; Zbl 07327951) Full Text: Link arXiv
Bergstra, Jan A.; Ponse, Alban Datatype defining rewrite systems for naturals and integers. (English) Zbl 07327950 Log. Methods Comput. Sci. 17, No. 1, Paper No. 17, 31 p. (2021). MSC: 03B70 68 PDF BibTeX XML Cite \textit{J. A. Bergstra} and \textit{A. Ponse}, Log. Methods Comput. Sci. 17, No. 1, Paper No. 17, 31 p. (2021; Zbl 07327950) Full Text: Link arXiv
Mahboubi, Assia; Sibut-Pinote, Thomas A formal proof of the irrationality of \(\zeta(3)\). (English) Zbl 07327949 Log. Methods Comput. Sci. 17, No. 1, Paper No. 16, 25 p. (2021). MSC: 03B70 68 PDF BibTeX XML Cite \textit{A. Mahboubi} and \textit{T. Sibut-Pinote}, Log. Methods Comput. Sci. 17, No. 1, Paper No. 16, 25 p. (2021; Zbl 07327949) Full Text: Link arXiv
Ene, Cristian; Mounier, Laurent; Potet, Marie-Laure Output-sensitive information flow analysis. (English) Zbl 07327948 Log. Methods Comput. Sci. 17, No. 1, Paper No. 15, 29 p. (2021). MSC: 03B70 68 PDF BibTeX XML Cite \textit{C. Ene} et al., Log. Methods Comput. Sci. 17, No. 1, Paper No. 15, 29 p. (2021; Zbl 07327948) Full Text: Link arXiv
Luttik, Bas; Yang, Fei The \(\pi\)-calculus is behaviourally complete and orbit-finitely executable. (English) Zbl 07327947 Log. Methods Comput. Sci. 17, No. 1, Paper No. 14, 26 p. (2021). MSC: 03B70 68 PDF BibTeX XML Cite \textit{B. Luttik} and \textit{F. Yang}, Log. Methods Comput. Sci. 17, No. 1, Paper No. 14, 26 p. (2021; Zbl 07327947) Full Text: Link arXiv
Dongol, Brijesh; Hayes, Ian J.; Struth, Georg Convolution algebras: relational convolution, generalised modalities and incidence algebras. (English) Zbl 07327946 Log. Methods Comput. Sci. 17, No. 1, Paper No. 13, 34 p. (2021). MSC: 03B70 68 PDF BibTeX XML Cite \textit{B. Dongol} et al., Log. Methods Comput. Sci. 17, No. 1, Paper No. 13, 34 p. (2021; Zbl 07327946) Full Text: Link arXiv
Beillahi, Sidi Mohamed; Bouajjani, Ahmed; Enea, Constantin Robustness against transactional causal consistency. (English) Zbl 07327945 Log. Methods Comput. Sci. 17, No. 1, Paper No. 12, 42 p. (2021). MSC: 03B70 68 PDF BibTeX XML Cite \textit{S. M. Beillahi} et al., Log. Methods Comput. Sci. 17, No. 1, Paper No. 12, 42 p. (2021; Zbl 07327945) Full Text: Link arXiv
Courcelle, Bruno Axiomatization of betweenness in order-theoretic trees. (English) Zbl 07327944 Log. Methods Comput. Sci. 17, No. 1, Paper No. 11, 42 p. (2021). MSC: 03B70 68 PDF BibTeX XML Cite \textit{B. Courcelle}, Log. Methods Comput. Sci. 17, No. 1, Paper No. 11, 42 p. (2021; Zbl 07327944) Full Text: Link arXiv
Aghajohari, Milad; Avni, Guy; Henzinger, Thomas A. Determinacy in discrete-bidding infinite-duration games. (English) Zbl 07327943 Log. Methods Comput. Sci. 17, No. 1, Paper No. 10, 23 p. (2021). MSC: 03B70 68 PDF BibTeX XML Cite \textit{M. Aghajohari} et al., Log. Methods Comput. Sci. 17, No. 1, Paper No. 10, 23 p. (2021; Zbl 07327943) Full Text: Link arXiv
Bacci, Giorgio; Bacci, Giovanni; Larsen, Kim G.; Mardare, Radu; Tang, Qiyi; van Breugel, Franck Computing probabilistic bisimilarity distances for probabilistic automata. (English) Zbl 07327942 Log. Methods Comput. Sci. 17, No. 1, Paper No. 9, 36 p. (2021). MSC: 03B70 68 PDF BibTeX XML Cite \textit{G. Bacci} et al., Log. Methods Comput. Sci. 17, No. 1, Paper No. 9, 36 p. (2021; Zbl 07327942) Full Text: Link arXiv
Laveaux, Maurice; Groote, Jan Friso; Willemse, Tim A. C. Correct and efficient antichain algorithms for refinement checking. (English) Zbl 07327941 Log. Methods Comput. Sci. 17, No. 1, Paper No. 8, 40 p. (2021). MSC: 03B70 68 PDF BibTeX XML Cite \textit{M. Laveaux} et al., Log. Methods Comput. Sci. 17, No. 1, Paper No. 8, 40 p. (2021; Zbl 07327941) Full Text: Link arXiv
Bucciarelli, Antonio; Kesner, Delia; Ronchi Della Rocca, Simona Solvability = typability + inhabitation. (English) Zbl 07327940 Log. Methods Comput. Sci. 17, No. 1, Paper No. 7, 27 p. (2021). MSC: 03B70 68 PDF BibTeX XML Cite \textit{A. Bucciarelli} et al., Log. Methods Comput. Sci. 17, No. 1, Paper No. 7, 27 p. (2021; Zbl 07327940) Full Text: Link arXiv
Parrow, Joachim; Borgström, Johannes; Eriksson, Lars-Henrik; Forsberg Gutkovas, Ramūnas; Weber, Tjark Modal logics for nominal transition systems. (English) Zbl 07327939 Log. Methods Comput. Sci. 17, No. 1, Paper No. 6, 49 p. (2021). MSC: 03B70 68 PDF BibTeX XML Cite \textit{J. Parrow} et al., Log. Methods Comput. Sci. 17, No. 1, Paper No. 6, 49 p. (2021; Zbl 07327939) Full Text: Link arXiv
Bojańczyk, Mikołaj; Grohe, Martin; Pilipczuk, Michał Definable decompositions for graphs of bounded linear cliquewidth. (English) Zbl 07327938 Log. Methods Comput. Sci. 17, No. 1, Paper No. 5, 40 p. (2021). MSC: 03B70 68 PDF BibTeX XML Cite \textit{M. Bojańczyk} et al., Log. Methods Comput. Sci. 17, No. 1, Paper No. 5, 40 p. (2021; Zbl 07327938) Full Text: Link arXiv
Wang, Bin; Shen, Jun; Zhang, Shutao; Zhang, Zhizheng On the strong equivalences for \(\mathrm{LP^{MLN}}\) programs. (English) Zbl 07327937 Log. Methods Comput. Sci. 17, No. 1, Paper No. 4, 46 p. (2021). MSC: 03B70 68 PDF BibTeX XML Cite \textit{B. Wang} et al., Log. Methods Comput. Sci. 17, No. 1, Paper No. 4, 46 p. (2021; Zbl 07327937) Full Text: Link arXiv
Carranza, Daniel; Chang, Jonathan; Kapulkin, Chris; Sandford, Ryan 2-adjoint equivalences in homotopy type theory. (English) Zbl 07327936 Log. Methods Comput. Sci. 17, No. 1, Paper No. 3, 9 p. (2021). MSC: 03B70 68 PDF BibTeX XML Cite \textit{D. Carranza} et al., Log. Methods Comput. Sci. 17, No. 1, Paper No. 3, 9 p. (2021; Zbl 07327936) Full Text: Link arXiv
Bhaskar, Siddharth; Kruckman, Alex Tameness in least fixed-point logic and McColm’s conjecture. (English) Zbl 07327935 Log. Methods Comput. Sci. 17, No. 1, Paper No. 2, 16 p. (2021). MSC: 03B70 68 PDF BibTeX XML Cite \textit{S. Bhaskar} and \textit{A. Kruckman}, Log. Methods Comput. Sci. 17, No. 1, Paper No. 2, 16 p. (2021; Zbl 07327935) Full Text: Link arXiv
Bravetti, Mario Axiomatizing maximal progress and discrete time. (English) Zbl 07327934 Log. Methods Comput. Sci. 17, No. 1, Paper No. 1, 44 p. (2021). MSC: 03B70 68 PDF BibTeX XML Cite \textit{M. Bravetti}, Log. Methods Comput. Sci. 17, No. 1, Paper No. 1, 44 p. (2021; Zbl 07327934) Full Text: Link arXiv
Rideau-Kikuchi, Silvain A short note on groups in separably closed valued fields. (English) Zbl 07327748 Ann. Pure Appl. Logic 172, No. 4, Article ID 102943, 9 p. (2021). MSC: 12L12 12J25 03C45 03C60 PDF BibTeX XML Cite \textit{S. Rideau-Kikuchi}, Ann. Pure Appl. Logic 172, No. 4, Article ID 102943, 9 p. (2021; Zbl 07327748) Full Text: DOI
Dinis, Bruno; Oliva, Paulo A parametrised functional interpretation of Heyting arithmetic. (English) Zbl 07327747 Ann. Pure Appl. Logic 172, No. 4, Article ID 102940, 24 p. (2021). MSC: 03F07 03F10 03F30 03F55 PDF BibTeX XML Cite \textit{B. Dinis} and \textit{P. Oliva}, Ann. Pure Appl. Logic 172, No. 4, Article ID 102940, 24 p. (2021; Zbl 07327747) Full Text: DOI
Aguilera, Juan P.; Müller, Sandra; Schlicht, Philipp Long games and \(\sigma \)-projective sets. (English) Zbl 07327746 Ann. Pure Appl. Logic 172, No. 4, Article ID 102939, 24 p. (2021). MSC: 03E60 03E45 03E15 03E30 03E55 PDF BibTeX XML Cite \textit{J. P. Aguilera} et al., Ann. Pure Appl. Logic 172, No. 4, Article ID 102939, 24 p. (2021; Zbl 07327746) Full Text: DOI
Ozawa, Masanao Quantum set theory: transfer principle and de Morgan’s laws. (English) Zbl 07327745 Ann. Pure Appl. Logic 172, No. 4, Article ID 102938, 42 p. (2021). MSC: 03E40 03E70 03E75 03G12 06C15 46L60 81P10 PDF BibTeX XML Cite \textit{M. Ozawa}, Ann. Pure Appl. Logic 172, No. 4, Article ID 102938, 42 p. (2021; Zbl 07327745) Full Text: DOI
Müller, Moritz Typical forcings, NP search problems and an extension of a theorem of Riis. (English) Zbl 07327744 Ann. Pure Appl. Logic 172, No. 4, Article ID 102930, 44 p. (2021). MSC: 03E75 03C25 03H99 03F20 03D15 68Q17 PDF BibTeX XML Cite \textit{M. Müller}, Ann. Pure Appl. Logic 172, No. 4, Article ID 102930, 44 p. (2021; Zbl 07327744) Full Text: DOI
Kanovei, Vladimir; Lyubetsky, Vassily The full basis theorem does not imply analytic wellordering. (English) Zbl 07327743 Ann. Pure Appl. Logic 172, No. 4, Article ID 102929, 46 p. (2021). MSC: 03E15 03E25 03E35 03E40 PDF BibTeX XML Cite \textit{V. Kanovei} and \textit{V. Lyubetsky}, Ann. Pure Appl. Logic 172, No. 4, Article ID 102929, 46 p. (2021; Zbl 07327743) Full Text: DOI
Dolecki, Szymon; Starosolski, Andrzej Continuous extension of maps between sequential cascades. (English) Zbl 07327742 Ann. Pure Appl. Logic 172, No. 4, Article ID 102928, 18 p. (2021). MSC: 03E05 05C05 54A20 54C20 03E04 54D55 PDF BibTeX XML Cite \textit{S. Dolecki} and \textit{A. Starosolski}, Ann. Pure Appl. Logic 172, No. 4, Article ID 102928, 18 p. (2021; Zbl 07327742) Full Text: DOI
Lee, Junguk; Lee, Wan On the structure of certain valued fields. (English) Zbl 07327741 Ann. Pure Appl. Logic 172, No. 4, Article ID 102927, 24 p. (2021). MSC: 11U09 13L05 11S15 03C60 PDF BibTeX XML Cite \textit{J. Lee} and \textit{W. Lee}, Ann. Pure Appl. Logic 172, No. 4, Article ID 102927, 24 p. (2021; Zbl 07327741) Full Text: DOI
Benhamou, Tom; Gitik, Moti Sets in Prikry and Magidor generic extensions. (English) Zbl 07327740 Ann. Pure Appl. Logic 172, No. 4, Article ID 102926, 51 p. (2021). MSC: 03E40 03E55 03E35 03E99 PDF BibTeX XML Cite \textit{T. Benhamou} and \textit{M. Gitik}, Ann. Pure Appl. Logic 172, No. 4, Article ID 102926, 51 p. (2021; Zbl 07327740) Full Text: DOI
Castiblanco, Fabiana; Schlicht, Philipp Preserving levels of projective determinacy by tree forcings. (English) Zbl 07327739 Ann. Pure Appl. Logic 172, No. 4, Article ID 102918, 34 p. (2021). MSC: 03E15 03E45 03E55 03E57 03E60 PDF BibTeX XML Cite \textit{F. Castiblanco} and \textit{P. Schlicht}, Ann. Pure Appl. Logic 172, No. 4, Article ID 102918, 34 p. (2021; Zbl 07327739) Full Text: DOI
Kohlenbach, Ulrich; López-Acedo, Genaro; Nicolae, Adriana A uniform betweenness property in metric spaces and its role in the quantitative analysis of the “lion-man” game. (English) Zbl 07326757 Pac. J. Math. 310, No. 1, 181-212 (2021). MSC: 49N75 91A24 03F10 53C23 PDF BibTeX XML Cite \textit{U. Kohlenbach} et al., Pac. J. Math. 310, No. 1, 181--212 (2021; Zbl 07326757) Full Text: DOI
Hayut, Yair; Unger, Spencer Stationary reflection. (English) Zbl 07326443 J. Symb. Log. 85, No. 3, 937-959 (2021). MSC: 03E35 03E55 PDF BibTeX XML Cite \textit{Y. Hayut} and \textit{S. Unger}, J. Symb. Log. 85, No. 3, 937--959 (2021; Zbl 07326443) Full Text: DOI
Logan, Shay Allen Hyperdoctrines and the ontology of stratified semantics. (English) Zbl 07326294 Fazio, Davide (ed.) et al., Algebraic perspectives on substructural logics. Selected papers based on the presentations at the workshop AsubL (Algebra & Substructural Logics – Take 6), Cagliari, Italy, June 11–13, 2018. Cham: Springer (ISBN 978-3-030-52162-2/hbk; 978-3-030-52163-9/ebook). Trends in Logic – Studia Logica Library 55, 169-193 (2021). MSC: 06 03B47 03G25 06Dxx PDF BibTeX XML Cite \textit{S. A. Logan}, Trends Log. Stud. Log. Libr. 55, 169--193 (2021; Zbl 07326294) Full Text: DOI
Rivieccio, Umberto; Spinks, Matthew Quasi-Nelson; or, non-involutive Nelson algebras. (English) Zbl 07326293 Fazio, Davide (ed.) et al., Algebraic perspectives on substructural logics. Selected papers based on the presentations at the workshop AsubL (Algebra & Substructural Logics – Take 6), Cagliari, Italy, June 11–13, 2018. Cham: Springer (ISBN 978-3-030-52162-2/hbk; 978-3-030-52163-9/ebook). Trends in Logic – Studia Logica Library 55, 133-168 (2021). MSC: 06 03B47 03G25 06Dxx PDF BibTeX XML Cite \textit{U. Rivieccio} and \textit{M. Spinks}, Trends Log. Stud. Log. Libr. 55, 133--168 (2021; Zbl 07326293) Full Text: DOI
Giuntini, Roberto; Mureşan, Claudia; Paoli, Francesco PBZ*-lattices: ordinal and horizontal sums. (English) Zbl 07326291 Fazio, Davide (ed.) et al., Algebraic perspectives on substructural logics. Selected papers based on the presentations at the workshop AsubL (Algebra & Substructural Logics – Take 6), Cagliari, Italy, June 11–13, 2018. Cham: Springer (ISBN 978-3-030-52162-2/hbk; 978-3-030-52163-9/ebook). Trends in Logic – Studia Logica Library 55, 73-105 (2021). MSC: 08B15 06B10 08B26 03G25 03G12 PDF BibTeX XML Cite \textit{R. Giuntini} et al., Trends Log. Stud. Log. Libr. 55, 73--105 (2021; Zbl 07326291) Full Text: DOI
Chajda, Ivan; Länger, Helmut; Paseka, Jan Residuated operators and Dedekind-MacNeille completion. (English) Zbl 07326290 Fazio, Davide (ed.) et al., Algebraic perspectives on substructural logics. Selected papers based on the presentations at the workshop AsubL (Algebra & Substructural Logics – Take 6), Cagliari, Italy, June 11–13, 2018. Cham: Springer (ISBN 978-3-030-52162-2/hbk; 978-3-030-52163-9/ebook). Trends in Logic – Studia Logica Library 55, 57-72 (2021). MSC: 06 03B47 03G25 06Dxx PDF BibTeX XML Cite \textit{I. Chajda} et al., Trends Log. Stud. Log. Libr. 55, 57--72 (2021; Zbl 07326290) Full Text: DOI
Chajda, Ivan; Länger, Helmut Implication in weakly and dually weakly orthomodular lattices. (English) Zbl 07326289 Fazio, Davide (ed.) et al., Algebraic perspectives on substructural logics. Selected papers based on the presentations at the workshop AsubL (Algebra & Substructural Logics – Take 6), Cagliari, Italy, June 11–13, 2018. Cham: Springer (ISBN 978-3-030-52162-2/hbk; 978-3-030-52163-9/ebook). Trends in Logic – Studia Logica Library 55, 41-56 (2021). MSC: 06C15 03G10 03G12 PDF BibTeX XML Cite \textit{I. Chajda} and \textit{H. Länger}, Trends Log. Stud. Log. Libr. 55, 41--56 (2021; Zbl 07326289) Full Text: DOI
Ertola-Biraben, Rodolfo C.; Esteva, Francesc; Godo, Lluís On distributive join semilattices. (English) Zbl 07326288 Fazio, Davide (ed.) et al., Algebraic perspectives on substructural logics. Selected papers based on the presentations at the workshop AsubL (Algebra & Substructural Logics – Take 6), Cagliari, Italy, June 11–13, 2018. Cham: Springer (ISBN 978-3-030-52162-2/hbk; 978-3-030-52163-9/ebook). Trends in Logic – Studia Logica Library 55, 21-40 (2021). MSC: 06 03B47 03G25 06Dxx PDF BibTeX XML Cite \textit{R. C. Ertola-Biraben} et al., Trends Log. Stud. Log. Libr. 55, 21--40 (2021; Zbl 07326288) Full Text: DOI
Aglianò, Paolo Distributivity and varlet distributivity. (English) Zbl 07326287 Fazio, Davide (ed.) et al., Algebraic perspectives on substructural logics. Selected papers based on the presentations at the workshop AsubL (Algebra & Substructural Logics – Take 6), Cagliari, Italy, June 11–13, 2018. Cham: Springer (ISBN 978-3-030-52162-2/hbk; 978-3-030-52163-9/ebook). Trends in Logic – Studia Logica Library 55, 11-20 (2021). MSC: 06 03B47 03G25 06Dxx PDF BibTeX XML Cite \textit{P. Aglianò}, Trends Log. Stud. Log. Libr. 55, 11--20 (2021; Zbl 07326287) Full Text: DOI