Hoffmann, Dirk W. Gödel’s incompleteness theorems. A guided tour through Kurt Gödel’s historic proof. (English) Zbl 07938918 Berlin: Springer (ISBN 978-3-662-69549-4/pbk; 978-3-662-69550-0/ebook). xix, 385 p. (2024). MSC: 03-03 03-01 03F03 03F40 01A60 00A30 × Cite Format Result Cite Review PDF Full Text: DOI
Woleński, Jan Sentences, propositions, and truth-bearers: Polish tradition. (English) Zbl 07918537 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., 231-251 (2024). MSC: 03A05 01A60 × 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
Wittgenstein, Ludwig Nedo, Michael (ed.) Ludwig Wittgenstein. Vienna edition. Vol. 10.1. Collection of notes from the synopses of the manuscript volumes I to X. Edited by Michael Nedo. (Ludwig Wittgenstein. Wiener Ausgabe. Band 10.1. Zettelsammlung aus den Synopsen der Manuskriptbände I bis X.) (German. English introduction) Zbl 1527.01036 Frankfurt am Main: Vittorio Klostermann (ISBN 978-3-465-03483-4/hbk). xxviii, 225 p. (2023). Reviewer: Volker Peckhaus (Paderborn) MSC: 01A75 00A30 03-03 03A05 × Cite Format Result Cite Review PDF
Ketonen, Oiva Negri, Sara (ed.); von Plato, Jan (ed.) Investigations into the predicate calculus. Edited by Sara Negri and Jan von Plato. (English) Zbl 1539.03003 Logic PhDs 3. London: College Publications (Diss. 1944) (ISBN 978-1-84890-407-1/pbk). 140 p. (2022). MSC: 03-02 03-03 03F03 03F05 01A75 × Cite Format Result Cite Review PDF
Bowen, Jonathan P. Book review of: C. B. Jones (ed.) and J. Misra (ed.), Theories of programming. The life and works of Tony Hoare. (English) Zbl 1539.00009 Formal Asp. Comput. 34, No. 3-4, Article No. 14, 3 p. (2022). MSC: 00A17 68-06 01A70 68-03 68N30 68Q55 68Q85 00B15 × Cite Format Result Cite Review PDF Full Text: DOI
Indrzejczak, Andrzej Dialogues and proofs; Yankov’s contribution to proof theory. (English) Zbl 1543.03013 Citkin, Alex (ed.) et al., V. A. Yankov on non-classical logics, history and philosophy of mathematics. Cham: Springer. Outst. Contrib. Log. 24, 53-70 (2022). MSC: 03-03 03F03 03F05 03F25 01A60 01A70 × 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
Sarmento, Garibaldi A note on Tarski’s remarks about the non-admissibility of a general theory of semantics. (English) Zbl 1515.03212 J. Appl. Log. - IfCoLog J. Log. Appl. 9, No. 1, 573-582 (2022). MSC: 03F15 03F35 03-03 × Cite Format Result Cite Review PDF
Omori, Hitoshi; Wansing, Heinrich Varieties of negation and contra-classicality in view of Dunn semantics. (English) Zbl 1531.03004 Bimbó, Katalin (ed.), Relevance logics and other tools for reasoning. Essays in honor of J. Michael Dunn. London: College Publications. Tributes 46, 309-337 (2022). MSC: 03-03 03B47 03B50 × Cite Format Result Cite Review PDF
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
Centrone, Stefania Conceptions of proof from aristotle to Gentzen’s calculi. (English) Zbl 1528.03222 Mainzer, Klaus (ed.) et al., Proof and computation II. From proof theory and univalent mathematics to program extraction and verification. Based on the international autumn school “Proof and computation”, September 20–26, 2019. Hackensack, NJ: World Scientific. 33-54 (2022). MSC: 03F03 03A05 03-03 01A55 01A60 × Cite Format Result Cite Review PDF Full Text: DOI
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
Wittgenstein, Ludwig Nedo, Michael (ed.) Ludwig Wittgenstein. Vienna edition. Vol. 6. Pocket notebooks 1931–32. Remarks. Edited by Michael Nedo. (Ludwig Wittgenstein. Wiener Ausgabe. Band 6. Taschennotizbücher 1931–32. Anmerkungen.) (German. English introduction) Zbl 1530.01045 Frankfurt am Main: Vittorio Klostermann (ISBN 978-3-465-03337-0/hbk). xiii, 192 p. (2022). Reviewer: Volker Peckhaus (Paderborn) MSC: 01A75 00A30 03-03 03A05 × Cite Format Result Cite Review PDF
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
Lemanski, Jens; Demey, Lorenz Schopenhauer’s partition diagrams and logical geometry. (English) Zbl 1514.03023 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, 149-165 (2021). MSC: 03A05 03-03 01A55 × Cite Format Result Cite Review PDF Full Text: DOI Link
Biggs, Michael A. R. Wittgenstein’s picture-investigations. (English) Zbl 1514.03016 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, 103-117 (2021). MSC: 03A05 03-03 × Cite Format Result Cite Review PDF Full Text: DOI Link
Klonowski, Mateusz History of relating logic. The origin and research directions. (English) Zbl 1496.03004 Log. Log. Philos. 30, No. 4, 579-629 (2021). MSC: 03-03 03B60 01A60 × Cite Format Result Cite Review PDF Full Text: DOI
Jarmużek, Tomasz; Paoli, Francesco Relating logic and relating semantics. History, philosophical applications and some of technical problems. (English) Zbl 1496.03008 Log. Log. Philos. 30, No. 4, 563-577 (2021). MSC: 03-06 03B60 03B45 00B25 × Cite Format Result Cite Review PDF Full Text: DOI
Kahle, Reinhard; Oitavem, Isabel Lorenzen between Gentzen and Schütte. (English) Zbl 1497.03003 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, 63-76 (2021). Reviewer: Jan Kotůlek (Ostrava) MSC: 03-03 03F03 × Cite Format Result Cite Review PDF Full Text: DOI
Coquand, Thierry Lorenzen and constructive mathematics. (English) Zbl 1490.03001 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, 47-61 (2021). Reviewer: Volker Peckhaus (Paderborn) MSC: 03-03 03F50 03F60 01A60 01A70 03A05 03F03 03F45 06-03 28-03 × Cite Format Result Cite Review PDF Full Text: DOI
Jones, Cliff B. (ed.); Misra, Jayadev (ed.) Theories of programming. The life and works of Tony Hoare. (English) Zbl 1473.68016 ACM Books 39. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-8728-6/hbk; 978-1-4503-8729-3/pbk; 978-1-4503-8731-6/ebook). xx, 429 p. (2021). Reviewer: Haim Kilov (Millington) MSC: 68-06 01A70 68-03 68N30 68Q55 68Q85 00B15 × Cite Format Result Cite Review PDF Full Text: DOI
Rothstein, Susan; Lima, Suzi Quantity evaluations in Yudja: judgements, language and cultural practice. (English) Zbl 1506.01003 Synthese 197, No. 9, 3851-3873 (2020). MSC: 01A12 01A07 00A35 × Cite Format Result Cite Review PDF Full Text: DOI
Bertran-San-Millán, Joan Frege, Peano and the construction of a logical calculus. (English) Zbl 1508.03003 Log. Anal., Nouv. Sér. 64, No. 253, 3-22 (2020). MSC: 03-03 03A05 03F03 03F30 × Cite Format Result Cite Review PDF Full Text: DOI
Kahle, Reinhard “Sehr geehrter Herr Professor!” Proof theory in 1949 in a letter from Schütte to Bernays. (English) Zbl 1535.03005 Kahle, Reinhard (ed.) et al., The legacy of Kurt Schütte. Cham: Springer. 3-19 (2020). MSC: 03-03 01A60 03F03 × 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
Centrone, Stefania Introduction: mathesis universalis, proof and computation. (English) Zbl 1469.03003 Centrone, Stefania (ed.) et al., Mathesis universalis, computability and proof. Based on the Humboldt-Kolleg “Proof theory as mathesis universalis”, held at the German-Italian Centre for European Excellence, Villa Vigoni, Loveno di Menaggio, Como, Italy, July 24–28, 2017. Cham: Springer. Synth. Libr. 412, 1-6 (2019). MSC: 03-03 03A05 03F03 01A45 01A55 × Cite Format Result Cite Review PDF Full Text: DOI
Omori, Hitoshi; Wansing, Heinrich An invitation to new essays on Belnap-Dunn logic. (English) Zbl 1469.03064 Omori, Hitoshi (ed.) et al., New essays on Belnap-Dunn logic. Cham: Springer. Synth. Libr. 418, 1-9 (2019). MSC: 03B50 03B45 03B47 03B53 03-03 01A60 × Cite Format Result Cite Review PDF Full Text: DOI
Haldimann, Andreas Book review of: D. W. Hoffmann, Die Gödel’schen Unvollständigkeitssätze. 2nd ed. (German) Zbl 1440.00005 Elem. Math. 74, No. 2, 88 (2019). MSC: 00A17 03-03 03-01 03F03 03F40 01A60 00A30 × Cite Format Result Cite Review PDF Full Text: DOI
Schirn, Matthias The finite and infinite: on Hilbert’s formalist approach before and after Gödel’s incompleteness theorems. (English) Zbl 1454.03008 Log. Anal., Nouv. Sér. 62, No. 245, 1-34 (2019). Reviewer: Teun Koetsier (Amsterdam) MSC: 03-03 03F03 03F40 01A60 × Cite Format Result Cite Review PDF Full Text: DOI
Bobzien, Susanne Stoic sequent logic and proof theory. (English) Zbl 1427.03061 Hist. Philos. Log. 40, No. 3, 234-265 (2019). MSC: 03F03 03B47 03-03 01A20 × Cite Format Result Cite Review PDF Full Text: DOI Link
Apt, Krzysztof R.; Olderog, Ernst-Rüdiger Fifty years of Hoare’s logic. (English) Zbl 1427.68008 Formal Asp. Comput. 31, No. 6, 751-807 (2019). MSC: 68-03 03B70 68N30 68Q55 × Cite Format Result Cite Review PDF Full Text: DOI arXiv Link
Hipolito, Inês; Kahle, Reinhard Discussing Hilbert’s 24th problem. (English) Zbl 1441.03006 Philos. Trans. R. Soc. Lond., A, Math. Phys. Eng. Sci. 377, No. 2140, Article ID 20180040, 10 p. (2019). Reviewer: Victor V. Pambuccian (Glendale) MSC: 03-03 01A60 03F03 × Cite Format Result Cite Review PDF Full Text: DOI
Pietarinen, Ahti-Veikko To Peirce Hintikka’s thoughts. (English) Zbl 1472.03010 Log. Univers. 13, No. 2, 241-262 (2019). MSC: 03A05 03-03 01A55 01A60 × Cite Format Result Cite Review PDF Full Text: DOI
Yi, Byeong-Uk Two syllogisms in the Mozi: Chinese logic and language. (English) Zbl 1441.01003 Rev. Symb. Log. 12, No. 3, 589-606 (2019). Reviewer: Andrea Bréard (Orsay) MSC: 01A25 03-03 03A05 03B60 03B65 × Cite Format Result Cite Review PDF Full Text: DOI
Woleński, Jan Semantics and truth. (English) Zbl 1454.03007 Logic, Epistemology, and the Unity of Science 45. Cham: Springer (ISBN 978-3-030-24535-1/hbk; 978-3-030-24536-8/ebook). xxiii, 375 p. (2019). Reviewer: Branislav Boričić (Beograd) MSC: 03-02 03-03 03A05 01A60 × Cite Format Result Cite Review PDF Full Text: DOI
Sieg, Wilfried Hilbert’s programs and beyond. (English) Zbl 1418.01005 Oxford: Oxford University Press (ISBN 978-0-19-094819-1/pbk). xii, 439 p. (2019). MSC: 01-06 00A30 00B60 01A55 01A60 01A61 01A70 03-03 03A05 03A10 03F03 × Cite Format Result Cite Review PDF
Rezuş, Adrian Book review of: J. von Plato, Saved from the cellar. Gerhard Gentzen’s shorthand notes on logic and the foundations of mathematics. (English) Zbl 1435.00038 Stud. Log. 107, No. 3, 583-589 (2019). MSC: 00A17 03-03 01A60 03F03 03F05 03F25 03F40 03F50 03F55 03A05 01A70 × Cite Format Result Cite Review PDF Full Text: DOI
Došen, Kosta; Adžić, Miloš Gödel on deduction. (English) Zbl 1531.03008 Stud. Log. 107, No. 1, 31-51 (2019). MSC: 03A05 03F03 03-03 01A60 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Beisecker, Dave Peirce and proof: a view from the trees. (English) Zbl 1528.03012 Chapman, Peter (ed.) et al., Diagrammatic representation and inference. 10th international conference, Diagrams 2018, Edinburgh, UK, June 18–22, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10871, 537-548 (2018). MSC: 03A05 03F03 03-03 01A55 × Cite Format Result Cite Review PDF Full Text: DOI
Knuuttila, Simo Questions of epistemic logic in Hintikka. (English) Zbl 1437.03068 van Ditmarsch, Hans (ed.) et al., Jaakko Hintikka on knowledge and game-theoretical semantics. Dedicated to the memory of Jaakko Hintikka. Cham: Springer. Outst. Contrib. Log. 12, 413-431 (2018). MSC: 03B42 03-03 01A60 × Cite Format Result Cite Review PDF Full Text: DOI
Sandu, Gabriel [Hintikka, Jaakko] Short overview of the development of Hintikka’s work in logic. (English) Zbl 1437.03006 van Ditmarsch, Hans (ed.) et al., Jaakko Hintikka on knowledge and game-theoretical semantics. Dedicated to the memory of Jaakko Hintikka. Cham: Springer. Outst. Contrib. Log. 12, 1-18 (2018). MSC: 03-03 01A70 × Cite Format Result Cite Review PDF Full Text: DOI
Howard, William A. Conversations with Bill about functionals and terms. (English) Zbl 1423.03009 Reck, Erich H. (ed.), Logic, philosophy of mathematics, and their history. Essays in honor of W. W. Tait. London: College Publications. Tributes 36, 33-49 (2018). MSC: 03-03 01A60 01A70 03F03 03D30 03F10 × Cite Format Result Cite Review PDF
Feferman, Solomon Bill Tait’s exceptional contributions to an exceptional decade in mathematical logic. (English) Zbl 1423.03008 Reck, Erich H. (ed.), Logic, philosophy of mathematics, and their history. Essays in honor of W. W. Tait. London: College Publications. Tributes 36, 13-32 (2018). MSC: 03-03 01A70 01A60 03F03 03F10 × Cite Format Result Cite Review PDF
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
Woleński, Jan In memoriam: Alfred Tarski (1901–1983). (English) Zbl 1405.01028 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, 361-371 (2018). MSC: 01A60 01A70 03-03 × Cite Format Result Cite Review PDF Full Text: DOI
Malinowski, Grzegorz Łukasiewicz and his followers in many-valued logic. (English) Zbl 1406.03013 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, 301-328 (2018). MSC: 03-03 03B50 03B52 01A60 01A70 × Cite Format Result Cite Review PDF Full Text: DOI
von Plato, Jan Kurt Gödel’s first steps in logic: formal proofs in arithmetic and set theory through a system of natural deduction. (English) Zbl 1403.03006 Bull. Symb. Log. 24, No. 3, 319-335 (2018). Reviewer: Volker Peckhaus (Paderborn) MSC: 03-03 01A60 01A70 03F03 × Cite Format Result Cite Review PDF Full Text: DOI
Došen, Kosta; Adžić, Miloš Gödel’s natural deduction. (English) Zbl 1417.03008 Stud. Log. 106, No. 2, 397-415 (2018). MSC: 03-03 01A60 03A05 03F03 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Olen, Peter A forgotten strand of reception history: understanding pure semantics. (English) Zbl 1417.03026 Synthese 194, No. 1, 121-141 (2017). MSC: 03-03 03A05 01A60 × Cite Format Result Cite Review PDF Full Text: DOI
Wagner, Pierre Carnapian and Tarskian semantics. (English) Zbl 1417.03037 Synthese 194, No. 1, 97-119 (2017). MSC: 03-03 03A05 01A60 × Cite Format Result Cite Review PDF Full Text: DOI
Lampert, Timm Wittgenstein’s \(ab\)-notation: an iconic proof procedure. (English) Zbl 1417.03082 Hist. Philos. Log. 38, No. 3, 239-262 (2017). MSC: 03A05 03-03 03F03 01A60 × Cite Format Result Cite Review PDF Full Text: DOI
Başkent, Can (ed.); Moss, Lawrence S. (ed.); Ramanujam, Ramaswamy (ed.) [Parikh, Rohit] Rohit Parikh on logic, language and society. (English) Zbl 1381.03001 Outstanding Contributions to Logic 11. Cham: Springer (ISBN 978-3-319-47842-5/hbk; 978-3-319-47843-2/ebook). xiv, 359 p. (2017). MSC: 03-06 00A30 03A05 03B42 03B65 68Q55 00B15 01A70 01A60 × Cite Format Result Cite Review PDF Full Text: DOI
Hoffmann, Dirk W. Gödel’s incompleteness theorems. A guided tour through Kurt Gödel’s historical proof. 2nd revised edition. (Die Gödel’schen Unvollständigkeitssätze. Eine geführte Reise durch Kurt Gödels historischen Beweis.) (German) Zbl 1368.03003 Heidelberg: Springer Spektrum (ISBN 978-3-662-54299-6/pbk; 978-3-662-54300-9/ebook). xi, 356 p. (2017). MSC: 03-03 03-01 03F03 03F40 01A60 00A30 × 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
Aubert, Clément; Cristescu, Ioana Contextual equivalences in configuration structures and reversibility. (English) Zbl 1353.68193 J. Log. Algebr. Methods Program. 86, No. 1, 77-106 (2017). MSC: 68Q85 68Q10 68Q55 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
von Plato, Jan [Gentzen, Gerhard] Saved from the cellar. Gerhard Gentzen’s shorthand notes on logic and foundations of mathematics. (English) Zbl 1414.03002 Sources and Studies in the History of Mathematics and Physical Sciences. Cham: Springer (ISBN 978-3-319-42119-3/hbk; 978-3-319-42120-9/ebook). x, 315 p. (2017). Reviewer: Reinhard Kahle (Lisboa) MSC: 03-03 01A60 03F03 03F05 03F25 03F40 03F50 03F55 03A05 01A70 × 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
Hennix, Catharine C. 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.00029 Nieuw Arch. Wiskd. (5) 17, No. 4, 299-300 (2016). MSC: 00A17 03-03 01A60 01A75 03B30 03F03 03F30 × Cite Format Result Cite Review PDF
Markoska-Cubrinovska, Aneta Possible worlds in “The craft of formal logic”. (English) Zbl 1396.03033 Synthese 193, No. 11, 3459-3471 (2016). MSC: 03B45 03-03 01A60 03A05 × Cite Format Result Cite Review PDF Full Text: DOI
Dawson, John W. jun. 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 1332.00015 Hist. Math. 43, No. 1, 105-107 (2016). MSC: 00A17 03-03 01A60 01A75 03B30 03F03 03F30 × Cite Format Result Cite Review PDF Full Text: DOI
Detlefsen, Michael On the motives for proof theory. (English) Zbl 1429.03002 Wansing, Heinrich (ed.), Dag Prawitz on proofs and meaning. Cham: Springer. Outst. Contrib. Log. 7, 121-145 (2015). MSC: 03-03 03F03 01A60 × Cite Format Result Cite Review PDF Full Text: DOI
Wansing, Heinrich Prawitz, proofs, and meaning. (English) Zbl 1429.03197 Wansing, Heinrich (ed.), Dag Prawitz on proofs and meaning. Cham: Springer. Outst. Contrib. Log. 7, 1-32 (2015). MSC: 03F03 03-03 01A70 × Cite Format Result Cite Review PDF Full Text: DOI
Detlefsen, Michael Gentzen’s anti-formalist views. (English) Zbl 1378.03002 Kahle, Reinhard (ed.) et al., Gentzen’s centenary. The quest for consistency. Cham: Springer (ISBN 978-3-319-10102-6/pbk; 978-3-319-10103-3/ebook). 25-44 (2015). MSC: 03-03 03F03 03F25 03F30 01A60 × Cite Format Result Cite Review PDF Full Text: DOI
Cresswell, M. J. Arnould Bayart’s modal completeness theorems translated with an introduction and commentary. (English) Zbl 1372.03040 Log. Anal., Nouv. Sér. 58, No. 229, 89-142 (2015). MSC: 03B45 03B15 03-03 01A60 01A75 × Cite Format Result Cite Review PDF Full Text: DOI
Mancosu, Paolo 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 1358.00057 Philos. Math. (3) 23, No. 1, 126-135 (2015). MSC: 00A17 03-03 01A60 01A75 03B30 03F03 03F30 × Cite Format Result Cite Review PDF Full Text: DOI
Cardone, Felice Continuity in semantic theories of programming. (English) Zbl 1359.68003 Hist. Philos. Log. 36, No. 3, 242-261 (2015). MSC: 68-03 68N30 68Q55 × Cite Format Result Cite Review PDF Full Text: DOI Link
Janicki, Ryszard; Kleijn, Jetty; Koutny, Maciej; Mikulski, Łukasz Characterising concurrent histories. (English) Zbl 1334.68153 Fundam. Inform. 139, No. 1, 21-42 (2015). MSC: 68Q85 06A99 68Q55 × Cite Format Result Cite Review PDF Full Text: DOI
Daylight, Edgar G. From mathematical logic to programming-language semantics: a discussion with Tony Hoare. (English) Zbl 1347.68003 J. Log. Comput. 25, No. 4, 1091-1110 (2015). MSC: 68-03 01A70 03B70 68N15 68N30 × Cite Format Result Cite Review PDF Full Text: DOI
Din, Crystal Chang; Owe, Olaf Compositional reasoning about active objects with shared futures. (English) Zbl 1343.68166 Formal Asp. Comput. 27, No. 3, 551-572 (2015). MSC: 68Q85 68Q55 68Q60 × Cite Format Result Cite Review PDF Full Text: DOI
Goubier, Frédéric; Perini-Santos, Ernesto When the world is not enough: medieval ways to deal with the lack of referents. (English) Zbl 1323.01009 Log. Univers. 9, No. 2, 213-235 (2015). Reviewer: Luigi Borzacchini (Bari) MSC: 01A35 03A05 03-03 × Cite Format Result Cite Review PDF Full Text: DOI
Hamelin, Guy; Silva Maia, Danilo Luiz Nominalism and semantics in Abelard and Ockham. (English) Zbl 1323.01010 Log. Univers. 9, No. 2, 155-180 (2015). Reviewer: Luigi Borzacchini (Bari) MSC: 01A35 03A05 03-03 × Cite Format Result Cite Review PDF Full Text: DOI
Wansing, Heinrich (ed.) Dag Prawitz on proofs and meaning. (English) Zbl 1304.03008 Outstanding Contributions to Logic 7. Cham: Springer (ISBN 978-3-319-11040-0/hbk; 978-3-319-11041-7/ebook). xiii, 458 p. (2015). MSC: 03-06 00B30 00B15 01A70 01A60 03F03 03A05 × Cite Format Result Cite Review PDF Full Text: DOI
Gabbay, Dov M. What is a logical system? An evolutionary view: 1964–2014. (English) Zbl 1404.03009 Gabbay, Dov M. (ed.) et al., Computational logic. Amsterdam: Elsevier/North Holland (ISBN 978-0-444-51624-4/hbk). Handbook of the History of Logic 9, 41-132 (2014). MSC: 03-03 03F03 03B70 03B22 01A60 01A61 × Cite Format Result Cite Review PDF
Prawitz, Dag Is there a general notion of proof? (English) Zbl 1367.03014 Schroeder-Heister, Peter (ed.) et al., Logic, methodology and philosophy of science. Logic and science facing the new technologies. Proceedings of the 14th international congress, Nancy, France, July 19–26, 2011. London: College Publications (ISBN 978-1-84890-169-8/pbk). 27-43 (2014). MSC: 03A05 03F03 03-03 01A60 × Cite Format Result Cite Review PDF
Retoré, Christian Book review of: J.-Y. Girard, The blind spot. Lectures on logic. (French) Zbl 1358.00069 Gaz. Math., Soc. Math. Fr. 142, 136-143 (2014). MSC: 00A17 03Fxx 03-02 03-03 03A05 03B10 03B15 03B47 03B70 03F03 03F05 03F07 03F52 03G30 18C50 18D15 × Cite Format Result Cite Review PDF
Brookes, Stephen; O’Hearn, Peter W.; Reddy, Uday The essence of Reynolds. (English) Zbl 1342.01029 Formal Asp. Comput. 26, No. 3, 435-439 (2014). MSC: 01A70 68-03 × Cite Format Result Cite Review PDF Full Text: DOI
von Plato, Jan 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 1336.00106 Bull. Symb. Log. 20, No. 3, 363-368 (2014). MSC: 00A17 03-03 01A60 01A75 03B30 03F03 03F30 × Cite Format Result Cite Review PDF Full Text: DOI
Legris, Javier Paul Hertz’s systems of propositions as a proof-theoretical conception of logic. (English) Zbl 1344.03045 Pereira, Luiz Carlos (ed.) et al., Advances in natural deduction. A celebration of Dag Prawitz’s work. Selected papers based on the presentations at the conference “Natural deduction”, Rio de Janeiro, Brazil, 2001. Dordrecht: Springer (ISBN 978-94-007-7547-3/hbk; 978-94-007-7548-0/ebook). Trends in Logic – Studia Logica Library 39, 93-101 (2014). MSC: 03F03 03-03 01A60 × Cite Format Result Cite Review PDF Full Text: DOI
Magal, Oran Book review of: W. Sieg, Hilbert’s programs and beyond. (English) Zbl 1309.00027 Philos. Math. (3) 22, No. 3, 417-423 (2014). MSC: 00A17 01-06 00A30 00B60 01A55 01A60 01A61 01A70 03-03 03A05 03A10 03F03 × Cite Format Result Cite Review PDF Full Text: DOI
Wille, Matthias Book review of: W. Sieg, Hilbert’s programs and beyond. (English) Zbl 1308.00035 Hist. Philos. Log. 35, No. 2, 215-217 (2014). MSC: 00A17 01-06 00A30 00B60 01A55 01A60 01A61 01A70 03-03 03A05 03A10 03F03 × Cite Format Result Cite Review PDF Full Text: DOI
Schroeder-Heister, Peter The calculus of higher-level rules, propositional quantification, and the foundational approach to proof-theoretic harmony. (English) Zbl 1344.03046 Stud. Log. 102, No. 6, 1185-1216 (2014). MSC: 03F03 03F05 03F07 03-03 01A60 × Cite Format Result Cite Review PDF Full Text: DOI
von Plato, Jan From axiomatic logic to natural deduction. (English) Zbl 1344.03048 Stud. Log. 102, No. 6, 1167-1184 (2014). MSC: 03F03 03F07 03-03 01A60 × Cite Format Result Cite Review PDF Full Text: DOI
Hazen, Allen P.; Pelletier, Francis Jeffry Gentzen and Jaśkowski natural deduction: fundamentally similar but importantly different. (English) Zbl 1344.03044 Stud. Log. 102, No. 6, 1103-1142 (2014). MSC: 03F03 03F07 03-03 01A60 03B05 03B20 × Cite Format Result Cite Review PDF Full Text: DOI
Pezlar, Ivo Towards a more general concept of inference. (English) Zbl 1339.03047 Log. Univers. 8, No. 1, 61-81 (2014). MSC: 03F03 03A05 01A60 03-03 × Cite Format Result Cite Review PDF Full Text: DOI
Pambuccian, Victor V. Book review of: William Ewald (ed.) and Wilfried Sieg (ed.), David Hilbert’s lectures on the foundations of arithmetic and logic, 1917–1933. (English) Zbl 1302.00037 Eur. Math. Soc. Newsl. 93, 57-58 (2014). MSC: 00A17 03-03 01A60 01A75 03B30 03F03 03F30 × Cite Format Result Cite Review PDF
Din, Crystal Chang; Owe, Olaf A sound and complete reasoning system for asynchronous communication with shared futures. (English) Zbl 1371.68190 J. Log. Algebr. Methods Program. 83, No. 5-6, 360-383 (2014). MSC: 68Q85 03B70 68N30 68Q55 × Cite Format Result Cite Review PDF Full Text: DOI
Gray, Jeremy “The soul of the fact” – Poincaré and proof. (English) Zbl 1294.01016 Stud. Hist. Philos. Sci., Part B, Stud. Hist. Philos. Mod. Phys. 47, 142-150 (2014). MSC: 01A55 03-03 03F03 00A35 00A79 × Cite Format Result Cite Review PDF Full Text: DOI
Abramsky, Samson Events in context. (English) Zbl 1360.68623 Theor. Comput. Sci. 546, 7-9 (2014). MSC: 68Q85 01A70 68-03 68Q55 81P68 × Cite Format Result Cite Review PDF Full Text: DOI
Wille, Matthias Between algebra and Erlangen School. Paul Lorenzens contributions to proof theory. (Zwischen Algebra und Erlanger Schule. Paul Lorenzens Beiträge zur Beweistheorie.) (German) Zbl 1509.03008 Krömer, Ralf (ed.) et al., Siegener Beiträge zur Geschichte und Philosophie der Mathematik (SieB) 1. Siegen: universi – Universitaetsverlag Siegen. Siegen. Beitr. Gesch. Philos. Math. 1, 79-108 (2013). MSC: 03-03 01A60 03F03 × Cite Format Result Cite Review PDF
Kapantaïs, Doukas On the notion of Proving its own consistency. (English) Zbl 1432.03122 Cégielski, Patrick (ed.) et al., New studies in weak arithmetics. Stanford, CA: CSLI Publications; Paris: Presses Universitaires du Pôle de Recherche et d’Enseignement Supérieur Paris-Est. CSLI Lect. Notes 211, 149-178 (2013). MSC: 03F30 03F40 03-03 01A60 × Cite Format Result Cite Review PDF
Rudeanu, Sergiu; Vaida, Dragoş Revisiting the works of Mihail Benado. (English) Zbl 1393.06001 J. Mult.-Val. Log. Soft Comput. 20, No. 3-4, 265-307 (2013). MSC: 06-03 06B75 01A70 01A60 × Cite Format Result Cite Review PDF Full Text: Link
Mares, Edwin A Lewisian semantics for S2. (English) Zbl 1312.03024 Hist. Philos. Log. 34, No. 1, 53-67 (2013). MSC: 03B45 03-03 01A60 × Cite Format Result Cite Review PDF Full Text: DOI
Malink, Marko Aristotle’s modal syllogistic. (English) Zbl 1358.03002 Cambridge, MA: Harvard University Press (ISBN 978-0-674-72454-9/hbk; 978-0-674-72635-2/ebook). xi, 366 p. (2013). Reviewer: Luigi Borzacchini (Bari) MSC: 03-02 03-03 03B45 01A20 × Cite Format Result Cite Review PDF Full Text: DOI
van den Berg, Benno Hilbert and proof theory. (Dutch) Zbl 1296.01012 Nieuw Arch. Wiskd. (5) 14, No. 1, 45-48 (2013). MSC: 01A60 03-03 03F03 00A30 × Cite Format Result Cite Review PDF
Rumberg, Antje Bolzano’s concept of grounding (Abfolge) against the background of normal proofs. (English) Zbl 1288.03005 Rev. Symb. Log. 6, No. 3, 424-459 (2013). Reviewer: Davide Bondoni (Anfo) MSC: 03-03 03F03 × Cite Format Result Cite Review PDF Full Text: DOI
Churchill, Martin; Laird, Jim; McCusker, Guy Imperative programs as proofs via game semantics. (English) Zbl 1358.68179 Ann. Pure Appl. Logic 164, No. 11, 1038-1078 (2013). MSC: 68Q55 03B70 03F52 18C50 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Partee, Barbara H. The starring role of quantifiers in the history of formal semantics. (English) Zbl 1273.03094 Punčochář, Vít (ed.) et al., The Logica yearbook 2012. Proceedings of the 26th annual international symposium Logica, Hejnice Monastery, Czech Republic, June 18–22, 2012. London: College Publications (ISBN 978-1-84890-110-0/pbk). 113-136 (2013). MSC: 03B65 03-03 03A05 × Cite Format Result Cite Review PDF
Sieg, Wilfried Hilbert’s programs and beyond. (English) Zbl 1281.01004 Oxford: Oxford University Press (ISBN 978-0-19-537222-9/hbk). xii, 439 p. (2013). Reviewer: Volker Peckhaus (Paderborn) MSC: 01-06 00A30 00B60 01A55 01A60 01A61 01A70 03-03 03A05 03A10 03F03 × Cite Format Result Cite Review PDF
Hoffmann, Dirk W. Gödel’s incompleteness theorems. A guided tour through Kurt Gödel’s historical proof. (Die Gödel’schen Unvollständigkeitssätze. Eine geführte Reise durch Kurt Gödels historischen Beweis.) (German) Zbl 1261.03004 Heidelberg: Springer Spektrum (ISBN 978-3-8274-2999-5/pbk; 978-3-8274-3000-7/ebook). 368 p. (2013). Reviewer: Reinhard Kahle (Lisboa) MSC: 03-03 03-01 03F03 03F40 01A60 00A30 × Cite Format Result Cite Review PDF Full Text: DOI