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
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
Denisova, L. A.; Alekseitsev, D. M. Developing a supervisory control system based on fuzzy logical inference. (English. Russian original) Zbl 07329698 Autom. Remote Control 82, No. 2, 324-332 (2021); translation from Avtom. Prom. 2019, No. 1, 46-52 (2019). MSC: 93C42 93C35 PDF BibTeX XML Cite \textit{L. A. Denisova} and \textit{D. M. Alekseitsev}, Autom. Remote Control 82, No. 2, 324--332 (2021; Zbl 07329698); translation from Avtom. Prom. 2019, No. 1, 46--52 (2019) 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
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)
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: 01A55 01A60 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
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-02 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: 01A60 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: 01A60 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: 01A55 01A60 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: 01A60 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). Reviewer: Symon Serbenyuk (Kyïv) MSC: 01-XX 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: 01A55 01A60 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: 01A55 01A60 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: 01A55 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: 01A50 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: 01A45 01A50 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: 01A45 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: 01A40 01A45 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-02 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). Reviewer: Victor V. Pambuccian (Glendale) MSC: 01A20 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). Reviewer: Victor V. Pambuccian (Glendale) MSC: 01A20 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
Brendel, Elke Logic script 2. Introduction into modal logic. (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
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
Shapiro, Stewart (ed.); Hellman, Geoffrey (ed.) The history of continua. Philosophical and mathematical perspectives. (English) Zbl 1454.01002 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 1454.01002) 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
John, Sunil Jacob Soft sets. Theory and applications. (English) Zbl 1454.03001 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 1454.03001) Full Text: DOI
Mojtahedi, Mojtaba (ed.); Rahman, Shahid (ed.); Zarepour, Mohammad Saleh (ed.) Mathematics, logic, and their philosophies. Essays in honour of Mohammad Ardeshir. (English) Zbl 07261779 Logic, Epistemology, and the Unity of Science 49. Cham: Springer (ISBN 978-3-030-53653-4/hbk; 978-3-030-53654-1/ebook). xviii, 483 p. (2021). MSC: 03-06 03A05 03Bxx 00B30 PDF BibTeX XML Cite \textit{M. Mojtahedi} (ed.) et al., Mathematics, logic, and their philosophies. Essays in honour of Mohammad Ardeshir. Cham: Springer (2021; Zbl 07261779) Full Text: DOI
Fazio, Davide (ed.); Ledda, Antonio (ed.); Paoli, Francesco (ed.) 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. (English) Zbl 07261778 Trends in Logic – Studia Logica Library 55. Cham: Springer (ISBN 978-3-030-52162-2/hbk; 978-3-030-52163-9/ebook). x, 193 p. (2021). MSC: 06-06 03-06 03B47 03G25 06Dxx 00B25 PDF BibTeX XML Cite \textit{D. Fazio} (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 (2021; Zbl 07261778) 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
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
Hellman, Geoffrey Mathematics and its logics. Philosophical essays. (English) Zbl 1455.03002 Cambridge: Cambridge University Press (ISBN 978-1-108-49418-2/hbk; 978-1-108-65741-9/ebook). viii, 286 p. (2021). MSC: 03-06 03A05 00A30 01A75 00B15 PDF BibTeX XML Cite \textit{G. Hellman}, Mathematics and its logics. Philosophical essays. Cambridge: Cambridge University Press (2021; Zbl 1455.03002) Full Text: DOI
Routley, Richard; Routley, Val Noneist explorations II. The Sylvan jungle. Volume 3. Edited by Dominic Hyde. (English) Zbl 1452.03002 Synthese Library 432. Cham: Springer (ISBN 978-3-030-58863-2/hbk; 978-3-030-58864-9/ebook). xxiii, 461 p. (2021). MSC: 03-02 03A05 PDF BibTeX XML Cite \textit{R. Routley} and \textit{V. Routley}, Noneist explorations II. The Sylvan jungle. Volume 3. Edited by Dominic Hyde. Cham: Springer (2021; Zbl 1452.03002) Full Text: DOI
Džamonja, Mirna Fast track to forcing. (English) Zbl 07227257 London Mathematical Society Student Texts 98. Cambridge: Cambridge University Press (ISBN 978-1-108-42015-0/hbk; 978-1-108-41314-5/pbk; 978-1-108-30386-6/ebook). xiv, 147 p. (2021). MSC: 03-01 03C25 03E40 03E57 PDF BibTeX XML Cite \textit{M. Džamonja}, Fast track to forcing. Cambridge: Cambridge University Press (2021; Zbl 07227257) Full Text: DOI
Cenzer, Douglas (ed.); Porter, Christopher (ed.); Zapletal, Jindrich (ed.) Structure and randomness in computability and set theory. (English) Zbl 1454.03005 Hackensack, NJ: World Scientific (ISBN 978-981-322-822-1/hbk; 978-981-322-824-5/ebook). xx, 366 p. (2021). MSC: 03-02 03Exx 03Dxx 00B15 PDF BibTeX XML Cite \textit{D. Cenzer} (ed.) et al., Structure and randomness in computability and set theory. Hackensack, NJ: World Scientific (2021; Zbl 1454.03005) Full Text: DOI
Cooper, S. Barry; Sorbi, Andrea; Soskova, Mariya Computing with incomplete information. The mathematics of enumeration and positive reducibilities (to appear). (English) Zbl 07177077 Hackensack, NJ: World Scientific (ISBN 978-981-4383-14-1/hbk). 450 p. (2021). MSC: 03-02 PDF BibTeX XML Cite \textit{S. B. Cooper} et al., Computing with incomplete information. The mathematics of enumeration and positive reducibilities (to appear). Hackensack, NJ: World Scientific (2021; Zbl 07177077) Full Text: DOI
Peruzzi, Alberto The wrapped dimension of Bourbaki’s structures mères. (English) Zbl 07329928 Peruzzi, Alberto (ed.) et al., Structures mères: semantics, mathematics, and cognitive science. Cham: Springer (ISBN 978-3-030-51820-2/hbk; 978-3-030-51821-9/ebook). Studies in Applied Philosophy, Epistemology and Rational Ethics 57, 91-117 (2020). MSC: 00A30 01A60 03A05 03-03 PDF BibTeX XML Cite \textit{A. Peruzzi}, Stud. Appl. Philos. Epistemol. Ration. Ethics 57, 91--117 (2020; Zbl 07329928) Full Text: DOI
Bartocci, Claudio Ladders of sets and isomorphisms. The shortcomings of Bourbaki’s notion of “structure”. (English) Zbl 07329927 Peruzzi, Alberto (ed.) et al., Structures mères: semantics, mathematics, and cognitive science. Cham: Springer (ISBN 978-3-030-51820-2/hbk; 978-3-030-51821-9/ebook). Studies in Applied Philosophy, Epistemology and Rational Ethics 57, 59-90 (2020). MSC: 00A30 01A60 03A05 03-03 PDF BibTeX XML Cite \textit{C. Bartocci}, Stud. Appl. Philos. Epistemol. Ration. Ethics 57, 59--90 (2020; Zbl 07329927) Full Text: DOI
Marquis, Jean-Pierre Forms of structuralism: Bourbaki and the philosophers. (English) Zbl 07329926 Peruzzi, Alberto (ed.) et al., Structures mères: semantics, mathematics, and cognitive science. Cham: Springer (ISBN 978-3-030-51820-2/hbk; 978-3-030-51821-9/ebook). Studies in Applied Philosophy, Epistemology and Rational Ethics 57, 37-57 (2020). MSC: 00A30 01A60 03A05 03-03 PDF BibTeX XML Cite \textit{J.-P. Marquis}, Stud. Appl. Philos. Epistemol. Ration. Ethics 57, 37--57 (2020; Zbl 07329926) Full Text: DOI
Lolli, Gabriele Bourbaki and foundations. (English) Zbl 07329925 Peruzzi, Alberto (ed.) et al., Structures mères: semantics, mathematics, and cognitive science. Cham: Springer (ISBN 978-3-030-51820-2/hbk; 978-3-030-51821-9/ebook). Studies in Applied Philosophy, Epistemology and Rational Ethics 57, 19-35 (2020). MSC: 00A30 03-03 01A60 03A05 PDF BibTeX XML Cite \textit{G. Lolli}, Stud. Appl. Philos. Epistemol. Ration. Ethics 57, 19--35 (2020; Zbl 07329925) Full Text: DOI
Bell, John L. Reflections on Bourbaki’s notion of “structure” and categories. (English) Zbl 07329924 Peruzzi, Alberto (ed.) et al., Structures mères: semantics, mathematics, and cognitive science. Cham: Springer (ISBN 978-3-030-51820-2/hbk; 978-3-030-51821-9/ebook). Studies in Applied Philosophy, Epistemology and Rational Ethics 57, 1-17 (2020). MSC: 00A30 03-03 01A60 03A05 18A15 PDF BibTeX XML Cite \textit{J. L. Bell}, Stud. Appl. Philos. Epistemol. Ration. Ethics 57, 1--17 (2020; Zbl 07329924) Full Text: DOI
Breuillard, Emmanuel (ed.); Martin-Pizarro, Amador (ed.); Tent, Katrin (ed.); Wagner, Frank Olaf (ed.) Model theory: groups, geometries and combinatorics. Abstracts from the workshop held January 12–18, 2020. (English) Zbl 07329553 Oberwolfach Rep. 17, No. 1, 91-142 (2020). MSC: 00B05 00B25 03-06 03Cxx 05-06 20-06 PDF BibTeX XML Cite \textit{E. Breuillard} (ed.) et al., Oberwolfach Rep. 17, No. 1, 91--142 (2020; Zbl 07329553) Full Text: DOI
Stuhlmann-Laeisz, Rainer Gottlob Frege’s “Basic laws of arithmetic”. A commentary on the foreword, the afterword and the introductory paragraphs. (Gottlob Freges “Grundgesetze der Arithmetik”. Ein Kommentar des Vorworts, des Nachworts und der einleitenden Paragrafen.) (German) Zbl 07328520 Münster: Mentis Verlag (ISBN 978-3-95743-160-8/pbk; 978-3-95743-717-4/ebook). 163 p. (2020). MSC: 01A75 03-03 01A60 03A05 00A30 PDF BibTeX XML Cite \textit{R. Stuhlmann-Laeisz}, Gottlob Freges ``Grundgesetze der Arithmetik''. Ein Kommentar des Vorworts, des Nachworts und der einleitenden Paragrafen. Münster: Mentis Verlag (2020; Zbl 07328520) Full Text: DOI
Morris, Sean Explication as elimination: W. V. Quine and mathematical structuralism. (English) Zbl 07327364 Reck, Erich H. (ed.) et al., The prehistory of mathematical structuralism. Oxford: Oxford University Press (ISBN 978-0-19-064122-1/hbk). Logic and Computation in Philosophy, 421-442 (2020). MSC: 03-03 03A05 01A60 00A30 PDF BibTeX XML Cite \textit{S. Morris}, in: The prehistory of mathematical structuralism. Oxford: Oxford University Press. 421--442 (2020; Zbl 07327364) Full Text: DOI
Schiemer, Georg Carnap’s structuralist thesis. (English) Zbl 07327363 Reck, Erich H. (ed.) et al., The prehistory of mathematical structuralism. Oxford: Oxford University Press (ISBN 978-0-19-064122-1/hbk). Logic and Computation in Philosophy, 383-420 (2020). MSC: 03-03 03A05 01A60 00A30 PDF BibTeX XML Cite \textit{G. Schiemer}, in: The prehistory of mathematical structuralism. Oxford: Oxford University Press. 383--420 (2020; Zbl 07327363) Full Text: DOI
Sieg, Wilfried Methodological frames: Paul Bernays, mathematical structuralism, and proof theory. (English) Zbl 07327362 Reck, Erich H. (ed.) et al., The prehistory of mathematical structuralism. Oxford: Oxford University Press (ISBN 978-0-19-064122-1/hbk). Logic and Computation in Philosophy, 352-382 (2020). MSC: 03-03 03A05 01A60 00A30 PDF BibTeX XML Cite \textit{W. Sieg}, in: The prehistory of mathematical structuralism. Oxford: Oxford University Press. 352--382 (2020; Zbl 07327362) Full Text: DOI
Reck, Erich H. Cassirer’s reception of Dedekind and the structuralist transformation of mathematics. (English) Zbl 07327361 Reck, Erich H. (ed.) et al., The prehistory of mathematical structuralism. Oxford: Oxford University Press (ISBN 978-0-19-064122-1/hbk). Logic and Computation in Philosophy, 329-351 (2020). MSC: 03-03 03A05 01A60 00A30 PDF BibTeX XML Cite \textit{E. H. Reck}, in: The prehistory of mathematical structuralism. Oxford: Oxford University Press. 329--351 (2020; Zbl 07327361) Full Text: DOI
Heis, Jeremy “If numbers are to be anything at all, they must be intrinsically something”: Bertrand Russell and mathematical structuralism. (English) Zbl 07327360 Reck, Erich H. (ed.) et al., The prehistory of mathematical structuralism. Oxford: Oxford University Press (ISBN 978-0-19-064122-1/hbk). Logic and Computation in Philosophy, 303-328 (2020). MSC: 03-03 03A05 01A60 00A30 PDF BibTeX XML Cite \textit{J. Heis}, in: The prehistory of mathematical structuralism. Oxford: Oxford University Press. 303--328 (2020; Zbl 07327360) Full Text: DOI
Folina, Janet Poincaré and the prehistory of mathematical structuralism. (English) Zbl 07327359 Reck, Erich H. (ed.) et al., The prehistory of mathematical structuralism. Oxford: Oxford University Press (ISBN 978-0-19-064122-1/hbk). Logic and Computation in Philosophy, 273-302 (2020). MSC: 03-03 03A05 01A60 00A30 PDF BibTeX XML Cite \textit{J. Folina}, in: The prehistory of mathematical structuralism. Oxford: Oxford University Press. 273--302 (2020; Zbl 07327359) Full Text: DOI
Carter, Jessica Logic of relations and diagrammatic reasoning: structuralist elements in the work of Charles Sanders Peirce. (English) Zbl 07327358 Reck, Erich H. (ed.) et al., The prehistory of mathematical structuralism. Oxford: Oxford University Press (ISBN 978-0-19-064122-1/hbk). Logic and Computation in Philosophy, 241-272 (2020). MSC: 03-03 03A05 01A60 00A30 PDF BibTeX XML Cite \textit{J. Carter}, in: The prehistory of mathematical structuralism. Oxford: Oxford University Press. 241--272 (2020; Zbl 07327358) Full Text: DOI
McLarty, Colin Saunders Mac Lane: from Principia mathematica through Göttingen to the working theory of structures. (English) Zbl 07327357 Reck, Erich H. (ed.) et al., The prehistory of mathematical structuralism. Oxford: Oxford University Press (ISBN 978-0-19-064122-1/hbk). Logic and Computation in Philosophy, 215-237 (2020). MSC: 03-03 03A05 01A60 00A30 PDF BibTeX XML Cite \textit{C. McLarty}, in: The prehistory of mathematical structuralism. Oxford: Oxford University Press. 215--237 (2020; Zbl 07327357) Full Text: DOI
Heinzmann, Gerhard; Petitot, Jean The functional role of structures in Bourbaki. (English) Zbl 07327356 Reck, Erich H. (ed.) et al., The prehistory of mathematical structuralism. Oxford: Oxford University Press (ISBN 978-0-19-064122-1/hbk). Logic and Computation in Philosophy, 187-214 (2020). MSC: 03-03 03A05 01A60 00A30 PDF BibTeX XML Cite \textit{G. Heinzmann} and \textit{J. Petitot}, in: The prehistory of mathematical structuralism. Oxford: Oxford University Press. 187--214 (2020; Zbl 07327356) Full Text: DOI
Yap, Audrey Noether as mathematical structuralist. (English) Zbl 07327355 Reck, Erich H. (ed.) et al., The prehistory of mathematical structuralism. Oxford: Oxford University Press (ISBN 978-0-19-064122-1/hbk). Logic and Computation in Philosophy, 166-186 (2020). MSC: 03-03 03A05 01A60 00A30 PDF BibTeX XML Cite \textit{A. Yap}, in: The prehistory of mathematical structuralism. Oxford: Oxford University Press. 166--186 (2020; Zbl 07327355) Full Text: DOI
Sieg, Wilfried The ways of Hilbert’s axiomatics: structural and formal. (English) Zbl 07327354 Reck, Erich H. (ed.) et al., The prehistory of mathematical structuralism. Oxford: Oxford University Press (ISBN 978-0-19-064122-1/hbk). Logic and Computation in Philosophy, 142-165 (2020). MSC: 03-03 03A05 01A60 00A30 PDF BibTeX XML Cite \textit{W. Sieg}, in: The prehistory of mathematical structuralism. Oxford: Oxford University Press. 142--165 (2020; Zbl 07327354) Full Text: DOI
Schiemer, Georg Transfer principles, Klein’s Erlangen program, and methodological structuralism. (English) Zbl 07327353 Reck, Erich H. (ed.) et al., The prehistory of mathematical structuralism. Oxford: Oxford University Press (ISBN 978-0-19-064122-1/hbk). Logic and Computation in Philosophy, 106-141 (2020). MSC: 03-03 03A05 01A60 00A30 PDF BibTeX XML Cite \textit{G. Schiemer}, in: The prehistory of mathematical structuralism. Oxford: Oxford University Press. 106--141 (2020; Zbl 07327353) Full Text: DOI
Schlimm, Dirk Pasch’s empiricism as methodological structuralism. (English) Zbl 07327352 Reck, Erich H. (ed.) et al., The prehistory of mathematical structuralism. Oxford: Oxford University Press (ISBN 978-0-19-064122-1/hbk). Logic and Computation in Philosophy, 88-105 (2020). MSC: 03-03 03A05 01A60 00A30 PDF BibTeX XML Cite \textit{D. Schlimm}, in: The prehistory of mathematical structuralism. Oxford: Oxford University Press. 88--105 (2020; Zbl 07327352) Full Text: DOI
Ferreirós, José; Reck, Erich H. Dedekind’s mathematical structuralism: from Galois theory to numbers, sets, and functions. (English) Zbl 07327351 Reck, Erich H. (ed.) et al., The prehistory of mathematical structuralism. Oxford: Oxford University Press (ISBN 978-0-19-064122-1/hbk). Logic and Computation in Philosophy, 59-87 (2020). MSC: 03-03 03A05 01A60 00A30 PDF BibTeX XML Cite \textit{J. Ferreirós} and \textit{E. H. Reck}, in: The prehistory of mathematical structuralism. Oxford: Oxford University Press. 59--87 (2020; Zbl 07327351) Full Text: DOI
Cantù, Paola Grassmann’s concept structuralism. (English) Zbl 07327350 Reck, Erich H. (ed.) et al., The prehistory of mathematical structuralism. Oxford: Oxford University Press (ISBN 978-0-19-064122-1/hbk). Logic and Computation in Philosophy, 21-58 (2020). MSC: 03-03 03A05 01A60 00A30 PDF BibTeX XML Cite \textit{P. Cantù}, in: The prehistory of mathematical structuralism. Oxford: Oxford University Press. 21--58 (2020; Zbl 07327350) Full Text: DOI
Reck, Erich H.; Schiemer, Georg Introduction and overview. (English) Zbl 07327349 Reck, Erich H. (ed.) et al., The prehistory of mathematical structuralism. Oxford: Oxford University Press (ISBN 978-0-19-064122-1/hbk). Logic and Computation in Philosophy, 1-18 (2020). MSC: 03-03 03A05 01A60 00A30 PDF BibTeX XML Cite \textit{E. H. Reck} and \textit{G. Schiemer}, in: The prehistory of mathematical structuralism. Oxford: Oxford University Press. 1--18 (2020; Zbl 07327349) Full Text: DOI
Wasaki, Katsumi Stability of the 7–3 compressor circuit for Wallace tree. I. (English) Zbl 07327216 Formaliz. Math. 28, No. 1, 65-77 (2020). MSC: 68M07 68W35 68V20 PDF BibTeX XML Cite \textit{K. Wasaki}, Formaliz. Math. 28, No. 1, 65--77 (2020; Zbl 07327216) Full Text: DOI
González-Barrios M., José M.; Rueda, Raúl A note about a pair of proofs by Georg Cantor. (Spanish) Zbl 07323455 Misc. Mat. 70, 19-38 (2020). MSC: 03-03 01A70 26-03 26A03 PDF BibTeX XML Cite \textit{J. M. González-Barrios M.} and \textit{R. Rueda}, Misc. Mat. 70, 19--38 (2020; Zbl 07323455) Full Text: Link
Klev, Ansten Book review of: M. Wille, Largely unknown. Gottlob Frege und der posthume Ruhm; ‘alles in den Wind geschrieben’. Gottlob Frege wider den Zeitgeist. (English) Zbl 1455.00010 Philos. Math. (3) 28, No. 3, 426-430 (2020). MSC: 00A17 01-02 01A55 01A60 00A30 01A90 03-03 01A70 PDF BibTeX XML Cite \textit{A. Klev}, Philos. Math. (3) 28, No. 3, 426--430 (2020; Zbl 1455.00010) Full Text: DOI
Kahle, Reinhard Book review of: G. Jäger (ed.) and W. Sieg (ed.), Feferman on foundations. Logic, mathematics, philosophy. (English) Zbl 1455.00009 Philos. Math. (3) 28, No. 3, 421-425 (2020). MSC: 00A17 03-06 01A70 01A60 00A30 00B15 PDF BibTeX XML Cite \textit{R. Kahle}, Philos. Math. (3) 28, No. 3, 421--425 (2020; Zbl 1455.00009) Full Text: DOI
Marquis, Jean-Pierre Book review of: E. H. Reck (ed.) and G. Schiemer (ed.), The prehistory of mathematical structuralism. (English) Zbl 1455.00014 Philos. Math. (3) 28, No. 3, 416-420 (2020). MSC: 00A17 03-06 03A05 03-03 01A60 00A30 00B15 PDF BibTeX XML Cite \textit{J.-P. Marquis}, Philos. Math. (3) 28, No. 3, 416--420 (2020; Zbl 1455.00014) Full Text: DOI
Halimi, Brice Book review of: T. Button and S. Walsh, Philosophy and model theory. (English) Zbl 1455.00006 Philos. Math. (3) 28, No. 3, 404-415 (2020). MSC: 00A17 03-02 00A30 03A05 03C98 PDF BibTeX XML Cite \textit{B. Halimi}, Philos. Math. (3) 28, No. 3, 404--415 (2020; Zbl 1455.00006) Full Text: DOI
John, Burgess Book review of: L. Incurvati, Conceptions of set and the foundations of mathematics. (English) Zbl 07308151 Philos. Math. (3) 28, No. 3, 395-403 (2020). MSC: 00A17 03-02 03Exx 03A05 PDF BibTeX XML Cite \textit{B. John}, Philos. Math. (3) 28, No. 3, 395--403 (2020; Zbl 07308151) Full Text: DOI
Sereni, Andrea Book review of: G. Hellman and S. Shapiro, Mathematical structuralism. (English) Zbl 1455.00023 Philos. Math. (3) 28, No. 2, 277-281 (2020). MSC: 00A17 03-02 00A30 03A05 03B45 03Exx PDF BibTeX XML Cite \textit{A. Sereni}, Philos. Math. (3) 28, No. 2, 277--281 (2020; Zbl 1455.00023) Full Text: DOI
Landini, Gregory Book review of: P. A. Ebert (ed.) and M. Rossberg (ed.), Essays on Frege’s Basic laws of arithmetic. (English) Zbl 1455.00012 Philos. Math. (3) 28, No. 2, 264-276 (2020). MSC: 00A17 03-06 03-03 03A05 01A60 00A30 00B15 PDF BibTeX XML Cite \textit{G. Landini}, Philos. Math. (3) 28, No. 2, 264--276 (2020; Zbl 1455.00012) Full Text: DOI
Roeper, Peter Reflections on Frege’s theory of real numbers. (English) Zbl 1454.03014 Philos. Math. (3) 28, No. 2, 236-257 (2020). MSC: 03A05 03-03 01A60 PDF BibTeX XML Cite \textit{P. Roeper}, Philos. Math. (3) 28, No. 2, 236--257 (2020; Zbl 1454.03014) Full Text: DOI
Crilly, Tony Book review of: M. Danesi, Pythagoras’ legacy. Mathematics in ten great ideas. (English) Zbl 1453.00006 Br. J. Hist. Math. 35, No. 3, 246-247 (2020). MSC: 00A17 00A09 01-01 11-03 26-03 30-03 03-03 68-03 00A30 PDF BibTeX XML Cite \textit{T. Crilly}, Br. J. Hist. Math. 35, No. 3, 246--247 (2020; Zbl 1453.00006) Full Text: DOI
Abrams, Ellen ‘An inalienable prerogative of a liberated spirit’: postulating American mathematics. (English) Zbl 07306846 Br. J. Hist. Math. 35, No. 3, 225-245 (2020). Reviewer: Reinhard Siegmund-Schultze (Kristiansand) MSC: 01A60 03-03 00A30 PDF BibTeX XML Cite \textit{E. Abrams}, Br. J. Hist. Math. 35, No. 3, 225--245 (2020; Zbl 07306846) Full Text: DOI
Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. (English) Zbl 1452.03005 New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7104-9). 971 p. (2020). MSC: 03-06 03B70 68-06 00B25 PDF BibTeX XML Cite 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) (2020; Zbl 1452.03005) Full Text: DOI
Zimmermann, Karl-Heinz Computability. Models of computation and undecidability. (Berechenbarkeit. Berechnungsmodelle und Unentscheidbarkeit.) (German) Zbl 1452.68002 Essentials. Wiesbaden: Springer Spektrum (ISBN 978-3-658-31738-6/pbk; 978-3-658-31739-3/ebook). xiii, 67 p. (2020). MSC: 68-01 03-01 03D03 03D10 03D20 03D35 68N30 68Q04 PDF BibTeX XML Cite \textit{K.-H. Zimmermann}, Berechenbarkeit. Berechnungsmodelle und Unentscheidbarkeit. Wiesbaden: Springer Spektrum (2020; Zbl 1452.68002) Full Text: DOI
Hart, K. P.; Hrušák, M.; Verner, J. L. In memoriam: Petr Simon (1944–2018). (English) Zbl 1452.01036 Topology Appl. 285, Article ID 107391, 13 p. (2020). MSC: 01A70 03-03 06-03 54-03 PDF BibTeX XML Cite \textit{K. P. Hart} et al., Topology Appl. 285, Article ID 107391, 13 p. (2020; Zbl 1452.01036) Full Text: DOI
Weiner, Joan Taking Frege at his word. (English) Zbl 1451.03004 Oxford: Oxford University Press (ISBN 978-0-19-886547-6/hbk). xxv, 305 p. (2020). MSC: 03-02 03A05 00A30 PDF BibTeX XML Cite \textit{J. Weiner}, Taking Frege at his word. Oxford: Oxford University Press (2020; Zbl 1451.03004) Full Text: DOI
Robič, Borut The foundations of computability theory. 2nd completely revised edition. (English) Zbl 1454.03004 Berlin: Springer (ISBN 978-3-662-62420-3/hbk; 978-3-662-62421-0/ebook). xxi, 422 p. (2020). MSC: 03-01 03Dxx 03-03 01A60 PDF BibTeX XML Cite \textit{B. Robič}, The foundations of computability theory. 2nd completely revised edition. Berlin: Springer (2020; Zbl 1454.03004) Full Text: DOI
Nigam, Vivek (ed.); Ban Kirigin, Tajana (ed.); Talcott, Carolyn (ed.); Guttman, Joshua (ed.); Kuznetsov, Stepan (ed.); Loo, Boon Thau (ed.); Okada, Mitsuhiro (ed.) Logic, language, and security. Essays dedicated to Andre Scedrov on the occasion of his 65th birthday. (English) Zbl 07282912 Lecture Notes in Computer Science 12300. Cham: Springer (ISBN 978-3-030-62076-9/pbk; 978-3-030-62077-6/ebook). x, 203 p. (2020). MSC: 03-06 68-06 00B30 PDF BibTeX XML Cite \textit{V. Nigam} (ed.) et al., Logic, language, and security. Essays dedicated to Andre Scedrov on the occasion of his 65th birthday. Cham: Springer (2020; Zbl 07282912) Full Text: DOI
Halbeisen, Lorenz; Krapf, Regula Gödel’s theorems and Zermelo’s axioms. A firm foundation of mathematics. (English) Zbl 07281928 Cham: Birkhäuser (ISBN 978-3-030-52278-0/hbk; 978-3-030-52279-7/ebook). x, 236 p. (2020). MSC: 03-01 03Bxx 03Fxx 03Exx PDF BibTeX XML Cite \textit{L. Halbeisen} and \textit{R. Krapf}, Gödel's theorems and Zermelo's axioms. A firm foundation of mathematics. Cham: Birkhäuser (2020; Zbl 07281928) Full Text: DOI
Scheepers, Marion (ed.); Zindulka, Ondřej (ed.) Centenary of the Borel conjecture. (English) Zbl 1454.03010 Contemporary Mathematics 755. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-5099-1/pbk; 978-1-4704-5638-2/ebook). viii, 242 p. (2020). MSC: 03-06 03E17 03E35 03E65 22A10 54D20 54H11 00B15 PDF BibTeX XML Cite \textit{M. Scheepers} (ed.) and \textit{O. Zindulka} (ed.), Centenary of the Borel conjecture. Providence, RI: American Mathematical Society (AMS) (2020; Zbl 1454.03010) Full Text: DOI
Gerasimov, Aleksandr Sergeevich Repetition-free and infinitary analytic calculi for first-order rational Pavelka logic. (English) Zbl 07277577 Sib. Èlektron. Mat. Izv. 17, 1869-1899 (2020). Reviewer: Albert Hoogewijs (Gent) MSC: 03B50 03B52 03F07 03B35 PDF BibTeX XML Cite \textit{A. S. Gerasimov}, Sib. Èlektron. Mat. Izv. 17, 1869--1899 (2020; Zbl 07277577) Full Text: DOI
Rybalov, Aleksandr Nikolaevich On the generic existential theory of finite graphs. (English) Zbl 07277565 Sib. Èlektron. Mat. Izv. 17, 1710-1714 (2020). MSC: 03-XX PDF BibTeX XML Cite \textit{A. N. Rybalov}, Sib. Èlektron. Mat. Izv. 17, 1710--1714 (2020; Zbl 07277565) Full Text: DOI
Castillo, Oscar (ed.); Melin, Patricia (ed.); Kacprzyk, Janusz (ed.) Intuitionistic and type-2 fuzzy logic enhancements in neural and optimization algorithms: theory and applications. (English) Zbl 07276839 Studies in Computational Intelligence 862. Cham: Springer (ISBN 978-3-030-35444-2/hbk; 978-3-030-35447-3/pbk; 978-3-030-35445-9/ebook). xiv, 792 p. (2020). MSC: 68-06 03B52 68T07 68T37 90C59 00B15 PDF BibTeX XML Cite \textit{O. Castillo} (ed.) et al., Intuitionistic and type-2 fuzzy logic enhancements in neural and optimization algorithms: theory and applications. Cham: Springer (2020; Zbl 07276839) Full Text: DOI
Jana, Chiranjibe; Senapati, Tapan; Pal, Madhumangal Handbook of research on emerging applications of fuzzy algebraic structures. (English) Zbl 07276545 Hershey, PA: IGI Global (ISBN 978-1-7998-0190-0). 439 p. (2020). MSC: 03-00 03-06 00B15 PDF BibTeX XML Cite \textit{C. Jana} et al., Handbook of research on emerging applications of fuzzy algebraic structures. Hershey, PA: IGI Global (2020; Zbl 07276545) Full Text: DOI
Wilson, Mark Innovation and certainty (to appear). (English) Zbl 07274637 Elements in the Philosophy of Mathematics. Cambridge: Cambridge University Press (ISBN 978-1-108-74229-0/pbk). (2020). MSC: 03-02 03A05 00A30 PDF BibTeX XML
Dumitru, Mircea (ed.) Metaphysics, meaning, and modality. Themes from Kit Fine. (English) Zbl 1451.03007 Oxford: Oxford University Press (ISBN 978-0-19-965262-4/hbk). vii, 519 p. (2020). MSC: 03-06 03A05 00A30 00B15 PDF BibTeX XML Cite \textit{M. Dumitru} (ed.), Metaphysics, meaning, and modality. Themes from Kit Fine. Oxford: Oxford University Press (2020; Zbl 1451.03007) Full Text: DOI
Larson, Paul B.; Zapletal, Jindřich Geometric set theory. (English) Zbl 07269808 Mathematical Surveys and Monographs 248. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-5462-3/pbk; 978-1-4704-6018-1/ebook). ix, 330 p. (2020). MSC: 03-02 03E15 03E25 03E35 03E40 05C15 05B35 11J72 11J81 37A20 PDF BibTeX XML Cite \textit{P. B. Larson} and \textit{J. Zapletal}, Geometric set theory. Providence, RI: American Mathematical Society (AMS) (2020; Zbl 07269808) Full Text: DOI
Cao, Feng; Xu, Yang; Chen, Shuwei; Wu, Guanfeng; Chang, Wenjing Application of multi-clause synergized deduction in first-order logic automated theorem proving. (Chinese. English summary) Zbl 07267153 J. Southwest Jiaotong Univ. 55, No. 2, 401-408, 427 (2020). MSC: 03B10 03B35 68T15 PDF BibTeX XML Cite \textit{F. Cao} et al., J. Southwest Jiaotong Univ. 55, No. 2, 401--408, 427 (2020; Zbl 07267153) Full Text: DOI
Patarin, Jacques Set theory and mathematical logic. From infinite mathematics to Gödel’s theorems. (Théorie des ensembles et logique mathématique. Des infinis mathématiques aux théorèmes de Gödel.) (French) Zbl 1451.03002 Références Sciences. Paris: Ellipses (ISBN 978-2-340-04100-4/pbk). viii, 292 p. (2020). MSC: 03-01 03Bxx 03Exx PDF BibTeX XML Cite \textit{J. Patarin}, Théorie des ensembles et logique mathématique. Des infinis mathématiques aux théorèmes de Gödel. Paris: Ellipses (2020; Zbl 1451.03002)
Kossak, Roman Book review of: J. T. Baldwin, Model theory and the philosophy of mathematical practice. Formalization without foundationalism. (English) Zbl 1444.00015 Math. Intell. 42, No. 2, 101-102 (2020). MSC: 00A17 03-03 03A05 03C52 03C65 03C60 PDF BibTeX XML Cite \textit{R. Kossak}, Math. Intell. 42, No. 2, 101--102 (2020; Zbl 1444.00015) Full Text: DOI
Rasga, João; Sernadas, Cristina Decidability of logical theories and their combination. (English) Zbl 07261772 Studies in Universal Logic. Cham: Birkhäuser (ISBN 978-3-030-56553-4/hbk; 978-3-030-56554-1/ebook). xiii, 178 p. (2020). MSC: 03-01 03B10 03B25 PDF BibTeX XML Cite \textit{J. Rasga} and \textit{C. Sernadas}, Decidability of logical theories and their combination. Cham: Birkhäuser (2020; Zbl 07261772) Full Text: DOI
Błaszczyk, Piotr; Fila, Marlena Cantor on infinitesimals. Historical and modern perspective. (English) Zbl 1446.03004 Bull. Sect. Log., Univ. Łódź, Dep. Log. 49, No. 2, 149-179 (2020). MSC: 03-03 03H05 01A55 PDF BibTeX XML Cite \textit{P. Błaszczyk} and \textit{M. Fila}, Bull. Sect. Log., Univ. Łódź, Dep. Log. 49, No. 2, 149--179 (2020; Zbl 1446.03004) Full Text: DOI
Aranda, Víctor Completeness, categoricity and imaginary numbers: the debate on Husserl. (English) Zbl 1446.03009 Bull. Sect. Log., Univ. Łódź, Dep. Log. 49, No. 2, 109-125 (2020). MSC: 03A05 03-03 01A55 01A60 PDF BibTeX XML Cite \textit{V. Aranda}, Bull. Sect. Log., Univ. Łódź, Dep. Log. 49, No. 2, 109--125 (2020; Zbl 1446.03009) Full Text: DOI
Blackburn, Patrick (ed.); Kovač, Srećko (ed.); Świętorzecka, Kordula (ed.) Formal methods and science in philosophy: introduction to the special issue. (English) Zbl 1446.00026 Bull. Sect. Log., Univ. Łódź, Dep. Log. 49, No. 2, 105-107 (2020). MSC: 00B25 03-06 03A05 PDF BibTeX XML Cite \textit{P. Blackburn} (ed.) et al., Bull. Sect. Log., Univ. Łódź, Dep. Log. 49, No. 2, 105--107 (2020; Zbl 1446.00026) Full Text: DOI
Sankar, Vishnu; Ramkumar, P. B.; Daison, Daniel; Tampi, Gireeshkumaran; Panicker, Radhakrishna Fuzzy logic based optimization method for mechanical systems and its application. (English) Zbl 07260558 Int. J. Math. Comput. Sci. 15, No. 4, 1179-1185 (2020). MSC: 80A25 03E72 90C70 PDF BibTeX XML Cite \textit{V. Sankar} et al., Int. J. Math. Comput. Sci. 15, No. 4, 1179--1185 (2020; Zbl 07260558) Full Text: Link
Bajnok, Béla An invitation to abstract mathematics. 2nd edition. (English) Zbl 1451.00001 Undergraduate Texts in Mathematics. Cham: Springer (ISBN 978-3-030-56173-4/hbk; 978-3-030-56174-1/ebook). xvi, 442 p. (2020). MSC: 00-01 00A05 03-01 91A46 00A35 PDF BibTeX XML Cite \textit{B. Bajnok}, An invitation to abstract mathematics. 2nd edition. Cham: Springer (2020; Zbl 1451.00001) Full Text: DOI
André, Simon Hyperbolicity and cubulability are preserved under elementary equivalence. (English) Zbl 07256603 Geom. Topol. 24, No. 3, 1075-1147 (2020). MSC: 20F67 03C65 PDF BibTeX XML Cite \textit{S. André}, Geom. Topol. 24, No. 3, 1075--1147 (2020; Zbl 07256603) Full Text: DOI