Clontz, Steven Arhangelskii’s \(\alpha\)-principles and selection games. (English) Zbl 07303628 Topol. Proc. 59, 13-23 (2022). MSC: 54A20 54D20 91A44 PDF BibTeX XML Cite \textit{S. Clontz}, Topol. Proc. 59, 13--23 (2022; Zbl 07303628) Full Text: Link
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
Hoefnagel, Michael Anticommutativity and the triangular lemma. (English) Zbl 07317152 Algebra Univers. 82, No. 2, Paper No. 19, 22 p. (2021). MSC: 08B05 08B10 18E13 PDF BibTeX XML Cite \textit{M. Hoefnagel}, Algebra Univers. 82, No. 2, Paper No. 19, 22 p. (2021; Zbl 07317152) Full Text: DOI
Cocke, William; Skabelund, Dane The maximal class 2-groups generate the same variety. (English) Zbl 07317150 Algebra Univers. 82, No. 1, Paper No. 17, 7 p. (2021). MSC: 20E10 20F10 PDF BibTeX XML Cite \textit{W. Cocke} and \textit{D. Skabelund}, Algebra Univers. 82, No. 1, Paper No. 17, 7 p. (2021; Zbl 07317150) Full Text: DOI
Duvieusart, Arnaud Fundamental groupoids for simplicial objects in Mal’tsev categories. (English) Zbl 07317123 J. Pure Appl. Algebra 225, No. 6, Article ID 106620, 31 p. (2021). MSC: 18E10 18E99 18G30 08B05 18A32 18A35 PDF BibTeX XML Cite \textit{A. Duvieusart}, J. Pure Appl. Algebra 225, No. 6, Article ID 106620, 31 p. (2021; Zbl 07317123) Full Text: DOI
Snyder, Eric Semantics and the ontology of number (to appear). (English) Zbl 07316287 Elements in the Philosophy of Mathematics. Cambridge: Cambridge University Press (ISBN 978-1-108-45625-8/pbk). (2021). MSC: 03-03 03A05 PDF BibTeX XML
Francalanza, Adrian; Cini, Clare Computer says no: verdict explainability for runtime monitors using a local proof system. (English) Zbl 07316068 J. Log. Algebr. Methods Program. 119, Article ID 100636, 25 p. (2021). MSC: 68Q60 03B44 PDF BibTeX XML Cite \textit{A. Francalanza} and \textit{C. Cini}, J. Log. Algebr. Methods Program. 119, Article ID 100636, 25 p. (2021; Zbl 07316068) Full Text: DOI
Kannimoola, Jinesh M.; Jayaraman, Bharat; Achuthan, Krishnashree Semantics of temporal constrained objects. (English) Zbl 07316065 J. Log. Algebr. Methods Program. 119, Article ID 100632, 17 p. (2021). MSC: 68N17 68Q55 PDF BibTeX XML Cite \textit{J. M. Kannimoola} et al., J. Log. Algebr. Methods Program. 119, Article ID 100632, 17 p. (2021; Zbl 07316065) Full Text: DOI
Bozga, Marius; Iosif, Radu; Sifakis, Joseph Checking deadlock-freedom of parametric component-based systems. (English) Zbl 07316061 J. Log. Algebr. Methods Program. 119, Article ID 100621, 23 p. (2021). MSC: 68Q60 03B70 68Q85 PDF BibTeX XML Cite \textit{M. Bozga} et al., J. Log. Algebr. Methods Program. 119, Article ID 100621, 23 p. (2021; Zbl 07316061) Full Text: DOI
Rusu, Vlad; Nowak, David (Co)inductive proof systems for compositional proofs in reachability logic. (English) Zbl 07316058 J. Log. Algebr. Methods Program. 118, Article ID 100619, 28 p. (2021). MSC: 03B70 68V20 PDF BibTeX XML Cite \textit{V. Rusu} and \textit{D. Nowak}, J. Log. Algebr. Methods Program. 118, Article ID 100619, 28 p. (2021; Zbl 07316058) Full Text: DOI
Navarro, Marisa; Orejas, Fernando; Pino, Elvira; Lambers, Leen A navigational logic for reasoning about graph properties. (English) Zbl 07316055 J. Log. Algebr. Methods Program. 118, Article ID 100616, 34 p. (2021). MSC: 68R10 03B70 PDF BibTeX XML Cite \textit{M. Navarro} et al., J. Log. Algebr. Methods Program. 118, Article ID 100616, 34 p. (2021; Zbl 07316055) Full Text: DOI
Lyutikova, L. A. Construction of a logical-algebraic corrector to increase the adaptive properties of the \(\Sigma \Pi \)-neuron. (English. Russian original) Zbl 07315948 J. Math. Sci., New York 253, No. 4, 539-546 (2021); translation from Itogi Nauki Tekh., Ser. Sovrem. Mat. Prilozh., Temat. Obz. 154, 81-88 (2018). MSC: 68T05 68T27 PDF BibTeX XML Cite \textit{L. A. Lyutikova}, J. Math. Sci., New York 253, No. 4, 539--546 (2021; Zbl 07315948); translation from Itogi Nauki Tekh., Ser. Sovrem. Mat. Prilozh., Temat. Obz. 154, 81--88 (2018) Full Text: DOI
Dmitrichenko, D. P.; Zhilov, R. A. The method of construction of logical neural networks on the basis of variable-valued logical functions. (English. Russian original) Zbl 07315943 J. Math. Sci., New York 253, No. 4, 500-505 (2021); translation from Itogi Nauki Tekh., Ser. Sovrem. Mat. Prilozh., Temat. Obz. 154, 43-48 (2018). MSC: 68T27 PDF BibTeX XML Cite \textit{D. P. Dmitrichenko} and \textit{R. A. Zhilov}, J. Math. Sci., New York 253, No. 4, 500--505 (2021; Zbl 07315943); translation from Itogi Nauki Tekh., Ser. Sovrem. Mat. Prilozh., Temat. Obz. 154, 43--48 (2018) Full Text: DOI
Liu, Dacai; Liu, Zhi; Chen, C. L. Philip; Zhang, Yun Prescribed-time containment control with prescribed performance for uncertain nonlinear multi-agent systems. (English) Zbl 07315752 J. Franklin Inst. 358, No. 3, 1782-1811 (2021). MSC: 93C42 93A16 93C40 93C10 93C41 PDF BibTeX XML Cite \textit{D. Liu} et al., J. Franklin Inst. 358, No. 3, 1782--1811 (2021; Zbl 07315752) Full Text: DOI
Wittgenstein, Ludwig Ludwig Wittgenstein. Vienna edition. Vol. 9. Philosophical remarks. Edited by Michael Nedo. (Ludwig Wittgenstein. Wiener Ausgabe Band 9. Philosophische Bemerkungen.) (German, English) Zbl 07314656 Frankfurt am Main: Vittorio Klostermann (ISBN 978-3-465-01796-7/hbk). xx, 141 p. (2021). MSC: 00A30 03A05 01A75 03-03 PDF BibTeX XML Cite \textit{L. Wittgenstein}, Ludwig Wittgenstein. Wiener Ausgabe Band 9. Philosophische Bemerkungen. Frankfurt am Main: Vittorio Klostermann (2021; Zbl 07314656)
Carbin, Michael; Misailovic, Sasa Programming unreliable hardware. (English) Zbl 07311055 Barthe, Gilles (ed.) et al., Foundations of probabilistic programming. Cambridge: Cambridge University Press (ISBN 978-1-108-48851-8/hbk; 978-1-108-77075-0/ebook). 533-568 (2021). MSC: 68N01 PDF BibTeX XML Cite \textit{M. Carbin} and \textit{S. Misailovic}, in: Foundations of probabilistic programming. Cambridge: Cambridge University Press. 533--568 (2021; Zbl 07311055) Full Text: DOI
Gordon, Andrew D.; Russo, Claudio; Szymczak, Marcin; Borgström, Johannes; Rolland, Nicolas; Graepel, Thore; Tarlow, Daniel Tabular: probabilistic inference from the spreadsheet. (English) Zbl 07311054 Barthe, Gilles (ed.) et al., Foundations of probabilistic programming. Cambridge: Cambridge University Press (ISBN 978-1-108-48851-8/hbk; 978-1-108-77075-0/ebook). 489-532 (2021). MSC: 68N01 PDF BibTeX XML Cite \textit{A. D. Gordon} et al., in: Foundations of probabilistic programming. Cambridge: Cambridge University Press. 489--532 (2021; Zbl 07311054) Full Text: DOI
Lampropoulos, Leonidas; Pierce, Benjamin C.; Xia, Li-yao; Gallois-Wong, Diane; Hriţcu, Cătălin; Hughes, John Luck: a probabilistic language for testing. (English) Zbl 07311053 Barthe, Gilles (ed.) et al., Foundations of probabilistic programming. Cambridge: Cambridge University Press (ISBN 978-1-108-48851-8/hbk; 978-1-108-77075-0/ebook). 449-488 (2021). MSC: 68N01 PDF BibTeX XML Cite \textit{L. Lampropoulos} et al., in: Foundations of probabilistic programming. Cambridge: Cambridge University Press. 449--488 (2021; Zbl 07311053) Full Text: DOI
Gibbons, Jeremy; McIver, Annabelle; Morgan, Carroll; Schrijvers, Tom Quantitative information flow with monads in Haskell. (English) Zbl 07311052 Barthe, Gilles (ed.) et al., Foundations of probabilistic programming. Cambridge: Cambridge University Press (ISBN 978-1-108-48851-8/hbk; 978-1-108-77075-0/ebook). 391-448 (2021). MSC: 68N01 PDF BibTeX XML Cite \textit{J. Gibbons} et al., in: Foundations of probabilistic programming. Cambridge: Cambridge University Press. 391--448 (2021; Zbl 07311052) Full Text: DOI
Trilla, José Manuel Calderón; Hicks, Michael; Magill, Stephen; Mardziel, Piotr; Sweet, Ian Probabilistic abstract interpretation: sound inference and application to privacy. (English) Zbl 07311051 Barthe, Gilles (ed.) et al., Foundations of probabilistic programming. Cambridge: Cambridge University Press (ISBN 978-1-108-48851-8/hbk; 978-1-108-77075-0/ebook). 361-390 (2021). MSC: 68N01 PDF BibTeX XML Cite \textit{J. M. C. Trilla} et al., in: Foundations of probabilistic programming. Cambridge: Cambridge University Press. 361--390 (2021; Zbl 07311051) Full Text: DOI
Bacci, Giorgio; Mardare, Radu; Panangaden, Prakash; Plotkin, Gordon Quantitative equational reasoning. (English) Zbl 07311050 Barthe, Gilles (ed.) et al., Foundations of probabilistic programming. Cambridge: Cambridge University Press (ISBN 978-1-108-48851-8/hbk; 978-1-108-77075-0/ebook). 333-360 (2021). MSC: 68N01 PDF BibTeX XML Cite \textit{G. Bacci} et al., in: Foundations of probabilistic programming. Cambridge: Cambridge University Press. 333--360 (2021; Zbl 07311050) Full Text: DOI
Jacobs, Bart; Zanasi, Fabio The logical essentials of Bayesian reasoning. (English) Zbl 07311049 Barthe, Gilles (ed.) et al., Foundations of probabilistic programming. Cambridge: Cambridge University Press (ISBN 978-1-108-48851-8/hbk; 978-1-108-77075-0/ebook). 295-332 (2021). MSC: 68N01 PDF BibTeX XML Cite \textit{B. Jacobs} and \textit{F. Zanasi}, in: Foundations of probabilistic programming. Cambridge: Cambridge University Press. 295--332 (2021; Zbl 07311049) Full Text: DOI
Sankaranarayanan, Sriram Quantitative analysis of programs with probabilities and concentration of measure inequalities. (English) Zbl 07311048 Barthe, Gilles (ed.) et al., Foundations of probabilistic programming. Cambridge: Cambridge University Press (ISBN 978-1-108-48851-8/hbk; 978-1-108-77075-0/ebook). 259-294 (2021). MSC: 68N01 PDF BibTeX XML Cite \textit{S. Sankaranarayanan}, in: Foundations of probabilistic programming. Cambridge: Cambridge University Press. 259--294 (2021; Zbl 07311048) Full Text: DOI
Chatterjee, Krishnendu; Fu, Hongfei; Novotný, Petr Termination analysis of probabilistic programs with martingales. (English) Zbl 07311047 Barthe, Gilles (ed.) et al., Foundations of probabilistic programming. Cambridge: Cambridge University Press (ISBN 978-1-108-48851-8/hbk; 978-1-108-77075-0/ebook). 221-258 (2021). MSC: 68N01 PDF BibTeX XML Cite \textit{K. Chatterjee} et al., in: Foundations of probabilistic programming. Cambridge: Cambridge University Press. 221--258 (2021; Zbl 07311047) Full Text: DOI
Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Matheja, Christoph Expected runtime analyis by program verification. (English) Zbl 07311046 Barthe, Gilles (ed.) et al., Foundations of probabilistic programming. Cambridge: Cambridge University Press (ISBN 978-1-108-48851-8/hbk; 978-1-108-77075-0/ebook). 185-220 (2021). MSC: 68N01 PDF BibTeX XML Cite \textit{B. L. Kaminski} et al., in: Foundations of probabilistic programming. Cambridge: Cambridge University Press. 185--220 (2021; Zbl 07311046) Full Text: DOI
Barthe, Gilles; Hsu, Justin Probabilistic couplings from program logics. (English) Zbl 07311045 Barthe, Gilles (ed.) et al., Foundations of probabilistic programming. Cambridge: Cambridge University Press (ISBN 978-1-108-48851-8/hbk; 978-1-108-77075-0/ebook). 145-184 (2021). MSC: 68N01 PDF BibTeX XML Cite \textit{G. Barthe} and \textit{J. Hsu}, in: Foundations of probabilistic programming. Cambridge: Cambridge University Press. 145--184 (2021; Zbl 07311045) Full Text: DOI
Dal Lago, Ugo On probabilistic \(\lambda\)-calculi. (English) Zbl 07311044 Barthe, Gilles (ed.) et al., Foundations of probabilistic programming. Cambridge: Cambridge University Press (ISBN 978-1-108-48851-8/hbk; 978-1-108-77075-0/ebook). 121-144 (2021). MSC: 68N01 PDF BibTeX XML Cite \textit{U. Dal Lago}, in: Foundations of probabilistic programming. Cambridge: Cambridge University Press. 121--144 (2021; Zbl 07311044) Full Text: DOI
Huang, Daniel; Morrisett, Greg; Spitters, Bas An application of computable distributions to the semantics of probabilistic programs. (English) Zbl 07311043 Barthe, Gilles (ed.) et al., Foundations of probabilistic programming. Cambridge: Cambridge University Press (ISBN 978-1-108-48851-8/hbk; 978-1-108-77075-0/ebook). 75-120 (2021). MSC: 68N01 PDF BibTeX XML Cite \textit{D. Huang} et al., in: Foundations of probabilistic programming. Cambridge: Cambridge University Press. 75--120 (2021; Zbl 07311043) Full Text: DOI
Staton, Sam Probabilistic programs as measures. (English) Zbl 07311042 Barthe, Gilles (ed.) et al., Foundations of probabilistic programming. Cambridge: Cambridge University Press (ISBN 978-1-108-48851-8/hbk; 978-1-108-77075-0/ebook). 43-74 (2021). MSC: 68N01 PDF BibTeX XML Cite \textit{S. Staton}, in: Foundations of probabilistic programming. Cambridge: Cambridge University Press. 43--74 (2021; Zbl 07311042) Full Text: DOI
Dahlqvist, Fredrik; Silva, Alexandra; Kozen, Dexter Semantics of probabilistic programming: a gentle introduction. (English) Zbl 07311041 Barthe, Gilles (ed.) et al., Foundations of probabilistic programming. Cambridge: Cambridge University Press (ISBN 978-1-108-48851-8/hbk; 978-1-108-77075-0/ebook). 1-42 (2021). MSC: 68N01 PDF BibTeX XML Cite \textit{F. Dahlqvist} et al., in: Foundations of probabilistic programming. Cambridge: Cambridge University Press. 1--42 (2021; Zbl 07311041) Full Text: DOI
Barthe, Gilles (ed.); Katoen, Joost-Pieter (ed.); Silva, Alexandra (ed.) Preface. (English) Zbl 07311040 Barthe, Gilles (ed.) et al., Foundations of probabilistic programming. Cambridge: Cambridge University Press (ISBN 978-1-108-48851-8/hbk; 978-1-108-77075-0/ebook). xi-xiv (2021). MSC: 68N01 PDF BibTeX XML Cite \textit{G. Barthe} (ed.) et al., in: Foundations of probabilistic programming. Cambridge: Cambridge University Press. xi-xiv (2021; Zbl 07311040) Full Text: DOI
Ehrlich, Philip Contemporary infinitesimalist theories of continua and their late nineteenth- and early twentieth-century forerunners. (English) Zbl 07309832 Shapiro, Stewart (ed.) et al., The history of continua. Philosophical and mathematical perspectives. Oxford: Oxford University Press (ISBN 978-0-19-880964-7/hbk). 502-570 (2021). MSC: 01 03 03-03 26-03 00A30 PDF BibTeX XML Cite \textit{P. Ehrlich}, in: The history of continua. Philosophical and mathematical perspectives. Oxford: Oxford University Press. 502--570 (2021; Zbl 07309832) Full Text: DOI
Bell, John L. Intuitionistic/constructive accounts of the continuum today. (English) Zbl 07309831 Shapiro, Stewart (ed.) et al., The history of continua. Philosophical and mathematical perspectives. Oxford: Oxford University Press (ISBN 978-0-19-880964-7/hbk). 476-501 (2021). MSC: 01 03 03-03 26-03 00A30 PDF BibTeX XML Cite \textit{J. L. Bell}, in: The history of continua. Philosophical and mathematical perspectives. Oxford: Oxford University Press. 476--501 (2021; Zbl 07309831) Full Text: DOI
Gerla, Giangiacomo Point-free continuum. (English) Zbl 07309830 Shapiro, Stewart (ed.) et al., The history of continua. Philosophical and mathematical perspectives. Oxford: Oxford University Press (ISBN 978-0-19-880964-7/hbk). 427-475 (2021). MSC: 01 03 03-03 26-03 00A30 PDF BibTeX XML Cite \textit{G. Gerla}, in: The history of continua. Philosophical and mathematical perspectives. Oxford: Oxford University Press. 427--475 (2021; Zbl 07309830) Full Text: DOI
Koellner, Peter The predicative conception of the continuum. (English) Zbl 07309829 Shapiro, Stewart (ed.) et al., The history of continua. Philosophical and mathematical perspectives. Oxford: Oxford University Press (ISBN 978-0-19-880964-7/hbk). 379-426 (2021). MSC: 01 03 03-03 26-03 00A30 PDF BibTeX XML Cite \textit{P. Koellner}, in: The history of continua. Philosophical and mathematical perspectives. Oxford: Oxford University Press. 379--426 (2021; Zbl 07309829) Full Text: DOI
Varzi, Achille C. Points as higher-order constructs. Whitehead’s method of extensive abstraction. (English) Zbl 07309828 Shapiro, Stewart (ed.) et al., The history of continua. Philosophical and mathematical perspectives. Oxford: Oxford University Press (ISBN 978-0-19-880964-7/hbk). 347-378 (2021). MSC: 01 03 03-03 26-03 00A30 PDF BibTeX XML Cite \textit{A. C. Varzi}, in: The history of continua. Philosophical and mathematical perspectives. Oxford: Oxford University Press. 347--378 (2021; Zbl 07309828) Full Text: DOI
Vargas, Francisco; Moore, Matthew E. The Peircean continuum. (English) Zbl 07309827 Shapiro, Stewart (ed.) et al., The history of continua. Philosophical and mathematical perspectives. Oxford: Oxford University Press (ISBN 978-0-19-880964-7/hbk). 328-346 (2021). MSC: 01 03 03-03 26-03 00A30 PDF BibTeX XML Cite \textit{F. Vargas} and \textit{M. E. Moore}, in: The history of continua. Philosophical and mathematical perspectives. Oxford: Oxford University Press. 328--346 (2021; Zbl 07309827) Full Text: DOI
McCarty, Charles Continuity in intuitionism. (English) Zbl 07309826 Shapiro, Stewart (ed.) et al., The history of continua. Philosophical and mathematical perspectives. Oxford: Oxford University Press (ISBN 978-0-19-880964-7/hbk). 299-327 (2021). MSC: 01 03 03-03 26-03 00A30 PDF BibTeX XML Cite \textit{C. McCarty}, in: The history of continua. Philosophical and mathematical perspectives. Oxford: Oxford University Press. 299--327 (2021; Zbl 07309826) Full Text: DOI
Mccarty, Charles What is a number? Continua, magnitudes, quantities. (English) Zbl 07309825 Shapiro, Stewart (ed.) et al., The history of continua. Philosophical and mathematical perspectives. Oxford: Oxford University Press (ISBN 978-0-19-880964-7/hbk). 283-298 (2021). MSC: 01 03 03-03 26-03 00A30 PDF BibTeX XML Cite \textit{C. Mccarty}, in: The history of continua. Philosophical and mathematical perspectives. Oxford: Oxford University Press. 283--298 (2021; Zbl 07309825) Full Text: DOI
Haffner, Emmylou; Schlimm, Dirk Dedekind on continuity. (English) Zbl 07309824 Shapiro, Stewart (ed.) et al., The history of continua. Philosophical and mathematical perspectives. Oxford: Oxford University Press (ISBN 978-0-19-880964-7/hbk). 255-282 (2021). MSC: 01 03 03-03 26-03 00A30 PDF BibTeX XML Cite \textit{E. Haffner} and \textit{D. Schlimm}, in: The history of continua. Philosophical and mathematical perspectives. Oxford: Oxford University Press. 255--282 (2021; Zbl 07309824) Full Text: DOI
Kanamori, Akihiro Cantor and continuity. (English) Zbl 07309823 Shapiro, Stewart (ed.) et al., The history of continua. Philosophical and mathematical perspectives. Oxford: Oxford University Press (ISBN 978-0-19-880964-7/hbk). 219-254 (2021). MSC: 01 03 03-03 26-03 00A30 PDF BibTeX XML Cite \textit{A. Kanamori}, in: The history of continua. Philosophical and mathematical perspectives. Oxford: Oxford University Press. 219--254 (2021; Zbl 07309823) Full Text: DOI
Rusnock, Paul Bolzano on continuity. (English) Zbl 07309822 Shapiro, Stewart (ed.) et al., The history of continua. Philosophical and mathematical perspectives. Oxford: Oxford University Press (ISBN 978-0-19-880964-7/hbk). 188-218 (2021). MSC: 01 03 03-03 26-03 00A30 PDF BibTeX XML Cite \textit{P. Rusnock}, in: The history of continua. Philosophical and mathematical perspectives. Oxford: Oxford University Press. 188--218 (2021; Zbl 07309822) Full Text: DOI
Sutherland, Daniel Continuity and intuition in eighteenth-century analysis and in Kant. (English) Zbl 07309821 Shapiro, Stewart (ed.) et al., The history of continua. Philosophical and mathematical perspectives. Oxford: Oxford University Press (ISBN 978-0-19-880964-7/hbk). 158-186 (2021). MSC: 01 03 03-03 26-03 00A30 PDF BibTeX XML Cite \textit{D. Sutherland}, in: The history of continua. Philosophical and mathematical perspectives. Oxford: Oxford University Press. 158--186 (2021; Zbl 07309821) Full Text: DOI
Levey, Samuel The continuum, the infinitely small, and the law of continuity in Leibniz. (English) Zbl 07309820 Shapiro, Stewart (ed.) et al., The history of continua. Philosophical and mathematical perspectives. Oxford: Oxford University Press (ISBN 978-0-19-880964-7/hbk). 123-157 (2021). MSC: 01 03 03-03 26-03 00A30 PDF BibTeX XML Cite \textit{S. Levey}, in: The history of continua. Philosophical and mathematical perspectives. Oxford: Oxford University Press. 123--157 (2021; Zbl 07309820) Full Text: DOI
Jesseph, Douglas M. The indivisibles of the continuum. Seventeenth-century adventures in infinitesimal mathematics. (English) Zbl 07309819 Shapiro, Stewart (ed.) et al., The history of continua. Philosophical and mathematical perspectives. Oxford: Oxford University Press (ISBN 978-0-19-880964-7/hbk). 104-122 (2021). MSC: 01 03 03-03 26-03 00A30 PDF BibTeX XML Cite \textit{D. M. Jesseph}, in: The history of continua. Philosophical and mathematical perspectives. Oxford: Oxford University Press. 104--122 (2021; Zbl 07309819) Full Text: DOI
Levey, Samuel Continuous extension and indivisibles in Galileo. (English) Zbl 07309818 Shapiro, Stewart (ed.) et al., The history of continua. Philosophical and mathematical perspectives. Oxford: Oxford University Press (ISBN 978-0-19-880964-7/hbk). 82-103 (2021). MSC: 01 03 03-03 26-03 00A30 PDF BibTeX XML Cite \textit{S. Levey}, in: The history of continua. Philosophical and mathematical perspectives. Oxford: Oxford University Press. 82--103 (2021; Zbl 07309818) Full Text: DOI
Dudley Sylla, Edith Infinity and continuity. (English) Zbl 07309817 Shapiro, Stewart (ed.) et al., The history of continua. Philosophical and mathematical perspectives. Oxford: Oxford University Press (ISBN 978-0-19-880964-7/hbk). 49-81 (2021). MSC: 01 03 03-03 26-03 00A30 PDF BibTeX XML Cite \textit{E. Dudley Sylla}, in: The history of continua. Philosophical and mathematical perspectives. Oxford: Oxford University Press. 49--81 (2021; Zbl 07309817) Full Text: DOI
Harari, Orna Contiguity, continuity, and continuous change. (English) Zbl 07309816 Shapiro, Stewart (ed.) et al., The history of continua. Philosophical and mathematical perspectives. Oxford: Oxford University Press (ISBN 978-0-19-880964-7/hbk). 27-48 (2021). MSC: 01 03 03-03 26-03 00A30 PDF BibTeX XML Cite \textit{O. Harari}, in: The history of continua. Philosophical and mathematical perspectives. Oxford: Oxford University Press. 27--48 (2021; Zbl 07309816) Full Text: DOI
Sattler, Barbara M. Divisibility or indivisibility. (English) Zbl 07309815 Shapiro, Stewart (ed.) et al., The history of continua. Philosophical and mathematical perspectives. Oxford: Oxford University Press (ISBN 978-0-19-880964-7/hbk). 6-26 (2021). MSC: 01 03 03-03 26-03 00A30 PDF BibTeX XML Cite \textit{B. M. Sattler}, in: The history of continua. Philosophical and mathematical perspectives. Oxford: Oxford University Press. 6--26 (2021; Zbl 07309815) Full Text: DOI
Nuspl, Philipp Solving a fixed number of equations over finite groups. (English) Zbl 07308304 Algebra Univers. 82, No. 1, Paper No. 12, 13 p. (2021). MSC: 20F10 13P15 PDF BibTeX XML Cite \textit{P. Nuspl}, Algebra Univers. 82, No. 1, Paper No. 12, 13 p. (2021; Zbl 07308304) Full Text: DOI
Kazda, Alexandr; Zhuk, Dmitriy Existence of cube terms in finite algebras. (English) Zbl 07308303 Algebra Univers. 82, No. 1, Paper No. 11, 29 p. (2021). MSC: 08B05 08A70 PDF BibTeX XML Cite \textit{A. Kazda} and \textit{D. Zhuk}, Algebra Univers. 82, No. 1, Paper No. 11, 29 p. (2021; Zbl 07308303) Full Text: DOI
Fioravanti, Stefano Mal’cev conditions corresponding to identities for compatible reflexive relations. (English) Zbl 07308302 Algebra Univers. 82, No. 1, Paper No. 10, 12 p. (2021). MSC: 03C05 08B05 08B10 PDF BibTeX XML Cite \textit{S. Fioravanti}, Algebra Univers. 82, No. 1, Paper No. 10, 12 p. (2021; Zbl 07308302) Full Text: DOI
Ciungu, Lavinia Corina Results in L-algebras. (English) Zbl 07308299 Algebra Univers. 82, No. 1, Paper No. 7, 18 p. (2021). MSC: 06F15 06F05 03G25 PDF BibTeX XML Cite \textit{L. C. Ciungu}, Algebra Univers. 82, No. 1, Paper No. 7, 18 p. (2021; Zbl 07308299) Full Text: DOI
Moraschini, T.; Raftery, J. G.; Wannenburg, J. J. Epimorphisms in varieties of subidempotent residuated structures. (English) Zbl 07308298 Algebra Univers. 82, No. 1, Paper No. 6, 26 p. (2021). MSC: 03B47 03G25 06F05 03B55 06D20 PDF BibTeX XML Cite \textit{T. Moraschini} et al., Algebra Univers. 82, No. 1, Paper No. 6, 26 p. (2021; Zbl 07308298) Full Text: DOI
Lipparini, Paolo The Tschantz and the Alvin higher conditions are equivalent in congruence distributive varieties. (English) Zbl 07308296 Algebra Univers. 82, No. 1, Paper No. 4, 12 p. (2021). MSC: 08B10 08B05 PDF BibTeX XML Cite \textit{P. Lipparini}, Algebra Univers. 82, No. 1, Paper No. 4, 12 p. (2021; Zbl 07308296) Full Text: DOI
Gutierrez, Julian; Perelli, Giuseppe; Wooldridge, Michael Multi-player games with LDL goals over finite traces. (English) Zbl 07307499 Inf. Comput. 276, Article ID 104555, 17 p. (2021). MSC: 68Q PDF BibTeX XML Cite \textit{J. Gutierrez} et al., Inf. Comput. 276, Article ID 104555, 17 p. (2021; Zbl 07307499) Full Text: DOI
Goranko, Valentin; Kuusisto, Antti; Rönnholm, Raine Game-theoretic semantics for ATL\(^+\) with applications to model checking. (English) Zbl 07307498 Inf. Comput. 276, Article ID 104554, 24 p. (2021). MSC: 68Q PDF BibTeX XML Cite \textit{V. Goranko} et al., Inf. Comput. 276, Article ID 104554, 24 p. (2021; Zbl 07307498) Full Text: DOI
Belardinelli, Francesco; Condurache, Rodica; Dima, Cătălin; Jamroga, Wojciech; Knapik, Michal Bisimulations for verifying strategic abilities with an application to the ThreeBallot voting protocol. (English) Zbl 07307496 Inf. Comput. 276, Article ID 104552, 25 p. (2021). MSC: 68Q PDF BibTeX XML Cite \textit{F. Belardinelli} et al., Inf. Comput. 276, Article ID 104552, 25 p. (2021; Zbl 07307496) Full Text: DOI
Kutsch, S. Knowledge representation and inductive reasoning using conditional logic and sets of ranking functions (to appear). (English) Zbl 07305749 DISKI. Dissertationen zur Künstlichen Intelligenz 350. Amsterdam: IOS Press; Heidelberg: Akademische Verlagsgesellschaft Aka (Diss.) (ISBN 978-1-64368-162-7/pbk; 978-1-64368-163-4/ebook). 184 p. (2021). MSC: 68-02 68T27 68T30 PDF BibTeX XML Cite \textit{S. Kutsch}, Knowledge representation and inductive reasoning using conditional logic and sets of ranking functions (to appear). Amsterdam: IOS Press; Heidelberg: Akademische Verlagsgesellschaft Aka (Diss.) (2021; Zbl 07305749)
Cadavid-Aguilar, Natalia; González, Jesús Effective topological complexity of orientable-surface groups. (English) Zbl 07305094 Topology Appl. 290, Article ID 107575, 26 p. (2021). MSC: 20F10 20J06 55M30 55N25 68T40 68Q42 PDF BibTeX XML Cite \textit{N. Cadavid-Aguilar} and \textit{J. González}, Topology Appl. 290, Article ID 107575, 26 p. (2021; Zbl 07305094) Full Text: DOI
Meshaik, S.; Oner, T. The maximal cardinality of the base in \(P_2\times P_2 \). (English. Russian original) Zbl 07304939 Sib. Math. J. 62, No. 1, 114-122 (2021); translation from Sib. Mat. Zh. 62, No. 1, 144-153 (2021). MSC: 03G 06D PDF BibTeX XML Cite \textit{S. Meshaik} and \textit{T. Oner}, Sib. Math. J. 62, No. 1, 114--122 (2021; Zbl 07304939); translation from Sib. Mat. Zh. 62, No. 1, 144--153 (2021) Full Text: DOI
Brendel, Elke Logic script 2. Introduction into modal logic (to appear). (Logik-Skript 2. Einführung in die Modallogik.) (German) Zbl 07304778 Klostermann RoteReihe 131. Frankfurt am Main: Vittorio Klostermann (ISBN 978-3-465-04528-1/pbk). 191 p. (2021). MSC: 03-01 03B45 PDF BibTeX XML Cite \textit{E. Brendel}, Logik-Skript 2. Einführung in die Modallogik. Frankfurt am Main: Vittorio Klostermann (2021; Zbl 07304778)
Baier, Christel (ed); Goubault-Larrecq, Jean (ed.) 29th EACSL annual conference on computer science logic, CSL 2021, Ljubljana, Slovenia, virtual conference, January 25–28, 2021. (English) Zbl 1453.68009 LIPIcs – Leibniz International Proceedings in Informatics 183. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-175-7). xx, 38 articles, not consecutively paged, electronic only, open access (2021). MSC: 68-06 03-06 03B70 00B25 PDF BibTeX XML Cite \textit{C. Baier} and \textit{J. Goubault-Larrecq} (ed.), 29th EACSL annual conference on computer science logic, CSL 2021, Ljubljana, Slovenia, virtual conference, January 25--28, 2021. Wadern: Schloss Dagstuhl -- Leibniz Zentrum für Informatik (2021; Zbl 1453.68009) Full Text: DOI Link
Campion, Tim; Ye, Jinhe Homotopy types of abstract elementary classes. (English) Zbl 07303201 J. Pure Appl. Algebra 225, No. 5, Article ID 106461, 10 p. (2021). MSC: 03C52 03C75 18G30 55U10 PDF BibTeX XML Cite \textit{T. Campion} and \textit{J. Ye}, J. Pure Appl. Algebra 225, No. 5, Article ID 106461, 10 p. (2021; Zbl 07303201) Full Text: DOI
Avicenna The healing, logic: Isagoge. A new edition, English translation and commentary of the Kitāb al-Madḫal of Avicenna’s Kitāb al-Šifāʾ (to appear). (English) Zbl 07302009 Scientia Graeco-Arabica 31. Berlin: De Gruyter (ISBN 978-3-11-072668-8). 600 p. (2021). MSC: 01A75 01A30 03A05 PDF BibTeX XML Cite \textit{Avicenna}, \textit {The healing, logic: Isagoge}. A new edition, English translation and commentary of the Kitāb al-Madḫal of Avicenna's Kitāb al-Šifāʾ (to appear). Berlin: De Gruyter (2021; Zbl 07302009)
Zhang, Nan; Yu, Bin; Tian, Cong; Duan, Zhenhua; Yuan, Xiaoshuai Temporal logic specification mining of programs. (English) Zbl 07300878 Theor. Comput. Sci. 857, 29-42 (2021). MSC: 68Q PDF BibTeX XML Cite \textit{N. Zhang} et al., Theor. Comput. Sci. 857, 29--42 (2021; Zbl 07300878) Full Text: DOI
Mazari-Armida, Marcos Superstability, Noetherian rings and pure-semisimple rings. (English) Zbl 07300478 Ann. Pure Appl. Logic 172, No. 3, Article ID 102917, 25 p. (2021). MSC: 03C48 16B70 03C45 03C60 13L05 16P40 PDF BibTeX XML Cite \textit{M. Mazari-Armida}, Ann. Pure Appl. Logic 172, No. 3, Article ID 102917, 25 p. (2021; Zbl 07300478) Full Text: DOI
Badia, Guillermo; Noguera, Carles Lindström theorems in graded model theory. (English) Zbl 07300477 Ann. Pure Appl. Logic 172, No. 3, Article ID 102916, 31 p. (2021). MSC: 03C95 03B52 03B50 03C90 PDF BibTeX XML Cite \textit{G. Badia} and \textit{C. Noguera}, Ann. Pure Appl. Logic 172, No. 3, Article ID 102916, 31 p. (2021; Zbl 07300477) Full Text: DOI
Osin, D. A topological zero-one law and elementary equivalence of finitely generated groups. (English) Zbl 07300476 Ann. Pure Appl. Logic 172, No. 3, Article ID 102915, 37 p. (2021). MSC: 03C07 03C60 20F67 03E15 03C75 20F05 PDF BibTeX XML Cite \textit{D. Osin}, Ann. Pure Appl. Logic 172, No. 3, Article ID 102915, 37 p. (2021; Zbl 07300476) Full Text: DOI
Berger, Ulrich; Tsuiki, Hideki Intuitionistic fixed point logic. (English) Zbl 07300474 Ann. Pure Appl. Logic 172, No. 3, Article ID 102903, 57 p. (2021). MSC: 03B70 03D70 03D78 03F03 03F60 06B35 PDF BibTeX XML Cite \textit{U. Berger} and \textit{H. Tsuiki}, Ann. Pure Appl. Logic 172, No. 3, Article ID 102903, 57 p. (2021; Zbl 07300474) Full Text: DOI
Asri, M. S. M.; Wong, K. B.; Wong, P. C. Fundamental groups of graphs of cyclic subgroup separable and weakly potent groups. (English) Zbl 07299362 Algebra Colloq. 28, No. 1, 119-130 (2021). MSC: 20E06 20E26 20F10 PDF BibTeX XML Cite \textit{M. S. M. Asri} et al., Algebra Colloq. 28, No. 1, 119--130 (2021; Zbl 07299362) Full Text: DOI
Azimipour, Sanaz; Naumov, Pavel Axiomatic theory of betweenness. (English) Zbl 07297807 Arch. Math. Logic 60, No. 1-2, 227-239 (2021). MSC: 03B99 51H15 PDF BibTeX XML Cite \textit{S. Azimipour} and \textit{P. Naumov}, Arch. Math. Logic 60, No. 1--2, 227--239 (2021; Zbl 07297807) Full Text: DOI
McNicholl, Timothy H. Continuous logic and embeddings of Lebesgue spaces. (English) Zbl 07297800 Arch. Math. Logic 60, No. 1-2, 105-119 (2021). MSC: 03C99 46B04 46B42 PDF BibTeX XML Cite \textit{T. H. McNicholl}, Arch. Math. Logic 60, No. 1--2, 105--119 (2021; Zbl 07297800) Full Text: DOI
Kristiansen, Lars; Murwanashyaka, Juvenal First-order concatenation theory with bounded quantifiers. (English) Zbl 07297799 Arch. Math. Logic 60, No. 1-2, 77-104 (2021). MSC: 03B10 03B25 03D40 68R15 PDF BibTeX XML Cite \textit{L. Kristiansen} and \textit{J. Murwanashyaka}, Arch. Math. Logic 60, No. 1--2, 77--104 (2021; Zbl 07297799) Full Text: DOI
Bonzio, S.; Moraschini, T.; Pra Baldi, M. Logics of left variable inclusion and Płonka sums of matrices. (English) Zbl 07297798 Arch. Math. Logic 60, No. 1-2, 49-76 (2021). MSC: 03G27 03G25 PDF BibTeX XML Cite \textit{S. Bonzio} et al., Arch. Math. Logic 60, No. 1--2, 49--76 (2021; Zbl 07297798) Full Text: DOI
Fuchino, Sakaé; Rodrigues, André Ottenbreit Maschio; Sakai, Hiroshi Strong downward Löwenheim-Skolem theorems for stationary logics, I. (English) Zbl 07297797 Arch. Math. Logic 60, No. 1-2, 17-47 (2021). MSC: 03E35 03E55 03E65 03E75 05C63 PDF BibTeX XML Cite \textit{S. Fuchino} et al., Arch. Math. Logic 60, No. 1--2, 17--47 (2021; Zbl 07297797) Full Text: DOI
Bredikhin, Dmitry A. On Jónsson’s problem for groupoids of relations with operation of binary cylindrification. (English) Zbl 07294598 Algebra Univers. 82, No. 1, Paper No. 3, 9 p. (2021). MSC: 08B05 08A02 06A06 PDF BibTeX XML Cite \textit{D. A. Bredikhin}, Algebra Univers. 82, No. 1, Paper No. 3, 9 p. (2021; Zbl 07294598) Full Text: DOI
Bourn, Dominique Split epimorphisms as a productive tool in universal algebra. (English) Zbl 1453.08003 Algebra Univers. 82, No. 1, Paper No. 1, 22 p. (2021). MSC: 08B10 08B05 18A20 18A32 18C10 18E13 PDF BibTeX XML Cite \textit{D. Bourn}, Algebra Univers. 82, No. 1, Paper No. 1, 22 p. (2021; Zbl 1453.08003) Full Text: DOI
Moorhead, Andrew Supernilpotent Taylor algebras are nilpotent. (English) Zbl 07291897 Trans. Am. Math. Soc. 374, No. 2, 1229-1276 (2021). MSC: 08A40 08A05 08B05 PDF BibTeX XML Cite \textit{A. Moorhead}, Trans. Am. Math. Soc. 374, No. 2, 1229--1276 (2021; Zbl 07291897) Full Text: DOI
Durnev, V. G.; Zetkina, O. V.; Zetkina, A. I. Algorithmic undecidability of compatibility problem for equations in free groups: explicit equations with one commutator-type constraint. (English) Zbl 07290698 J. Algebra 570, 452-469 (2021). MSC: 20F10 20F18 PDF BibTeX XML Cite \textit{V. G. Durnev} et al., J. Algebra 570, 452--469 (2021; Zbl 07290698) Full Text: DOI
Jacqmin, Pierre-Alain; Janelidze, Zurab On stability of exactness properties under the pro-completion. (English) Zbl 1452.18005 Adv. Math. 377, Article ID 107484, 56 p. (2021). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18A35 18C30 20E18 08B05 18B15 18E08 18E13 18N10 18C35 PDF BibTeX XML Cite \textit{P.-A. Jacqmin} and \textit{Z. Janelidze}, Adv. Math. 377, Article ID 107484, 56 p. (2021; Zbl 1452.18005) Full Text: DOI
Bodirsky, Manuel; Mottet, Antoine; Olšák, Miroslav; Opršal, Jakub; Pinsker, Michael; Willard, Ross \( \omega \)-categorical structures avoiding height 1 identities. (English) Zbl 07288857 Trans. Am. Math. Soc. 374, No. 1, 327-350 (2021). 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 07288857) Full Text: DOI
Sharma, Arpit The linear time-branching time spectrum of equivalences for stochastic systems with non-determinism. (English) Zbl 07286333 Theor. Comput. Sci. 850, 148-167 (2021). MSC: 68Q PDF BibTeX XML Cite \textit{A. Sharma}, Theor. Comput. Sci. 850, 148--167 (2021; Zbl 07286333) Full Text: DOI
Pudlák, Pavel The canonical pairs of bounded depth Frege systems. (English) Zbl 07285678 Ann. Pure Appl. Logic 172, No. 2, Article ID 102892, 42 p. (2021). MSC: 03B05 03B70 03D15 68Q06 68Q15 PDF BibTeX XML Cite \textit{P. Pudlák}, Ann. Pure Appl. Logic 172, No. 2, Article ID 102892, 42 p. (2021; Zbl 07285678) Full Text: DOI
Landes, Jürgen; Rad, Soroush Rafiee; Williamson, Jon Towards the entropy-limit conjecture. (English) Zbl 07285670 Ann. Pure Appl. Logic 172, No. 2, Article ID 102870, 39 p. (2021). MSC: 03A10 03B60 03B42 60A05 PDF BibTeX XML Cite \textit{J. Landes} et al., Ann. Pure Appl. Logic 172, No. 2, Article ID 102870, 39 p. (2021; Zbl 07285670) Full Text: DOI
Mazari-Armida, Marcos A model theoretic solution to a problem of László Fuchs. (English) Zbl 07282595 J. Algebra 567, 196-209 (2021). MSC: 20K30 03C48 03C45 03C60 13L05 PDF BibTeX XML Cite \textit{M. Mazari-Armida}, J. Algebra 567, 196--209 (2021; Zbl 07282595) Full Text: DOI
Shapiro, Stewart (ed.); Hellman, Geoffrey (ed.) The history of continua. Philosophical and mathematical perspectives. (English) Zbl 07281272 Oxford: Oxford University Press (ISBN 978-0-19-880964-7/hbk). ix, 577 p. (2021). MSC: 01-06 03-06 03-03 26-03 00A30 00B15 PDF BibTeX XML Cite \textit{S. Shapiro} (ed.) and \textit{G. Hellman} (ed.), The history of continua. Philosophical and mathematical perspectives. Oxford: Oxford University Press (2021; Zbl 07281272) Full Text: DOI
Kennedy, Juliette Gödel, Tarski and the lure of natural language. Logical entanglement, formalism freeness. (English) Zbl 07274737 Cambridge: Cambridge University Press (ISBN 978-1-107-01257-8/hbk; 978-0-511-99839-3/ebook). xii, 188 p. (2021). MSC: 03-02 03A05 03B65 PDF BibTeX XML Cite \textit{J. Kennedy}, Gödel, Tarski and the lure of natural language. Logical entanglement, formalism freeness. Cambridge: Cambridge University Press (2021; Zbl 07274737) Full Text: DOI
Trueman, Robert Properties and propositions. The metaphysics of higher-order logic. (English) Zbl 07274644 Cambridge: Cambridge University Press (ISBN 978-1-108-84047-7/hbk; 978-1-108-88612-3/ebook). xii, 228 p. (2021). MSC: 03-02 03A05 03B16 PDF BibTeX XML Cite \textit{R. Trueman}, Properties and propositions. The metaphysics of higher-order logic. Cambridge: Cambridge University Press (2021; Zbl 07274644) Full Text: DOI
Bollig, Benedikt; Fortin, Marie; Gastin, Paul Communicating finite-state machines, first-order logic, and star-free propositional dynamic logic. (English) Zbl 07265466 J. Comput. Syst. Sci. 115, 22-53 (2021). MSC: 68 PDF BibTeX XML Cite \textit{B. Bollig} et al., J. Comput. Syst. Sci. 115, 22--53 (2021; Zbl 07265466) Full Text: DOI
Kapulkin, Krzysztof; Lumsdaine, Peter LeFanu Homotopical inverse diagrams in categories with attributes. (English) Zbl 1453.18007 J. Pure Appl. Algebra 225, No. 4, Article ID 106563, 44 p. (2021). Reviewer: Panagis Karazeris (Patras) MSC: 18C50 03B38 03G30 PDF BibTeX XML Cite \textit{K. Kapulkin} and \textit{P. L. Lumsdaine}, J. Pure Appl. Algebra 225, No. 4, Article ID 106563, 44 p. (2021; Zbl 1453.18007) Full Text: DOI
Sungtong, Nuthawud The algebraic structures of quantifier free formulas induced by terms of a fixed variable. (English) Zbl 1446.08006 Int. J. Math. Comput. Sci. 16, No. 1, 459-469 (2021). MSC: 08A40 08A05 08B05 20M10 PDF BibTeX XML Cite \textit{N. Sungtong}, Int. J. Math. Comput. Sci. 16, No. 1, 459--469 (2021; Zbl 1446.08006) Full Text: Link
Al-Kadi, Deena Pseudo KUS-algebras. (English) Zbl 1446.06026 Int. J. Math. Comput. Sci. 16, No. 1, 239-251 (2021). MSC: 06F35 03G25 PDF BibTeX XML Cite \textit{D. Al-Kadi}, Int. J. Math. Comput. Sci. 16, No. 1, 239--251 (2021; Zbl 1446.06026) Full Text: Link
John, Sunil Jacob Soft sets. Theory and applications. (English) Zbl 07261787 Studies in Fuzziness and Soft Computing 400. Cham: Springer (ISBN 978-3-030-57653-0/hbk; 978-3-030-57654-7/ebook). xx, 251 p. (2021). MSC: 03-01 03E72 PDF BibTeX XML Cite \textit{S. J. John}, Soft sets. Theory and applications. Cham: Springer (2021; Zbl 07261787) Full Text: DOI
Indrzejczak, Andrzej Sequents and trees. An introduction to the theory and applications of propositional sequent calculi. (English) Zbl 07261255 Studies in Universal Logic. Cham: Birkhäuser (ISBN 978-3-030-57144-3/hbk; 978-3-030-57145-0/ebook). xvi, 345 p. (2021). MSC: 03-01 03B70 PDF BibTeX XML Cite \textit{A. Indrzejczak}, Sequents and trees. An introduction to the theory and applications of propositional sequent calculi. Cham: Birkhäuser (2021; Zbl 07261255) Full Text: DOI
Rad, Soroush Rafiee Probabilistic characterisation of models of first-order theories. (English) Zbl 07260110 Ann. Pure Appl. Logic 172, No. 1, Article ID 102875, 32 p. (2021). MSC: 03B48 03C07 03B99 03H05 PDF BibTeX XML Cite \textit{S. R. Rad}, Ann. Pure Appl. Logic 172, No. 1, Article ID 102875, 32 p. (2021; Zbl 07260110) Full Text: DOI
Barbero, Fausto Complexity of syntactical tree fragments of independence-friendly logic. (English) Zbl 07260106 Ann. Pure Appl. Logic 172, No. 1, Article ID 102859, 43 p. (2021). MSC: 03C80 03C85 03B60 68Q19 PDF BibTeX XML Cite \textit{F. Barbero}, Ann. Pure Appl. Logic 172, No. 1, Article ID 102859, 43 p. (2021; Zbl 07260106) Full Text: DOI
Harrison-Trainor, Matthew; Ho, Meng-Che “Turbo” Finitely generated groups are universal among finitely generated structures. (English) Zbl 07260102 Ann. Pure Appl. Logic 172, No. 1, Article ID 102855, 21 p. (2021). MSC: 03D45 03C57 20F10 20F06 PDF BibTeX XML Cite \textit{M. Harrison-Trainor} and \textit{M.-C. Ho}, Ann. Pure Appl. Logic 172, No. 1, Article ID 102855, 21 p. (2021; Zbl 07260102) Full Text: DOI
Kechris, Alexander S. (ed.); Löwe, Benedikt (ed.); Steel, John R. (ed.) Large cardinals, determinacy and other topics. The Cabal Seminar, Vol. IV. Reprints of papers and new material based on the Los Angeles Caltech-UCLA Logic Cabal Seminar 1976–1985. (English) Zbl 07259067 Lecture Notes in Logic 49. Cambridge: Cambridge University Press; Ithaca, NY: Association of Symbolic Logic (ASL) (ISBN 978-1-107-18299-8/hbk; 978-1-108-92022-3/4-vol. set). xvi, 300 p. (2021). MSC: 03-06 03Exx 00B25 PDF BibTeX XML Cite \textit{A. S. Kechris} (ed.) et al., Large cardinals, determinacy and other topics. The Cabal Seminar, Vol. IV. Reprints of papers and new material based on the Los Angeles Caltech-UCLA Logic Cabal Seminar 1976--1985. Cambridge: Cambridge University Press; Ithaca, NY: Association of Symbolic Logic (ASL) (2021; Zbl 07259067) Full Text: DOI