Gastaldi, Juan Luis Boole’s untruth tables: the formal conditions of meaning before the emergence of propositional logic. (English) Zbl 07740510 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: 03A05 03Bxx 01A25 01A55 03G05 00A30 PDFBibTeX XMLCite \textit{J. L. Gastaldi}, in: Logic in question. Talks from the annual Sorbonne logic workshop (2011--2019), Paris, France, April 15--16, 2019. Cham: Birkhäuser. 119--149 (2022; Zbl 07740510) Full Text: DOI
Schroeder-Heister, Peter Axiomatic thinking, identity of proofs and the quest for an intensional proof-theoretic semantics. (English) Zbl 07633000 Ferreira, Fernando (ed.) et al., Axiomatic thinking I. Cham: Springer. 145-163 (2022). MSC: 03-03 03A05 00A30 01A80 01A60 PDFBibTeX XMLCite \textit{P. Schroeder-Heister}, in: Axiomatic thinking I. Cham: Springer. 145--163 (2022; Zbl 07633000) Full Text: DOI
Centrone, Stefania; Minari, Pierluigi Oskar Becker and the modal translation of intuitionistic logic. (English) Zbl 07608783 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: 03A05 01A20 01A35 01A45 01A50 01A60 PDFBibTeX XMLCite \textit{S. Centrone} and \textit{P. Minari}, Log. Epistemol. Unity Sci. 54, 355--368 (2022; Zbl 07608783) 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 PDFBibTeX XMLCite \textit{C. Franks}, Hist. Philos. Log. 42, No. 2, 129--159 (2021; Zbl 1512.03025) 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 PDFBibTeX XMLCite \textit{G. Priest}, Hist. Philos. Log. 42, No. 2, 118--128 (2021; Zbl 1512.03009) Full Text: DOI
Hofstra, Pieter; Scott, Philip Aspects of categorical recursion theory. (English) Zbl 1486.81060 Casadio, Claudia (ed.) et al., Joachim Lambek: the interplay of mathematics, logic, and linguistics. Cham: Springer. Outst. Contrib. Log. 20, 219-269 (2021). Reviewer: Carlos Pedro Gonçalves (Lisboa) MSC: 81P68 68Q04 18-08 03D60 01A05 01-01 81-01 94-01 PDFBibTeX XMLCite \textit{P. Hofstra} and \textit{P. Scott}, Outst. Contrib. Log. 20, 219--269 (2021; Zbl 1486.81060) Full Text: DOI arXiv
Kovač, Srećko Logical foundations and Kant’s principles of formal logic. (English) Zbl 1503.03007 Hist. Philos. Log. 41, No. 1, 48-70 (2020). MSC: 03A05 03-03 01A50 PDFBibTeX XMLCite \textit{S. Kovač}, Hist. Philos. Log. 41, No. 1, 48--70 (2020; Zbl 1503.03007) 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 PDFBibTeX XMLCite \textit{W. Sieg}, Philos. Trans. R. Soc. Lond., A, Math. Phys. Eng. Sci. 377, No. 2140, Article ID 20180031, 11 p. (2019; Zbl 1441.03015) Full Text: DOI
Došen, Kosta; Adžić, Miloš Gödel on deduction. (English) Zbl 07055411 Stud. Log. 107, No. 1, 31-51 (2019). MSC: 03A05 03F03 03-03 01A60 PDFBibTeX XMLCite \textit{K. Došen} and \textit{M. Adžić}, Stud. Log. 107, No. 1, 31--51 (2019; Zbl 07055411) Full Text: DOI arXiv
Schroeder-Heister, Peter Obituary: Kosta Došen (1954–2017). (English) Zbl 1410.01029 Stud. Log. 107, No. 1, 7-9 (2019). MSC: 01A70 PDFBibTeX XMLCite \textit{P. Schroeder-Heister}, Stud. Log. 107, No. 1, 7--9 (2019; Zbl 1410.01029) 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 PDFBibTeX XMLCite \textit{J. von Plato}, Bull. Symb. Log. 24, No. 3, 319--335 (2018; Zbl 1403.03006) 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 PDFBibTeX XMLCite \textit{K. Došen} and \textit{M. Adžić}, Stud. Log. 106, No. 2, 397--415 (2018; Zbl 1417.03008) Full Text: DOI arXiv
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 PDFBibTeX XMLCite \textit{H. Wansing}, Outst. Contrib. Log. 7, 1--32 (2015; Zbl 1429.03197) 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 PDFBibTeX XMLCite \textit{P. Schroeder-Heister}, Stud. Log. 102, No. 6, 1185--1216 (2014; Zbl 1344.03046) 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 PDFBibTeX XMLCite \textit{A. P. Hazen} and \textit{F. J. Pelletier}, Stud. Log. 102, No. 6, 1103--1142 (2014; Zbl 1344.03044) Full Text: DOI
Vakarelov, Dimiter Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation. (English) Zbl 1114.03027 Stud. Log. 84, No. 1, 105-127 (2006). MSC: 03B60 03-03 01A60 PDFBibTeX XMLCite \textit{D. Vakarelov}, Stud. Log. 84, No. 1, 105--127 (2006; Zbl 1114.03027) Full Text: DOI
Goldblatt, Robert Mathematical modal logic: A view of its evolution. (English) Zbl 1041.03015 J. Appl. Log. 1, No. 5-6, 309-392 (2003). Reviewer: Valentin F. Goranko (Johannesburg) MSC: 03B45 03-03 01A60 03-02 PDFBibTeX XMLCite \textit{R. Goldblatt}, J. Appl. Log. 1, No. 5--6, 309--392 (2003; Zbl 1041.03015) Full Text: DOI