Kadyg-ool, Khulerben Kok-oolobovich Non-classical logic concepts of Hugh MacColl. (Russian. English summary) Zbl 07947087 Log. Issled. 30, No. 2, 111-131 (2024). MSC: 03-XX × Cite Format Result Cite Review PDF Full Text: DOI
Abeles, Francine F. Hugh MacColl and Christine Ladd-Franklin: 1877–1909. (English) Zbl 07918522 Madigan, Timothy J. (ed.) et al., Universal logic, ethics, and truth. Essays in honor of John Corcoran (1937–2021). Cham: Birkhäuser. Stud. Univers. Log., 7-21 (2024). Reviewer: Symon Serbenyuk (Kyïv) MSC: 01A55 03-03 03B05 × Cite Format Result Cite Review PDF Full Text: DOI
Avron, Arnon Poincaré-Weyl’s predicativity: going beyond \(\Gamma_0\). (English) Zbl 07828958 Bull. Symb. Log. 30, No. 1, 41-91 (2024). MSC: 03A05 03B30 03E30 03E10 00A30 03-03 × Cite Format Result Cite Review PDF Full Text: DOI
Koshkin, Sergiy Is Peirce’s reduction thesis gerrymandered? arXiv:2406.14058 Preprint, arXiv:2406.14058 [math.LO] (2024). MSC: 03G15 03A05 00A30 03E20 03-03 × Cite Format Result Cite Full Text: DOI arXiv
Pambuccian, Victor The single intuition of a move of time. (English) Zbl 1543.01021 Papadopoulos, Athanase (ed.), Essays in geometry. Dedicated to Norbert A’Campo. Berlin: European Mathematical Society. IRMA Lect. Math. Theor. Phys. 34, 871-882 (2023). Reviewer: Martin Lukarevski (Štip) MSC: 01A60 03A05 03B30 51-03 × Cite Format Result Cite Review PDF Full Text: DOI
Rocha, Maristela A study of the metatheory of assertoric syllogistic. (English) Zbl 1534.03017 Log. Univers. 17, No. 3, 347-371 (2023). Reviewer: Ioannis Vandoulakis (Athína) MSC: 03A05 01A20 03B10 03E75 × Cite Format Result Cite Review PDF Full Text: DOI
Kon’kova, Antonina Viktorovna On correct syllogisms of the main variant of imaginary logic of N. A. Vasiliev. (Russian. English summary) Zbl 1547.03018 Log. Issled. 29, No. 1, 84-100 (2023). MSC: 03-03 03B60 03A05 × Cite Format Result Cite Review PDF Full Text: DOI
Pogonowski, Jerzy On the axiom of canonicity. (English) Zbl 1530.03015 Log. Log. Philos. 32, No. 1, 3-31 (2023). MSC: 03-03 03E30 01A60 × Cite Format Result Cite Review PDF Full Text: DOI
Wille, Matthias Fraenkel. Forming quantities. (Fraenkel. Mengen bilden.) (German) Zbl 07693505 Berlin: Springer Spektrum (ISBN 978-3-662-66166-6/hbk; 978-3-662-66167-3/ebook). xxii, 323 p. (2023). MSC: 03-03 03E30 01A60 × Cite Format Result Cite Review PDF Full Text: DOI
Kripke, Saul A. Gödel’s theorem and direct self-reference. (English) Zbl 07689504 Rev. Symb. Log. 16, No. 2, 650-654 (2023). MSC: 03-03 03B10 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Wolff, Michael Treatise on the principles of logic. A defense of logical monism. 3rd revised edition. (Abhandlung über die Prinzipien der Logik. Eine Verteidigung des logischen Monismus.) (German) Zbl 1515.03005 Philosophische Abhandlungen 121. Frankfurt am Main: Vittorio Klostermann (ISBN 978-3-465-04615-8/pbk; 978-3-465-13639-2/ebook). xxi, 454 p. (2023). MSC: 03-01 03A05 03B10 03B60 03-03 03-02 × Cite Format Result Cite Review PDF
Mancosu, Paolo; Zach, Richard Some Unpublished Letters by Gödel and von Neumann in the Fraenkel Archive. arXiv:2301.09814 Preprint, arXiv:2301.09814 [math.LO] (2023). MSC: 03-03 03E30 03F40 × Cite Format Result Cite Full Text: arXiv OA License
Chatti, Saloua Logical oppositions in Avicenna’s hypothetical logic. (English) Zbl 07909175 Beziau, Jean-Yves (ed.) et al., The exoteric square of opposition. The sixth world congress on the square of opposition, Crete, Greece, November 1–5, 2018. Cham: Birkhäuser. Stud. Univers. Log., 53-88 (2022). Reviewer: Mohammad K. Azarian (Evansville) MSC: 01A30 03A05 03B10 03C80 × Cite Format Result Cite Review PDF Full Text: DOI
Lolu, Gabriele ZF one hundred years ago. (Italian. English summary) Zbl 07820829 Mat. Cult. Soc., Riv. Unione Mat. Ital. (1) 7, No. 1, 5-33 (2022). MSC: 03-03 03E30 × Cite Format Result Cite Review PDF
Gastaldi, Juan Luis Boole’s untruth tables: the formal conditions of meaning before the emergence of propositional logic. (English) Zbl 1543.03012 Béziau, Jean-Yves (ed.) et al., Logic in question. Talks from the annual Sorbonne logic workshop (2011–2019), Paris, France, April 15–16, 2019. Cham: Birkhäuser. Stud. Univers. Log., 119-149 (2022). MSC: 03-03 01A55 03B05 03G05 × Cite Format Result Cite Review PDF Full Text: DOI
Bhattacharjee, Reetu; Moktefi, Amirouche; Pietarinen, Ahti-Veikko The representation of negative terms with Euler diagrams. (English) Zbl 1543.03043 Béziau, Jean-Yves (ed.) et al., Logic in question. Talks from the annual Sorbonne logic workshop (2011–2019), Paris, France, April 15–16, 2019. Cham: Birkhäuser. Stud. Univers. Log., 43-58 (2022). MSC: 03B05 03A05 03-03 01A55 × Cite Format Result Cite Review PDF Full Text: DOI
Centrone, Stefania; Minari, Pierluigi Oskar Becker and the modal translation of intuitionistic logic. (English) Zbl 1543.03006 Ademollo, Francesco (ed.) et al., Thinking and calculating. Essays in logic, its history and its philosophical applications in honour of Massimo Mugnai. Cham: Springer. Log. Epistemol. Unity Sci. 54, 355-368 (2022). MSC: 03-03 03B20 03B45 01A60 × Cite Format Result Cite Review PDF Full Text: DOI
D’Agostino, Marcello; Piazza, Mario Chrysippus’ logic in a natural deduction setting. (English) Zbl 1543.03008 Ademollo, Francesco (ed.) et al., Thinking and calculating. Essays in logic, its history and its philosophical applications in honour of Massimo Mugnai. Cham: Springer. Log. Epistemol. Unity Sci. 54, 83-99 (2022). MSC: 03-03 03A05 01A20 03F03 × Cite Format Result Cite Review PDF Full Text: DOI
Makinson, David Frege’s ontological diagram completed. (English) Zbl 1515.03035 Log. Univers. 16, No. 3, 381-387 (2022). Reviewer: Jens Lemanski (Hagen) MSC: 03A05 03B10 03-03 01A55 × Cite Format Result Cite Review PDF Full Text: DOI
Drobyshevich, Sergey; Odintsov, Sergei; Wansing, Heinrich Moisil’s modal logic and related systems. (English) Zbl 1531.03038 Bimbó, Katalin (ed.), Relevance logics and other tools for reasoning. Essays in honor of J. Michael Dunn. London: College Publications. Tributes 46, 150-177 (2022). MSC: 03B45 03B20 03-03 × Cite Format Result Cite Review PDF
Boccuni, Francesca; Panza, Marco Frege’s theory of real numbers: A consistent rendering. (English) Zbl 1496.00020 Rev. Symb. Log. 15, No. 3, 624-667 (2022). Reviewer: Victor V. Pambuccian (Glendale) MSC: 00A30 03A05 03-03 03B30 03F35 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Tschirk, Wolfgang On the universe of thought. An intellectual history of logic. (Vom Universum des Denkens. Eine Geistesgeschichte der Logik.) (German) Zbl 1508.03007 Berlin: Springer (ISBN 978-3-662-65312-8/hbk; 978-3-662-65313-5/ebook). vii, 118 p. (2022). Reviewer: Volker Peckhaus (Paderborn) MSC: 03-03 00A09 00-01 00A30 01A05 03A05 × Cite Format Result Cite Review PDF Full Text: DOI
Giovannini, Eduardo N.; Haeusler, Edward H.; Lassalle-Casanave, Abel; Veloso, Paulo A. S. De Zolt’s postulate: an abstract approach. (English) Zbl 1504.03011 Rev. Symb. Log. 15, No. 1, 197-224 (2022). Reviewer: Jim Mackenzie (Sydney) MSC: 03B30 03-03 51-03 01A60 × Cite Format Result Cite Review PDF Full Text: DOI
Bellucci, Francesco; Pietarinen, Ahti-Veikko An analysis of existential graphs. II: Beta. (English) Zbl 1529.03014 Synthese 199, No. 3-4, 7705-7726 (2021). MSC: 03A05 03B05 03-03 01A55 01A60 × Cite Format Result Cite Review PDF Full Text: DOI
Franks, Curtis The deduction theorem (before and after Herbrand). (English) Zbl 1512.03025 Hist. Philos. Log. 42, No. 2, 129-159 (2021). MSC: 03B10 03-03 01A60 × Cite Format Result Cite Review PDF Full Text: DOI
Priest, Graham Reflections on Orlov. (English) Zbl 1512.03009 Hist. Philos. Log. 42, No. 2, 118-128 (2021). MSC: 03-03 03B20 03B47 03B53 01A60 × Cite Format Result Cite Review PDF Full Text: DOI
Bazhanov, Valentin A.; Anellis, Irving H. Image of Soviet and Russian logic in the West. Latter half of the XXth century. (English) Zbl 1539.03004 Log. Issled. 27, No. 2, 133-152 (2021). MSC: 03-03 01A60 × Cite Format Result Cite Review PDF Full Text: DOI
Kurokawa, Hidenori On Takeuti’s early view of the concept of set. (English) Zbl 1541.03008 Arai, Toshiyasu (ed.) et al., Advances in mathematical logic. Dedicated to the memory of Professor Gaisi Takeuti, SAML 2018. Selected, revised contributions based on the presentations at the symposium, Kobe, Japan, September 18–20, 2018. Singapore: Springer. Springer Proc. Math. Stat. 369, 99-131 (2021). MSC: 03-03 03A05 03E30 03E70 03F03 01A60 × Cite Format Result Cite Review PDF Full Text: DOI
Legris, Javier On identity in Peirce’s beta graphs. (English) Zbl 1514.03022 Basu, Amrita (ed.) et al., Diagrammatic representation and inference. 12th international conference, Diagrams 2021, virtual, September 28–30, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12909, 238-245 (2021). MSC: 03A05 03-03 03B10 01A60 × Cite Format Result Cite Review PDF Full Text: DOI
Moschovakis, Joan Rand Solovay’s relative consistency proof for FIM and BI. (English) Zbl 1529.03271 Notre Dame J. Formal Logic 62, No. 4, 661-667 (2021). MSC: 03F25 03-03 01A61 03B30 03F50 03F55 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Fermüller, Christian G. Connecting sequent calculi with Lorenzen-style dialogue games. (English) Zbl 1490.03014 Heinzmann, Gerhard (ed.) et al., Paul Lorenzen – mathematician and logician. Contributions presented at the workshop, Konstanz, Germany, March 8–9, 2018. Cham: Springer. Log. Epistemol. Unity Sci. 51, 115-141 (2021). Reviewer: Volker Peckhaus (Paderborn) MSC: 03B47 03B20 01A60 03A05 03-03 03F52 91A05 × Cite Format Result Cite Review PDF Full Text: DOI
Antos, Carolin Conceptions of infinity and set in Lorenzen’s operationist system. (English) Zbl 1494.03011 Heinzmann, Gerhard (ed.) et al., Paul Lorenzen – mathematician and logician. Contributions presented at the workshop, Konstanz, Germany, March 8–9, 2018. Cham: Springer. Log. Epistemol. Unity Sci. 51, 23-46 (2021). Reviewer: Volker Peckhaus (Paderborn) MSC: 03A05 00A30 01A60 03-03 03B20 03B30 × Cite Format Result Cite Review PDF Full Text: DOI
Drago, Antonino An intuitionist reasoning upon formal intuitionist logic: logical analysis of Kolmogorov’s 1932 paper. (English) Zbl 1490.03002 Log. Univers. 15, No. 4, 537-552 (2021). Reviewer: Roman Murawski (Poznań) MSC: 03-03 03B20 03A05 01A60 × Cite Format Result Cite Review PDF Full Text: DOI
Hämeen-Anttila, Maria (ed.); von Plato, Jan (ed.) Kurt Gödel. The Princeton lectures on intuitionism. (English) Zbl 07414812 Sources and Studies in the History of Mathematics and Physical Sciences. Cham: Springer (ISBN 978-3-030-87295-3/hbk; 978-3-030-87298-4/pbk; 978-3-030-87296-0/ebook). ix, 133 p. (2021). MSC: 03-06 03-03 03B20 01A75 01A60 × Cite Format Result Cite Review PDF Full Text: DOI
Lucas, Salvador The origins of the halting problem. (English) Zbl 1535.03007 J. Log. Algebr. Methods Program. 121, Article ID 100687, 9 p. (2021). MSC: 03-03 03D10 68-03 68Q04 01A60 × Cite Format Result Cite Review PDF Full Text: DOI
Lampert, Timm; Säbel, Markus Wittgenstein’s elimination of identity for quantifier-free logic. (English) Zbl 1483.03001 Rev. Symb. Log. 14, No. 1, 1-21 (2021). Reviewer: Victor V. Pambuccian (Glendale) MSC: 03-03 03A05 03B10 03B60 01A60 × Cite Format Result Cite Review PDF Full Text: DOI
Marchisotto, Elena Anne Corie; Rodríguez-Consuegra, Francisco; Smith, James T. The legacy of Mario Pieri in foundations and philosophy of mathematics. (English) Zbl 1464.00008 New York, NY: Birkhäuser/Springer (ISBN 978-0-8176-4822-0/hbk; 978-0-8176-4823-7/ebook). xxii, 603 p. (2021). Reviewer: Victor V. Pambuccian (Glendale) MSC: 00A30 01A70 01A55 01A60 03A05 03B30 03-03 51-03 × Cite Format Result Cite Review PDF Full Text: DOI
Rahman, Shahid; Zarepour, Mohammad Saleh On descriptional propositions in Ibn Sīnā: elements for a logical analysis. (English) Zbl 1473.03007 Mojtahedi, Mojtaba (ed.) et al., Mathematics, logic, and their philosophies. Essays in honour of Mohammad Ardeshir. Cham: Springer. Log. Epistemol. Unity Sci. 49, 411-431 (2021). Reviewer: Jim Mackenzie (Sydney) MSC: 03A05 03B05 03B45 03B38 03-03 01A30 × Cite Format Result Cite Review PDF Full Text: DOI HAL
Gerla, Giangiacomo Point-free continuum. (English) Zbl 1461.03010 Shapiro, Stewart (ed.) et al., The history of continua. Philosophical and mathematical perspectives. Oxford: Oxford University Press. 427-475 (2021). MSC: 03B30 51A35 52A01 00A30 03-03 51-03 01A60 × Cite Format Result Cite Review PDF Full Text: DOI
Protin, Clarence A Logic for Aristotle’s Modal Syllogistic. arXiv:2110.00316 Preprint, arXiv:2110.00316 [math.LO] (2021). MSC: 03B45 03B20 03-03 03B60 × Cite Format Result Cite Full Text: arXiv
Trybus, Adam; Linsky, Bernard On Jan Łukasiewicz’s ‘The principle of contradiction and symbolic logic’. (English) Zbl 1509.03025 Hist. Philos. Log. 41, No. 2, 183-190 (2020). MSC: 03A05 03B10 03-03 01A60 × Cite Format Result Cite Review PDF Full Text: DOI
Łukasiewicz, Jan; Trybus, Adam; Linsky, Bernard The principle of contradiction and symbolic logic. (English) Zbl 1509.03014 Hist. Philos. Log. 41, No. 2, 154-182 (2020). MSC: 03A05 03B10 03-03 01A60 × Cite Format Result Cite Review PDF Full Text: DOI
Moriconi, Enrico; Mariani, Mauro Remarks on Leibniz’s interpretation of the square of opposition. (English) Zbl 1508.03026 Log. Anal., Nouv. Sér. 63, No. 249-250, 97-109 (2020). MSC: 03A05 03-03 01A45 01A50 × Cite Format Result Cite Review PDF Full Text: DOI
Świętorzecka, Kordula; Łyczak, Marcin Mereology with super-supplementation axioms. A reconstruction of the unpublished manuscript of Jan F. Drewnowski. (English) Zbl 1478.03014 Log. Log. Philos. 29, No. 2, 189-211 (2020). MSC: 03A05 03B60 03-03 01A60 × Cite Format Result Cite Review PDF Full Text: DOI
Sieg, Wilfried The ways of Hilbert’s axiomatics: structural and formal. (English, German) Zbl 1515.01016 Reck, Erich H. (ed.) et al., The prehistory of mathematical structuralism. Oxford: Oxford University Press. Log. Comput. Philos., 142-165 (2020). Reviewer: Bernd Buldt (Fort Wayne) MSC: 01A55 01A60 03-03 03B30 × Cite Format Result Cite Review PDF Full Text: DOI
Avron, Arnon Weyl reexamined: “Das Kontinuum” 100 years later. (English) Zbl 1458.03006 Bull. Symb. Log. 26, No. 1, 26-79 (2020). Reviewer: Jens Lemanski (Hagen) MSC: 03A05 03B30 03B38 01A60 03-03 × Cite Format Result Cite Review PDF Full Text: DOI
Ma, Minghui; Pietarinen, Ahti-Veikko Peirce’s calculi for classical propositional logic. (English) Zbl 1485.03017 Rev. Symb. Log. 13, No. 3, 509-540 (2020). MSC: 03B05 03F03 03-03 01A55 03A05 × Cite Format Result Cite Review PDF Full Text: DOI
Felgner, Ulrich The concepts of equivalence, equality and identity. (Die Begriffe der Äquivalenz, der Gleichheit und der Identität.) (German) Zbl 1442.00005 Jahresber. Dtsch. Math.-Ver. 122, No. 2, 109-129 (2020). Reviewer: Teun Koetsier (Amsterdam) MSC: 00A30 03-03 01A20 01A45 01A55 01A60 03A05 03B10 × Cite Format Result Cite Review PDF Full Text: DOI
van Dalen, Dirk; Rowe, David E. L. E. J. Brouwer: Intuitionism. 2nd edition. (L. E. J. Brouwer: Intuitionismus.) (German) Zbl 1476.03001 Mathematik im Kontext. Berlin: Springer Spektrum (ISBN 978-3-662-61388-7/pbk; 978-3-662-61389-4/ebook). ix, 191 p. (2020). Reviewer: Valery Plisko (Moskva) MSC: 03-03 03B20 03F55 01A70 01A75 × Cite Format Result Cite Review PDF Full Text: DOI
Malink, Marko; Vasudevan, Anubav The peripatetic program in categorical logic: Leibniz on propositional terms. (English) Zbl 1452.03014 Rev. Symb. Log. 13, No. 1, 141-205 (2020). Reviewer: Volker Peckhaus (Paderborn) MSC: 03A05 03-03 01A20 01A45 03B05 03B47 × Cite Format Result Cite Review PDF Full Text: DOI
Nilsson, Jørgen Fischer A cube of opposition for predicate logic. (English) Zbl 1443.03005 Log. Univers. 14, No. 1, 103-114 (2020). Reviewer: Godofredo Iommi Amunátegui (Valparaíso) MSC: 03B10 03-03 01A20 01A35 × Cite Format Result Cite Review PDF Full Text: DOI
Strößner, Corina Existential import, Aristotelian logic, and its generalizations. (English) Zbl 1442.03001 Log. Univers. 14, No. 1, 69-102 (2020). Reviewer: Roman Murawski (Poznań) MSC: 03-03 01A20 03A05 03C80 03B10 × Cite Format Result Cite Review PDF Full Text: DOI
McLaughlin, Peter; Schlaudt, Oliver Kant’s antinomies of pure reason and the ‘hexagon of predicate negation’. (English) Zbl 1477.03014 Log. Univers. 14, No. 1, 51-67 (2020). MSC: 03A05 03B10 03B65 03-03 01A50 × Cite Format Result Cite Review PDF Full Text: DOI
Peirce, Charles S. Pietarinen, Ahti-Veikko (ed.) Logic of the future. Writings on existential graphs. Volume 1. History and applications. Edited by Ahti-Veikko Pietarinen. (English) Zbl 1431.03005 Peirceana 1. Berlin: De Gruyter (ISBN 978-3-11-064934-5/hbk; 978-3-11-065140-9/ebook). xx, 664 p. (2020). MSC: 03-03 03-06 01A75 01A70 03A05 03B10 × Cite Format Result Cite Review PDF Full Text: DOI
Schlimm, Dirk On Frege’s Begriffsschrift for propositional logic: design principles, advantages and disadvantages. (Über Freges Begriffsschrift für Aussagenlogik: Gestaltungsprinzipien, Vor- und Nachteile.) (German) Zbl 1434.03008 Wille, Matthias (ed.), Fregesche Variationen. Essays zu Ehren von Christian Thiel. Münster: Mentis Verlag. 129-167 (2020). MSC: 03-03 01A55 03A05 03B05 × Cite Format Result Cite Review PDF
Priest, Graham From the foundations of mathematics to mathematical pluralism. (English) Zbl 1528.03004 Centrone, Stefania (ed.) et al., Reflections on the foundations of mathematics. Univalent foundations, set theory and general thoughts. Based on the conference on foundations of mathematics: univalent foundations and set theory, FOMUS, Bielefeld, Germany, July 18–23, 2016. Cham: Springer. Synth. Libr. 407, 363-380 (2019). MSC: 03-03 03A05 03B30 03B53 18A15 01A55 01A60 01A61 × Cite Format Result Cite Review PDF Full Text: DOI
Carl, Merlin; Engelen, Eva-Maria Some remarks by Kurt Gödel on set theory. (Einige Bemerkungen Kurt Gödels zur Mengenlehre.) (German) Zbl 1510.03002 Koenig, Daniel (ed.) et al., Mathematik in der Tradition des Neukantianismus. Siegen: universi – Universitaetsverlag Siegen. Siegen. Beitr. Gesch. Philos. Math. 11, 143-169 (2019). MSC: 03-03 03A05 03E30 01A60 × Cite Format Result Cite Review PDF
Béziau, Jean-Yves An unexpected feature of classical propositional logic in the Tractatus. (English) Zbl 1465.03004 Mras, Gabriele M. (ed.) et al., Philosophy of logic and mathematics. Proceedings of the 41st international Ludwig Wittgenstein symposium. Berlin: De Gruyter. Publ. Austrian Ludwig Wittgenstein Soc. New Ser. 27, 385-395 (2019). MSC: 03-03 03B05 03A05 01A60 × Cite Format Result Cite Review PDF Full Text: DOI
Kienzler, Wolfgang Three types and traditions of logic: syllogistic, calculus and predicate logic. (English) Zbl 1465.03013 Mras, Gabriele M. (ed.) et al., Philosophy of logic and mathematics. Proceedings of the 41st international Ludwig Wittgenstein symposium. Berlin: De Gruyter. Publ. Austrian Ludwig Wittgenstein Soc. New Ser. 27, 133-152 (2019). MSC: 03-03 01A55 01A60 03B10 03A05 × Cite Format Result Cite Review PDF Full Text: DOI
Fontanella, Laura Axioms as definitions: revisiting Poincaré and Hilbert. (English. French summary) Zbl 1439.03019 Philos. Sci., Paris 23, No. 1, 167-183 (2019). MSC: 03A05 00A30 03-03 01A55 01A60 03B30 × Cite Format Result Cite Review PDF
Weiss, Yale Sextus Empiricus’ fourth conditional and containment logic. (English) Zbl 1427.03011 Hist. Philos. Log. 40, No. 4, 307-322 (2019). MSC: 03-03 01A20 03B05 03A05 × Cite Format Result Cite Review PDF Full Text: DOI
Vlasits, Justin Mereology in Aristotle’s assertoric syllogistic. (English) Zbl 1427.03024 Hist. Philos. Log. 40, No. 1, 1-11 (2019). MSC: 03A05 03-03 03B05 01A20 × Cite Format Result Cite Review PDF Full Text: DOI Link
Schumann, Andrew On the origin of Indian logic from the viewpoint of the Pāli Canon. (English) Zbl 1468.03002 Log. Univers. 13, No. 3, 347-393 (2019). MSC: 03-03 01A32 03A05 03B65 03B05 03B22 01A29 × Cite Format Result Cite Review PDF Full Text: DOI
Sieg, Wilfried The Cantor-Bernstein theorem: how many proofs? (English) Zbl 1441.03015 Philos. Trans. R. Soc. Lond., A, Math. Phys. Eng. Sci. 377, No. 2140, Article ID 20180031, 11 p. (2019). Reviewer: Roman Murawski (Poznań) MSC: 03B35 03E20 03-03 01A55 01A60 × Cite Format Result Cite Review PDF Full Text: DOI
Venturi, Giorgio; Viale, Matteo New axioms in set theory. (English) Zbl 1534.03008 Mat. Cult. Soc., Riv. Unione Mat. Ital. (1) 3, No. 3, 211-236 (2018). MSC: 03-03 03E30 03E45 03E55 03E57 03E65 01A60 × Cite Format Result Cite Review PDF
Bottazzini, Umberto The origins of Cantor’s set theory. (Italian. English summary) Zbl 1534.03003 Mat. Cult. Soc., Riv. Unione Mat. Ital. (1) 3, No. 3, 179-191 (2018). MSC: 03-03 03E30 03E15 42-03 × Cite Format Result Cite Review PDF
Taltavull, Marta Jordi The uncertain limits between classical and quantum physics: optical dispersion and Bohr’s atomic model. (English) Zbl 1543.81003 Ann. Phys., Berlin 530, No. 8, Article ID 1800104, 5 p. (2018). MSC: 81-03 81P05 81P10 × Cite Format Result Cite Review PDF Full Text: DOI
Gabbay, Michael Formalism and set theoretic truth. (English) Zbl 1513.03010 J. Appl. Log. - IfCoLog J. Log. Appl. 5, No. 6, 1365-1380 (2018). MSC: 03A05 03E30 00A30 01A60 × Cite Format Result Cite Review PDF
Odintsov, Sergei Maksimova, relevance and the study of lattices of non-classical logics. (English) Zbl 1429.01027 Odintsov, Sergei (ed.), Larisa Maksimova on implication, interpolation, and definability. Cham: Springer. Outst. Contrib. Log. 15, 1-20 (2018). MSC: 01A70 03-03 03B20 03B45 × Cite Format Result Cite Review PDF Full Text: DOI
Lenzen, Wolfgang Two days in the life of a genius. (English) Zbl 1429.03006 Florio, Ciro de (ed.) et al., From arithmetic to metaphysics. A path through philosophical logic. In honor of Sergio Galvan. Berlin: De Gruyter. Philos. Anal. 73, 207-240 (2018). MSC: 03-03 03A05 03B10 01A45 01A70 × Cite Format Result Cite Review PDF Full Text: DOI
Ficara, Elena Hegel and the consequentia mirabilis. (English) Zbl 1427.03004 Hist. Philos. Log. 39, No. 4, 357-364 (2018). MSC: 03-03 03A05 03B05 01A55 × Cite Format Result Cite Review PDF Full Text: DOI
Moktefi, Amirouche Book review of: Lewis Carroll’s diaries. The private journals of Charles Lutwidge Dodgson (Lewis Carroll); The logic pamphlets of Charles Lutwidge Dodgson and related pieces. (English) Zbl 1456.00029 Hist. Philos. Log. 39, No. 2, 187-200 (2018). MSC: 00A17 01A75 01A55 03B05 03-03 00B10 × Cite Format Result Cite Review PDF Full Text: DOI
Stewart, Charles; de Paiva, Valeria; Alechina, Natasha Intuitionistic modal logic: a 15-year retrospective. (English) Zbl 1454.03011 J. Log. Comput. 28, No. 5, 873-882 (2018). MSC: 03-06 00B15 03B45 03B20 03-03 × Cite Format Result Cite Review PDF Full Text: DOI Link
Garrido, Angel Many-valued logics in the Iberian peninsula. (English) Zbl 1522.03005 Garrido, Ángel (ed.) et al., The Lvov-Warsaw school. Past and present. Cham: Birkhäuser. Stud. Univers. Log., 633-644 (2018). MSC: 03-03 03B50 03A05 01A60 × Cite Format Result Cite Review PDF Full Text: DOI
Indrzejczak, Andrzej Stanisław Jaśkowski and natural deduction systems. (English) Zbl 1406.03011 Garrido, Ángel (ed.) et al., The Lvov-Warsaw school. Past and present. Cham: Birkhäuser (ISBN 978-3-319-65429-4/hbk; 978-3-319-65430-0/ebook). Studies in Universal Logic, 465-483 (2018). MSC: 03-03 03B05 03B10 03F03 01A60 01A70 × Cite Format Result Cite Review PDF Full Text: DOI
Simons, Peter Leśniewski and mereology. (English) Zbl 1406.03022 Garrido, Ángel (ed.) et al., The Lvov-Warsaw school. Past and present. Cham: Birkhäuser (ISBN 978-3-319-65429-4/hbk; 978-3-319-65430-0/ebook). Studies in Universal Logic, 337-359 (2018). MSC: 03-03 03A05 03E30 01A70 01A60 × Cite Format Result Cite Review PDF Full Text: DOI
Simons, Peter Stanisław Leśniewski: original and uncompromising logical genius. (English) Zbl 1405.01025 Garrido, Ángel (ed.) et al., The Lvov-Warsaw school. Past and present. Cham: Birkhäuser (ISBN 978-3-319-65429-4/hbk; 978-3-319-65430-0/ebook). Studies in Universal Logic, 209-221 (2018). MSC: 01A60 01A70 01A72 03-03 03A05 03B05 × Cite Format Result Cite Review PDF Full Text: DOI
Richard, Sebastien Leśniewski on metalogic and definitions. (English) Zbl 1398.03032 Synthese 195, No. 6, 2649-2676 (2018). MSC: 03A05 03-03 01A60 03B05 × Cite Format Result Cite Review PDF Full Text: DOI
Beziau, Jean-Yves Is the principle of contradiction a consequence of \(x^2=x\)? (English) Zbl 1408.03003 Log. Univers. 12, No. 1-2, 55-81 (2018). Reviewer: Jim Mackenzie (Sydney) MSC: 03A05 00A30 01A55 03B53 03B22 03B05 03B10 03G05 × Cite Format Result Cite Review PDF Full Text: DOI
Katz, Boris; Katz, Mikhail G.; Sanders, Sam A footnote to “The crisis in contemporary mathematics”. (English) Zbl 1392.01019 Hist. Math. 45, No. 2, 176-181 (2018). Reviewer: Christopher Hollings (Oxford) MSC: 01A60 26E35 03B20 03F60 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Halimi, Brice Logical contextuality in Frege. (English) Zbl 1437.03003 Rev. Symb. Log. 11, No. 1, 1-20 (2018). Reviewer: Roman Murawski (Poznań) MSC: 03-03 03A05 01A60 03B30 × Cite Format Result Cite Review PDF Full Text: DOI
Schlimm, Dirk On Frege’s Begriffsschrift notation for propositional logic: design principles and trade-offs. (English) Zbl 1436.03011 Hist. Philos. Log. 39, No. 1, 53-79 (2018). MSC: 03-03 03B05 01A55 × Cite Format Result Cite Review PDF Full Text: DOI
Dean, Walter Bernays and the completeness theorem. (English) Zbl 1506.03060 Ann. Japan Assoc. Philos. Sci. 25, 45-55 (2017). MSC: 03B10 03F40 03F35 03B30 03-03 01A60 × Cite Format Result Cite Review PDF Full Text: DOI
Manin, Yuri I. Foundations as superstructure. (English) Zbl 1430.03002 Prosorov, Oleg (ed.), Proceedings of the international conference on philosophy, mathematics, linguistics: aspects of interaction (PhML-2012), Euler International Mathematical Institute St. Petersburg, St. Petersburg, Russia, May 22–25, 2012. London: College Publications. Stud. Log. (Lond.) 70, 101-115 (2017). MSC: 03-03 03B30 00A30 01A20 01A35 01A55 01A60 × Cite Format Result Cite Review PDF
Paris, Jeff B.; Vencovská, Alena Ancient Indian logic and analogy. (English) Zbl 1485.03066 Ghosh, Sujata (ed.) et al., Logic and its applications. 7th Indian conference, ICLA 2017, Kanpur, India, January 5–7, 2017. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 10119, 198-210 (2017). MSC: 03B60 03-03 03B10 01A32 × Cite Format Result Cite Review PDF Full Text: DOI Link
Binder, David; Piecha, Thomas Popper’s notion of duality and his theory of negations. (English) Zbl 1406.03004 Hist. Philos. Log. 38, No. 2, 154-189 (2017). Reviewer: Leon Harkleroad (Bowdoinham) MSC: 03-03 03B05 03B45 01A60 × Cite Format Result Cite Review PDF Full Text: DOI
Liu, Yang Frege’s Begriffsschrift is indeed first-order complete. (English) Zbl 1417.03016 Hist. Philos. Log. 38, No. 4, 342-344 (2017). MSC: 03-03 03B10 01A55 × Cite Format Result Cite Review PDF Full Text: DOI
Øhrstrøm, Peter C. S. Peirce. (English) Zbl 1387.03004 Malpass, Alex (ed.) et al., The history of philosophical and formal logic. From Aristotle to Tarski. New York, NY: Bloomsbury Academic (ISBN 978-1-4725-1350-2/hbk). 165-181 (2017). Reviewer: Antonín Slavík (Praha) MSC: 03-03 03A05 03B05 03B10 03B44 03B45 01A55 01A60 × Cite Format Result Cite Review PDF
Ferreirós, José The role of Abbildungen in Dedekind’s late work. (English) Zbl 1382.01005 Scheel, Katrin (ed.) et al., In memoriam Richard Dedekind (1831–1916). Number theory – algebra – set theory – history – philosophy. Proceedings of the conference, TU Braunschweig, Germany, October 6–8, 2016. Münster: WTM-Verlag (ISBN 978-3-95987-043-6/pbk). Schriften zur Geschichte der Mathematik und ihrer Didaktik 3, 160-173 (2017). Reviewer: Christopher Hollings (Oxford) MSC: 01A60 03-03 03E20 × Cite Format Result Cite Review PDF
Jungnickel, Christa; McCormmach, Russell The second physicist. On the history of theoretical physics in Germany. (English) Zbl 1373.01002 Archimedes 48. Cham: Springer (ISBN 978-3-319-49564-4/hbk; 978-3-319-49565-1/ebook). xxxi, 460 p. (2017). MSC: 01-02 00A79 01A55 01A70 70-03 81-03 81P10 × Cite Format Result Cite Review PDF Full Text: DOI
Peckhaus, Volker Book review of: W. Ewald (ed.) and W. Sieg (ed.), David Hilbert’s lectures on the foundations of arithmetic and logic, 1917–1933. (English) Zbl 1369.00051 Stud. Log. 105, No. 3, 669-671 (2017). MSC: 00A17 03-03 01A60 01A75 03B30 03F03 03F30 × Cite Format Result Cite Review PDF Full Text: DOI
Dean, Walter; Walsh, Sean The prehistory of the subsystems of second-order arithmetic. (English) Zbl 1376.03005 Rev. Symb. Log. 10, No. 2, 357-396 (2017). Reviewer: Robert W. van der Waall (Amsterdam) MSC: 03-03 03F35 03B30 03F60 01A60 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Gerla, Giangiacomo; Gruszczyński, Rafał Point-free geometry, ovals, and half-planes. (English) Zbl 1368.03017 Rev. Symb. Log. 10, No. 2, 237-258 (2017). Reviewer: Victor V. Pambuccian (Phoenix) MSC: 03B30 03-03 01A60 51A35 52A01 × Cite Format Result Cite Review PDF Full Text: DOI
Akrami, Musa From logic in Islam to Islamic logic. (English) Zbl 1378.01003 Log. Univers. 11, No. 1, 61-83 (2017). Reviewer: V. N. Saliĭ (Saratov) MSC: 01A30 03-03 03A99 03B05 03B42 × Cite Format Result Cite Review PDF Full Text: DOI
Omodeo, Eugenio G. (ed.); Policriti, Alberto (ed.) [Davis, Martin; Putnam, Hilary] “Feasible computational methods in the propositional calculus”, the seminal report by M. Davis and H. Putnam. (English) Zbl 1439.03036 Omodeo, Eugenio G. (ed.) et al., Martin Davis on computability, computational logic, and mathematical foundations. Cham: Springer. Outst. Contrib. Log. 10, 371-408 (2016). MSC: 03B35 03-03 03B05 03F03 01A75 × Cite Format Result Cite Review PDF Full Text: DOI
Peacock, Kent A.; Tedder, Andrew Identity, haecceity, and the Godzilla problem. (English) Zbl 1417.03123 Payette, Gillman (ed.), “Shut up,” he explained. Essays in honour of Peter K. Schotch. London: College Publications. Tributes 31, 63-79 (2016). MSC: 03B10 03A05 03-03 01A60 × Cite Format Result Cite Review PDF Full Text: arXiv
Bussotti, Paolo The concept of the infinite in Federigo Enriques. (Italian. English summary) Zbl 1402.03011 Mat. Cult. Soc., Riv. Unione Mat. Ital. (1) 1, No. 1, 65-86 (2016). MSC: 03-03 01A60 01A55 03E30 03H05 × Cite Format Result Cite Review PDF
Velupillai, K. Vela Max Euwe’s ‘Set-theoretic observations on the game of chess’. Introductory notes. (English) Zbl 1377.93006 New Math. Nat. Comput. 12, No. 1, 21-28 (2016). MSC: 93-03 91A44 03B20 03E70 × Cite Format Result Cite Review PDF Full Text: DOI
Robering, Klaus “The whole is greater than the part.” Mereology in Euclid’s Elements. (English) Zbl 1369.03019 Log. Log. Philos. 25, No. 3, 371-409 (2016). MSC: 03-03 03A05 03B30 51M05 01A20 × Cite Format Result Cite Review PDF Full Text: DOI
Malink, Marko; Vasudevan, Anubav The logic of Leibniz’s Generales inquisitiones de analysi notionum et veritatum. (English) Zbl 1397.03003 Rev. Symb. Log. 9, No. 4, 686-751 (2016). Reviewer: Victor V. Pambuccian (Yerevan) MSC: 03-03 03B05 01A45 × Cite Format Result Cite Review PDF Full Text: DOI