Cohen, Liron; Rowe, Reuben N. S. Non-well-founded proof theory of transitive closure logic. (English) Zbl 1446.03031 ACM Trans. Comput. Log. 21, No. 4, Article No. 31, 31 p. (2020). MSC: 03B35 03B70 03B60 03F03 03F07 PDFBibTeX XMLCite \textit{L. Cohen} and \textit{R. N. S. Rowe}, ACM Trans. Comput. Log. 21, No. 4, Article No. 31, 31 p. (2020; Zbl 1446.03031) Full Text: DOI
Fiorentini, Camillo; Ferrari, Mauro Duality between unprovability and provability in forward refutation-search for intuitionistic propositional logic. (English) Zbl 1446.03025 ACM Trans. Comput. Log. 21, No. 3, Article No. 22, 47 p. (2020). MSC: 03B20 03B35 03F03 03F05 PDFBibTeX XMLCite \textit{C. Fiorentini} and \textit{M. Ferrari}, ACM Trans. Comput. Log. 21, No. 3, Article No. 22, 47 p. (2020; Zbl 1446.03025) Full Text: DOI arXiv
Borodulin-Nadzieja, Piotr; Żuchowski, Tomasz On nonseparable growths of \(\omega\) supporting measures. (English) Zbl 1485.03227 Proc. Am. Math. Soc. 148, No. 11, 4983-4995 (2020). MSC: 03E75 28A60 54D35 28E15 54D40 PDFBibTeX XMLCite \textit{P. Borodulin-Nadzieja} and \textit{T. Żuchowski}, Proc. Am. Math. Soc. 148, No. 11, 4983--4995 (2020; Zbl 1485.03227) Full Text: DOI arXiv
Smoryński, Craig Mathematical problems. An essay on their nature and importance. (English) Zbl 1460.00002 Cham: Springer (ISBN 978-3-030-50919-4/pbk; 978-3-030-50917-0/ebook). vi, 406 p. (2020). Reviewer: Victor V. Pambuccian (Glendale) MSC: 00-01 00A07 00A09 PDFBibTeX XMLCite \textit{C. Smoryński}, Mathematical problems. An essay on their nature and importance. Cham: Springer (2020; Zbl 1460.00002) Full Text: DOI
Hrushovski, Ehud On the descriptive power of probability logic. (English) Zbl 1498.03089 Hemmo, Meir (ed.) et al., Quantum, probability, logic. The work and influence of Itamar Pitowsky. Cham: Springer. Jerus. Stud. Philos. Hist. Sci., 375-397 (2020). MSC: 03C65 03B48 60A05 PDFBibTeX XMLCite \textit{E. Hrushovski}, in: Quantum, probability, logic. The work and influence of Itamar Pitowsky. Cham: Springer. 375--397 (2020; Zbl 1498.03089) Full Text: DOI
Copeland, B. Jack; Shagrir, Oron Physical computability theses. (English) Zbl 1498.68109 Hemmo, Meir (ed.) et al., Quantum, probability, logic. The work and influence of Itamar Pitowsky. Cham: Springer. Jerus. Stud. Philos. Hist. Sci., 217-231 (2020). MSC: 68Q09 03A10 03D10 68Q12 81P05 83C99 PDFBibTeX XMLCite \textit{B. J. Copeland} and \textit{O. Shagrir}, in: Quantum, probability, logic. The work and influence of Itamar Pitowsky. Cham: Springer. 217--231 (2020; Zbl 1498.68109) Full Text: DOI
Costa-Leite, Alexandre (ed.) [de Souza, Edelcio G.] Abstract consequence and logics. Essays in honor of Edelcio G. de Souza. (English) Zbl 1455.03001 Tributes 42. London: College Publications (ISBN 978-1-84890-342-5/pbk). xii, 380 p. (2020). MSC: 03-06 03Bxx 00B15 00B30 PDFBibTeX XMLCite \textit{A. Costa-Leite} (ed.), Abstract consequence and logics. Essays in honor of Edelcio G. de Souza. London: College Publications (2020; Zbl 1455.03001)
Weingartner, Paul (ed.); Leeb, Hans-Peter (ed.) Kreisel’s interests. On the foundations of logic and mathematics. Contributions of the conference, Salzburg, Austria, August 13–14, 2018. (English) Zbl 1456.03005 Tributes 41. London: College Publications (ISBN 978-1-84890-330-2). viii, 171 p. (2020). MSC: 03-06 03Bxx 03Fxx 00B25 00B30 PDFBibTeX XMLCite \textit{P. Weingartner} (ed.) and \textit{H.-P. Leeb} (ed.), Kreisel's interests. On the foundations of logic and mathematics. Contributions of the conference, Salzburg, Austria, August 13--14, 2018. London: College Publications (2020; Zbl 1456.03005)
Urbański, Mariusz (ed.); Skura, Tomasz (ed.); Łupkowski, Paweł (ed.) Reasoning: games, cognition, logic. Proceedings of the Poznań reasoning week multi-conference, Poznań, Poland, September 11–15, 2018. (English) Zbl 1456.03004 Studies in Logic (London) 83. London: College Publications (ISBN 978-1-84890-325-8/pbk). x, 203 p. (2020). MSC: 03-06 03Bxx 00B25 PDFBibTeX XMLCite \textit{M. Urbański} (ed.) et al., Reasoning: games, cognition, logic. Proceedings of the Poznań reasoning week multi-conference, Poznań, Poland, September 11--15, 2018. London: College Publications (2020; Zbl 1456.03004)
Arya, Vikas; Kumar, Satish A new picture fuzzy information measure based on Shannon entropy with applications in opinion polls using extended VIKOR-TODIM approach. (English) Zbl 1463.94024 Comput. Appl. Math. 39, No. 3, Paper No. 197, 24 p. (2020). MSC: 94A15 26D15 94A24 94D05 PDFBibTeX XMLCite \textit{V. Arya} and \textit{S. Kumar}, Comput. Appl. Math. 39, No. 3, Paper No. 197, 24 p. (2020; Zbl 1463.94024) Full Text: DOI
Flaminio, Tommaso Three characterizations of strict coherence on infinite-valued events. (English) Zbl 1485.03058 Rev. Symb. Log. 13, No. 3, 593-610 (2020). MSC: 03B50 03B48 60A05 06D35 PDFBibTeX XMLCite \textit{T. Flaminio}, Rev. Symb. Log. 13, No. 3, 593--610 (2020; Zbl 1485.03058) Full Text: DOI arXiv
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 PDFBibTeX XMLCite \textit{M. Ma} and \textit{A.-V. Pietarinen}, Rev. Symb. Log. 13, No. 3, 509--540 (2020; Zbl 1485.03017) Full Text: DOI
Bílková, Marta; Colacito, Almudena Proof theory for positive logic with weak negation. (English) Zbl 1484.03013 Stud. Log. 108, No. 4, 649-686 (2020). MSC: 03B20 03B05 03F05 03F03 PDFBibTeX XMLCite \textit{M. Bílková} and \textit{A. Colacito}, Stud. Log. 108, No. 4, 649--686 (2020; Zbl 1484.03013) Full Text: DOI arXiv
Sedlár, Igor (ed.); Blicha, Martin (ed.) The Logica yearbook 2019. Selected papers based on the presentations at the symposium Logica 2019, Hejnice, Czech Republic, June 24–28, 2019. (English) Zbl 1446.03008 London: College Publications (ISBN 978-1-84890-327-2/pbk). 231 p. (2020). MSC: 03-06 03A05 03Bxx 00B25 PDFBibTeX XMLCite \textit{I. Sedlár} (ed.) and \textit{M. Blicha} (ed.), The Logica yearbook 2019. Selected papers based on the presentations at the symposium Logica 2019, Hejnice, Czech Republic, June 24--28, 2019. London: College Publications (2020; Zbl 1446.03008)
Rezuş, Adrian (ed.) Contemporary logic and computing. (English) Zbl 1446.03006 Landscapes in Logic 1. London: College Publications (ISBN 978-1-84890-340-1/pbk). vi, 730 p. (2020). MSC: 03-06 03Bxx 03Dxx 00B15 PDFBibTeX XMLCite \textit{A. Rezuş} (ed.), Contemporary logic and computing. London: College Publications (2020; Zbl 1446.03006)
Peruzzi, Alberto (ed.); Zipoli Caiani, Silvano (ed.) Structures mères: semantics, mathematics, and cognitive science. (English) Zbl 1460.00003 Studies in Applied Philosophy, Epistemology and Rational Ethics 57. Cham: Springer (ISBN 978-3-030-51820-2/hbk; 978-3-030-51823-3/pbk; 978-3-030-51821-9/ebook). xi, 185 p. (2020). MSC: 00-02 00A30 01A60 03A05 00B15 PDFBibTeX XMLCite \textit{A. Peruzzi} (ed.) and \textit{S. Zipoli Caiani} (ed.), Structures mères: semantics, mathematics, and cognitive science. Cham: Springer (2020; Zbl 1460.00003) Full Text: DOI
Bird, Richard; Gibbons, Jeremy Algorithm design with Haskell. (English) Zbl 1440.68002 Cambridge: Cambridge University Press (ISBN 978-1-108-49161-7/hbk; 978-1-108-86904-1/ebook). xvi, 437 p. (2020). MSC: 68-01 68N18 68W01 PDFBibTeX XMLCite \textit{R. Bird} and \textit{J. Gibbons}, Algorithm design with Haskell. Cambridge: Cambridge University Press (2020; Zbl 1440.68002) Full Text: DOI
Dan, Yexing; Hu, Bao Qing; Qiao, Junsheng General \(L\)-fuzzy aggregation functions based on complete residuated lattices. (English) Zbl 1436.03320 Soft Comput. 24, No. 5, 3087-3112 (2020). MSC: 03G25 03E72 68T37 PDFBibTeX XMLCite \textit{Y. Dan} et al., Soft Comput. 24, No. 5, 3087--3112 (2020; Zbl 1436.03320) Full Text: DOI
Rump, Wolfgang \(L\)-algebras in logic, algebra, geometry, and topology. (English) Zbl 1457.03076 Soft Comput. 24, No. 5, 3077-3085 (2020). Reviewer: Jānis Cīrulis (Riga) MSC: 03G25 06D20 06F15 11A41 15A03 28A12 54B05 PDFBibTeX XMLCite \textit{W. Rump}, Soft Comput. 24, No. 5, 3077--3085 (2020; Zbl 1457.03076) Full Text: DOI
Conradie, Willem; Robinson, Claudette Algebraic semantics for hybrid logics. (English) Zbl 1484.03032 Ju, Shier (ed.) et al., Nonclassical logics and their applications. Post-proceedings of the 8th international workshop on logic and cognition, WOLC 2016, Guangzhou, China, December 5–9, 2016. Singapore: Springer. Log. Asia: Stud. Log. Libr., 123-154 (2020). MSC: 03B45 03G25 PDFBibTeX XMLCite \textit{W. Conradie} and \textit{C. Robinson}, in: Nonclassical logics and their applications. Post-proceedings of the 8th international workshop on logic and cognition, WOLC 2016, Guangzhou, China, December 5--9, 2016. Singapore: Springer. 123--154 (2020; Zbl 1484.03032) Full Text: DOI arXiv
Toth, Herbert Relations: concrete, abstract, and applied. An introduction. (English) Zbl 1460.03001 Hackensack, NJ: World Scientific (ISBN 978-981-12-2034-0/hbk; 978-981-12-2036-4/ebook). xx, 552 p. (2020). Reviewer: Wiesław A. Dudek (Wrocław) MSC: 03-01 06-01 03A05 03E72 03G15 06A05 06A06 06F05 18A15 20M10 68T30 PDFBibTeX XMLCite \textit{H. Toth}, Relations: concrete, abstract, and applied. An introduction. Hackensack, NJ: World Scientific (2020; Zbl 1460.03001) Full Text: DOI
Sanfilippo, Giuseppe; Gilio, Angelo; Over, David E.; Pfeifer, Niki Probabilities of conditionals and previsions of iterated conditionals. (English) Zbl 1446.03050 Int. J. Approx. Reasoning 121, 150-173 (2020). MSC: 03B48 60A05 PDFBibTeX XMLCite \textit{G. Sanfilippo} et al., Int. J. Approx. Reasoning 121, 150--173 (2020; Zbl 1446.03050) Full Text: DOI arXiv
Holá, Ľubica; Novotný, Branislav Topological properties of the space of convex minimal usco maps. (English) Zbl 1444.54009 Set-Valued Var. Anal. 28, No. 2, 287-300 (2020). Reviewer: Dimitrios Georgiou (Patras) MSC: 54C35 54C60 54C30 91A44 PDFBibTeX XMLCite \textit{Ľ. Holá} and \textit{B. Novotný}, Set-Valued Var. Anal. 28, No. 2, 287--300 (2020; Zbl 1444.54009) Full Text: DOI arXiv
Lei, Qiang; Liu, Weihua; Liu, Zhe; Wu, Junde Quantum observable generalized orthoalgebras. (English) Zbl 1440.81040 Positivity 24, No. 3, 663-675 (2020). MSC: 81Q10 46L10 81P10 03G12 54F05 PDFBibTeX XMLCite \textit{Q. Lei} et al., Positivity 24, No. 3, 663--675 (2020; Zbl 1440.81040) Full Text: DOI arXiv
Espírito Santo, José; Ferreira, Gilda A refined interpretation of intuitionistic logic by means of atomic polymorphism. (English) Zbl 1479.03006 Stud. Log. 108, No. 3, 477-507 (2020). Reviewer: Valery Plisko (Moskva) MSC: 03B20 03B40 03B38 03F03 03F07 PDFBibTeX XMLCite \textit{J. Espírito Santo} and \textit{G. Ferreira}, Stud. Log. 108, No. 3, 477--507 (2020; Zbl 1479.03006) Full Text: DOI Link
Schippers, Michael; Koscholke, Jakob A general framework for probabilistic measures of coherence. (English) Zbl 1481.03002 Stud. Log. 108, No. 3, 395-424 (2020). MSC: 03A10 60A05 PDFBibTeX XMLCite \textit{M. Schippers} and \textit{J. Koscholke}, Stud. Log. 108, No. 3, 395--424 (2020; Zbl 1481.03002) Full Text: DOI
Caruvana, Christopher; Holshouser, Jared Selection games on continuous functions. (English) Zbl 1508.54009 Topology Appl. 279, Article ID 107253, 19 p. (2020). MSC: 54C35 54C65 91A44 54E55 PDFBibTeX XMLCite \textit{C. Caruvana} and \textit{J. Holshouser}, Topology Appl. 279, Article ID 107253, 19 p. (2020; Zbl 1508.54009) Full Text: DOI arXiv
Caruvana, Christopher; Holshouser, Jared Closed discrete selection in the compact open topology. (English) Zbl 1446.54012 Topol. Proc. 56, 25-55 (2020). Reviewer: Renan Mezabarba (Vitória) MSC: 54C35 54D20 54B20 91A44 PDFBibTeX XMLCite \textit{C. Caruvana} and \textit{J. Holshouser}, Topol. Proc. 56, 25--55 (2020; Zbl 1446.54012) Full Text: arXiv
Talbot, Chris (ed.) [Bub, Jeffrey] David Bohm’s critique of modern physics. Letters to Jeffrey Bub, 1966–1969. With a foreword by Jeffrey Bub. (English) Zbl 1440.81012 Cham: Springer (ISBN 978-3-030-45536-1/hbk; 978-3-030-45537-8/ebook). xii, 375 p. (2020). MSC: 81-03 81P05 81P10 01A60 PDFBibTeX XMLCite \textit{C. Talbot} (ed.), David Bohm's critique of modern physics. Letters to Jeffrey Bub, 1966--1969. With a foreword by Jeffrey Bub. Cham: Springer (2020; Zbl 1440.81012) Full Text: DOI
Schippers, Michael; Koscholke, Jakob Coherence and probability. A study of probabilistic coherence models. (Kohärenz und Wahrscheinlichkeit. Eine Untersuchung probabilistischer Kohärenzmodelle.) (German) Zbl 1435.03007 Berlin: De Gruyter (ISBN 978-3-11-061135-9/hbk; 978-3-11-061265-3/ebook). viii, 204 p. (2020). MSC: 03-02 03A10 03B48 60A05 00A30 PDFBibTeX XMLCite \textit{M. Schippers} and \textit{J. Koscholke}, Kohärenz und Wahrscheinlichkeit. Eine Untersuchung probabilistischer Kohärenzmodelle. Berlin: De Gruyter (2020; Zbl 1435.03007) Full Text: DOI
Ramos, Jaime; Rasga, João; Sernadas, Cristina Essential structure of proofs as a measure of complexity. (English) Zbl 1457.03071 Log. Univers. 14, No. 2, 209-242 (2020). Reviewer: Ariel Germán Fernández (Buenos Aires) MSC: 03F20 03F03 03B10 03B22 PDFBibTeX XMLCite \textit{J. Ramos} et al., Log. Univers. 14, No. 2, 209--242 (2020; Zbl 1457.03071) Full Text: DOI
Solan, Eilon; Solan, Omri N. Logit equilibrium as an approximation of Nash equilibrium. (English) Zbl 1525.91062 Oper. Res. Lett. 48, No. 3, 262-265 (2020). MSC: 91A44 91B02 PDFBibTeX XMLCite \textit{E. Solan} and \textit{O. N. Solan}, Oper. Res. Lett. 48, No. 3, 262--265 (2020; Zbl 1525.91062) Full Text: DOI arXiv
Dobrowolski, Jan; Wagner, Frank O. On \(\omega \)-categorical groups and rings of finite burden. (English) Zbl 1484.03061 Isr. J. Math. 236, No. 2, 801-839 (2020). MSC: 03C60 03C45 03C35 20E34 20A15 PDFBibTeX XMLCite \textit{J. Dobrowolski} and \textit{F. O. Wagner}, Isr. J. Math. 236, No. 2, 801--839 (2020; Zbl 1484.03061) Full Text: DOI arXiv Link
Bachmann, Peter Mathematical logic. (Mathematische Logik.) (German) Zbl 1434.03001 Berichte aus der Mathematik. Aachen: Shaker Verlag (ISBN 978-3-8440-7332-4/pbk). 108 p. (2020). MSC: 03-01 03Bxx 68N17 PDFBibTeX XMLCite \textit{P. Bachmann}, Mathematische Logik. Aachen: Shaker Verlag (2020; Zbl 1434.03001)
Smith, Peter An introduction to formal logic. 2nd edition. (English) Zbl 1498.03001 Cambridge Introductions to Philosophy. Cambridge: Cambridge University Press (ISBN 978-1-108-41139-4/pbk; 978-1-108-42006-8/hbk; 978-1-108-32899-9/ebook). viii, 420 p. (2020). MSC: 03-01 03Bxx PDFBibTeX XMLCite \textit{P. Smith}, An introduction to formal logic. 2nd edition. Cambridge: Cambridge University Press (2020; Zbl 1498.03001) Full Text: DOI
Lyon, Tim On deriving nested calculi for intuitionistic logics from semantic systems. (English) Zbl 1485.03021 Artemov, Sergei (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2020, Deerfield Beach, FL, USA, January 04–07, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11972, 177-194 (2020). MSC: 03B20 03F03 03F05 PDFBibTeX XMLCite \textit{T. Lyon}, Lect. Notes Comput. Sci. 11972, 177--194 (2020; Zbl 1485.03021) Full Text: DOI arXiv
Baaz, Matthias; Lolic, Anela A globally sound analytic calculus for Henkin quantifiers. (English) Zbl 1485.03140 Artemov, Sergei (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2020, Deerfield Beach, FL, USA, January 04–07, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11972, 128-143 (2020). MSC: 03C80 03F03 03F05 PDFBibTeX XMLCite \textit{M. Baaz} and \textit{A. Lolic}, Lect. Notes Comput. Sci. 11972, 128--143 (2020; Zbl 1485.03140) Full Text: DOI
Hermo Reyes, Eduardo; Joosten, Joost J. The logic of Turing progressions. (English) Zbl 1452.03132 Notre Dame J. Formal Logic 61, No. 1, 155-180 (2020). Reviewer: Mladen Vuković (Zagreb) MSC: 03F45 03F30 03F03 03B45 PDFBibTeX XMLCite \textit{E. Hermo Reyes} and \textit{J. J. Joosten}, Notre Dame J. Formal Logic 61, No. 1, 155--180 (2020; Zbl 1452.03132) Full Text: DOI arXiv Euclid Link
Oms, Sergi A remark on probabilistic measures of coherence. (English) Zbl 1437.81010 Notre Dame J. Formal Logic 61, No. 1, 129-140 (2020). MSC: 81P05 03A10 81P10 PDFBibTeX XMLCite \textit{S. Oms}, Notre Dame J. Formal Logic 61, No. 1, 129--140 (2020; Zbl 1437.81010) Full Text: DOI Euclid
Dougherty, John The hole argument, take \(n\). (English) Zbl 1435.03034 Found. Phys. 50, No. 4, 330-347 (2020). MSC: 03B38 55U40 03A10 PDFBibTeX XMLCite \textit{J. Dougherty}, Found. Phys. 50, No. 4, 330--347 (2020; Zbl 1435.03034) Full Text: DOI
Vrahatis, Michael N. Intermediate value theorem for simplices for simplicial approximation of fixed points and zeros. (English) Zbl 1512.55004 Topology Appl. 275, Article ID 107036, 13 p. (2020). Reviewer: Safeer Hussain Khan (Lahore) MSC: 55M20 54H25 47H10 65H10 91A44 91B50 PDFBibTeX XMLCite \textit{M. N. Vrahatis}, Topology Appl. 275, Article ID 107036, 13 p. (2020; Zbl 1512.55004) Full Text: DOI
Andrikopoulos, Athanasios; Zontou, Katerina A topological characterization of the non-emptiness of the banks set and the uncovered set. (English) Zbl 1437.91175 Topology Appl. 275, Article ID 107026, 13 p. (2020). MSC: 91B14 91A44 91B50 PDFBibTeX XMLCite \textit{A. Andrikopoulos} and \textit{K. Zontou}, Topology Appl. 275, Article ID 107026, 13 p. (2020; Zbl 1437.91175) Full Text: DOI
Kočinac, Ljubiša D. R.; Konca, Şükran Set-Menger and related properties. (English) Zbl 1437.54020 Topology Appl. 275, Article ID 106996, 9 p. (2020). Reviewer: David B. Gauld (Auckland) MSC: 54D20 54B05 54C10 54G10 91A44 PDFBibTeX XMLCite \textit{L. D. R. Kočinac} and \textit{Ş. Konca}, Topology Appl. 275, Article ID 106996, 9 p. (2020; Zbl 1437.54020) Full Text: DOI
Moghaddam, G. I.; Padmanabhan, R.; Zhang, Yang Automated reasoning with power maps. (English) Zbl 1468.03016 J. Autom. Reasoning 64, No. 4, 689-697 (2020). MSC: 03B35 20K15 20M10 68V15 68V20 PDFBibTeX XMLCite \textit{G. I. Moghaddam} et al., J. Autom. Reasoning 64, No. 4, 689--697 (2020; Zbl 1468.03016) Full Text: DOI
D’Agostino, Marcello; Gabbay, Dov; Modgil, Sanjay Normality, non-contamination and logical depth in classical natural deduction. (English) Zbl 1455.03013 Stud. Log. 108, No. 2, 291-357 (2020). Reviewer: David Makinson (London) MSC: 03B05 03F03 PDFBibTeX XMLCite \textit{M. D'Agostino} et al., Stud. Log. 108, No. 2, 291--357 (2020; Zbl 1455.03013) Full Text: DOI Link
Bera, Rajendra K. The amazing world of quantum computing. (English) Zbl 1442.81001 Undergraduate Lecture Notes in Physics. Singapore: Springer (ISBN 978-981-15-2470-7/hbk; 978-981-15-2471-4/ebook). xvii, 265 p. (2020). Reviewer: Do Ngoc Diep (Hanoi) MSC: 81-01 81P68 81P94 81P48 81P05 81P10 15A66 81P40 81P15 46G10 81P55 68Q12 PDFBibTeX XMLCite \textit{R. K. Bera}, The amazing world of quantum computing. Singapore: Springer (2020; Zbl 1442.81001) Full Text: DOI
French, Steven (ed.); Saatsi, Juha (ed.) Scientific realism and the quantum. (English) Zbl 1433.81004 Oxford: Oxford University Press (ISBN 978-0-19-881497-9/hbk). viii, 320 p. (2020). MSC: 81-02 81P05 81P10 PDFBibTeX XMLCite \textit{S. French} (ed.) and \textit{J. Saatsi} (ed.), Scientific realism and the quantum. Oxford: Oxford University Press (2020; Zbl 1433.81004)
Wang, Longchun; Li, Qingguo A representation of proper BC domains based on conjunctive sequent calculi. (English) Zbl 1478.03078 Math. Struct. Comput. Sci. 30, No. 1, 1-13 (2020). MSC: 03F03 06B35 03G30 PDFBibTeX XMLCite \textit{L. Wang} and \textit{Q. Li}, Math. Struct. Comput. Sci. 30, No. 1, 1--13 (2020; Zbl 1478.03078) Full Text: DOI
Primiero, Giuseppe On the foundations of computing. (English) Zbl 1450.68001 Oxford: Oxford University Press (ISBN 978-0-19-883564-6/hbk; 978-0-19-883565-3/pbk). xix, 296 p. (2020). Reviewer: Gudula Rünger (Chemnitz) MSC: 68-02 68-03 68Q01 PDFBibTeX XMLCite \textit{G. Primiero}, On the foundations of computing. Oxford: Oxford University Press (2020; Zbl 1450.68001) Full Text: DOI
Jordan, Francis On the instability of a topological game related to consonance. (English) Zbl 1440.54004 Topology Appl. 271, Article ID 106990, 9 p. (2020). Reviewer: Renan Mezabarba (Vitória) MSC: 54A20 54C35 03E75 91A44 PDFBibTeX XMLCite \textit{F. Jordan}, Topology Appl. 271, Article ID 106990, 9 p. (2020; Zbl 1440.54004) Full Text: DOI
Huggett, Nick (ed.); Matsubara, Keizo (ed.); Wüthrich, Christian (ed.) Beyond spacetime. The foundations of quantum gravity. (English) Zbl 1460.81001 Cambridge: Cambridge University Press (ISBN 978-1-108-47702-4/hbk; 978-1-108-65570-5/ebook). viii, 362 p. (2020). MSC: 81-06 83-06 81V17 81P10 83C45 83Fxx 83Cxx 00B15 PDFBibTeX XMLCite \textit{N. Huggett} (ed.) et al., Beyond spacetime. The foundations of quantum gravity. Cambridge: Cambridge University Press (2020; Zbl 1460.81001) Full Text: DOI
Ju, Shier (ed.); Palmigiano, Alessandra (ed.); Ma, Minghui (ed.) Nonclassical logics and their applications. Post-proceedings of the 8th international workshop on logic and cognition, WOLC 2016, Guangzhou, China, December 5–9, 2016. (English) Zbl 1444.03001 Logic in Asia: Studia Logica Library. Singapore: Springer (ISBN 978-981-15-1341-1/hbk; 978-981-15-1342-8/ebook). vii, 154 p. (2020). MSC: 03-06 03Bxx 00B25 PDFBibTeX XMLCite \textit{S. Ju} (ed.) et al., Nonclassical logics and their applications. Post-proceedings of the 8th international workshop on logic and cognition, WOLC 2016, Guangzhou, China, December 5--9, 2016. Singapore: Springer (2020; Zbl 1444.03001) Full Text: DOI
Hemmo, Meir (ed.); Shenker, Orly (ed.) Quantum, probability, logic. The work and influence of Itamar Pitowsky. (English) Zbl 1445.00001 Jerusalem Studies in Philosophy and History of Science. Cham: Springer (ISBN 978-3-030-34315-6/hbk; 978-3-030-34316-3/ebook). xxii, 627 p. (2020). MSC: 00-02 03-02 81-02 60-02 00B15 PDFBibTeX XMLCite \textit{M. Hemmo} (ed.) and \textit{O. Shenker} (ed.), Quantum, probability, logic. The work and influence of Itamar Pitowsky. Cham: Springer (2020; Zbl 1445.00001) Full Text: DOI
Tull, Sean A categorical reconstruction of quantum theory. (English) Zbl 1456.18014 Log. Methods Comput. Sci. 16, No. 1, Paper No. 4, 39 p. (2020). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18M40 81P10 03B70 81P05 81P68 03G12 PDFBibTeX XMLCite \textit{S. Tull}, Log. Methods Comput. Sci. 16, No. 1, Paper No. 4, 39 p. (2020; Zbl 1456.18014) Full Text: arXiv
Castellani, Marco; Giuli, Massimiliano Existence of quasiequilibria in metric vector spaces. (English) Zbl 1435.47059 J. Math. Anal. Appl. 484, No. 1, Article ID 123751, 13 p. (2020). Reviewer: Valerii V. Obukhovskij (Voronezh) (MR4039153) MSC: 47J20 47J22 54H25 54C65 49J40 54C60 91A44 91B50 91B52 PDFBibTeX XMLCite \textit{M. Castellani} and \textit{M. Giuli}, J. Math. Anal. Appl. 484, No. 1, Article ID 123751, 13 p. (2020; Zbl 1435.47059) Full Text: DOI
Bąk, Judyta; Kucharski, Andrzej The Banach-Mazur game and domain theory. (English) Zbl 1437.91107 Arch. Math. 114, No. 1, 51-59 (2020). Reviewer: Abderrahmane Bouchair (Jijel) MSC: 91A44 06A06 54G20 PDFBibTeX XMLCite \textit{J. Bąk} and \textit{A. Kucharski}, Arch. Math. 114, No. 1, 51--59 (2020; Zbl 1437.91107) Full Text: DOI arXiv
Ribenboim, Paulo Collected works in ordered structures and mathematical logic. Volume 2. (English, French) Zbl 07151401 Cham: Springer (ISBN 978-3-319-72143-9/hbk; 978-3-319-72144-6/ebook). xiii, 573-1192 (2020). MSC: 06-03 01A75 01A70 01A60 08-03 20-03 03-03 PDFBibTeX XMLCite \textit{P. Ribenboim}, Collected works in ordered structures and mathematical logic. Volume 2. Cham: Springer (2020; Zbl 07151401)
Pankov, Mark Wigner-type theorems for Hilbert Grassmannians. (English) Zbl 1466.81002 London Mathematical Society Lecture Note Series 460. Cambridge: Cambridge University Press (ISBN 978-1-108-79091-8/pbk; 978-1-108-80032-7/ebook). viii, 145 p. (2020). Reviewer: Inge S. Helland (Oslo) MSC: 81-01 81P05 81R05 22E70 81P10 PDFBibTeX XMLCite \textit{M. Pankov}, Wigner-type theorems for Hilbert Grassmannians. Cambridge: Cambridge University Press (2020; Zbl 1466.81002) Full Text: DOI
Crease, Robert P. Book review of: Ø. Linnebo, Philosophy of mathematics. (English) Zbl 1427.00005 Bull. Am. Math. Soc., New Ser. 57, No. 1, 129-131 (2020). MSC: 00A17 00-01 00A30 03A05 PDFBibTeX XMLCite \textit{R. P. Crease}, Bull. Am. Math. Soc., New Ser. 57, No. 1, 129--131 (2020; Zbl 1427.00005) Full Text: DOI
Wille, Matthias Annotated bibliography of the reviews of Austin’s translation of Grundlagen (1950) and the Translations volume by Geach und Black (1952). (Annotierte Bibliographie der Rezensionen zu Austins Übersetzung der Grundlagen (1950) sowie dem Translations-Band von Geach und Black (1952).) (German) Zbl 1434.01012 Wille, Matthias (ed.), Fregesche Variationen. Essays zu Ehren von Christian Thiel. Münster: Mentis Verlag. 221-231 (2020). MSC: 01A60 03-00 03-03 PDFBibTeX XMLCite \textit{M. Wille}, in: Fregesche Variationen. Essays zu Ehren von Christian Thiel. Münster: Mentis Verlag. 221--231 (2020; Zbl 1434.01012)
van der Giessen, Iris; Iemhoff, Rosalie Proof Theory for Intuitionistic Strong Löb Logic. arXiv:2011.10383 Preprint, arXiv:2011.10383 [math.LO] (2020). MSC: 03B45 03F03 03F05 BibTeX Cite \textit{I. van der Giessen} and \textit{R. Iemhoff}, ``Proof Theory for Intuitionistic Strong L\"ob Logic'', Preprint, arXiv:2011.10383 [math.LO] (2020) Full Text: arXiv OA License
Pfeifer, Niki; Sanfilippo, Giuseppe Probability propagation rules for Aristotelian syllogisms. arXiv:2008.10338 Preprint, arXiv:2008.10338 [math.PR] (2020). MSC: 03A05 03B42 03B48 03C80 60-08 60A05 BibTeX Cite \textit{N. Pfeifer} and \textit{G. Sanfilippo}, ``Probability propagation rules for Aristotelian syllogisms'', Preprint, arXiv:2008.10338 [math.PR] (2020) Full Text: arXiv OA License
Alam, Irfan Generalizing the de Finetti–Hewitt–Savage theorem. arXiv:2008.08754 Preprint, arXiv:2008.08754 [math.PR] (2020). MSC: 60G09 28E05 28A33 60B05 00A30 26E35 54J05 60C05 28C15 03H05 62A99 03F25 01A07 00A35 01A67 03A05 BibTeX Cite \textit{I. Alam}, ``Generalizing the de Finetti--Hewitt--Savage theorem'', Preprint, arXiv:2008.08754 [math.PR] (2020) Full Text: arXiv OA License
Kunik, Matthias Further results and examples for formal mathematical systems with structural induction. arXiv:2008.07385 Preprint, arXiv:2008.07385 [math.LO] (2020). MSC: 03F03 03B70 03D03 03D05 BibTeX Cite \textit{M. Kunik}, ``Further results and examples for formal mathematical systems with structural induction'', Preprint, arXiv:2008.07385 [math.LO] (2020) Full Text: arXiv OA License
Belk, James; Bleak, Collin; Cameron, Peter J.; Olukoya, Feyishayo Automorphisms of shift spaces and the Higman-Thompson groups: the two-sided case. arXiv:2006.01466 Preprint, arXiv:2006.01466 [math.GR] (2020). MSC: 20F10 20E36 54H15 28D15 BibTeX Cite \textit{J. Belk} et al., ``Automorphisms of shift spaces and the Higman-Thompson groups: the two-sided case'', Preprint, arXiv:2006.01466 [math.GR] (2020) Full Text: arXiv OA License
Kunik, Matthias Formal Mathematical Systems including a Structural Induction Principle. arXiv:2005.04951 Preprint, arXiv:2005.04951 [math.LO] (2020). MSC: 03F03 03B70 03D03 03D05 BibTeX Cite \textit{M. Kunik}, ``Formal Mathematical Systems including a Structural Induction Principle'', Preprint, arXiv:2005.04951 [math.LO] (2020) Full Text: arXiv OA License
Iemhoff, Rosalie The G4i analogue of a G3i calculus. arXiv:2011.11847 Preprint, arXiv:2011.11847 [math.LO] (2020). MSC: 03B05 03B45 03F03 BibTeX Cite \textit{R. Iemhoff}, ``The G4i analogue of a G3i calculus'', Preprint, arXiv:2011.11847 [math.LO] (2020) Full Text: arXiv OA License
Zhao, Zhiguang Sahlqvist Correspondence Theory for Instantial Neighbourhood Logic. arXiv:2003.14187 Preprint, arXiv:2003.14187 [math.LO] (2020). MSC: 03B45 03B99 BibTeX Cite \textit{Z. Zhao}, ``Sahlqvist Correspondence Theory for Instantial Neighbourhood Logic'', Preprint, arXiv:2003.14187 [math.LO] (2020) Full Text: arXiv OA License
Lu, Chenguang Channels’ Confirmation and Predictions’ Confirmation: from the Medical Test to the Raven Paradox. arXiv:2001.07566 Preprint, arXiv:2001.07566 [cs.AI] (2020). MSC: 03B48 68T37 03B42 03B52 03B65 62F15 94A15 68T27 BibTeX Cite \textit{C. Lu}, ``Channels' Confirmation and Predictions' Confirmation: from the Medical Test to the Raven Paradox'', Preprint, arXiv:2001.07566 [cs.AI] (2020) Full Text: DOI arXiv OA License
Despeyroux, Joëlle; Felty, Amy; Liò, Pietro; Olarte, Carlos A logical framework for modelling breast cancer progression. (English) Zbl 1525.92029 Chaves, Madalena (ed.) et al., Molecular logic and computational synthetic biology. First international symposium, MLCSB 2018, Santiago, Chile, December 17–18, 2018. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11415, 121-141 (2019). MSC: 92C50 92C42 03B80 PDFBibTeX XMLCite \textit{J. Despeyroux} et al., Lect. Notes Comput. Sci. 11415, 121--141 (2019; Zbl 1525.92029) Full Text: DOI
Madeira, Alexandre Verification for everyone? An overview of dynamic logic. (English) Zbl 1522.03101 Chaves, Madalena (ed.) et al., Molecular logic and computational synthetic biology. First international symposium, MLCSB 2018, Santiago, Chile, December 17–18, 2018. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11415, 18-33 (2019). MSC: 03B80 03B70 68Q60 92B05 PDFBibTeX XMLCite \textit{A. Madeira}, Lect. Notes Comput. Sci. 11415, 18--33 (2019; Zbl 1522.03101) Full Text: DOI
Pérez Otero, Manuel An epistemic puzzle about knowledge and rational credence. (English) Zbl 1522.03035 Int. Stud. Philos. Sci. 32, No. 3-4, 195-206 (2019). MSC: 03A10 03B42 03B48 60A05 PDFBibTeX XMLCite \textit{M. Pérez Otero}, Int. Stud. Philos. Sci. 32, No. 3--4, 195--206 (2019; Zbl 1522.03035) Full Text: DOI
Mandelkern, Matthew; Khoo, Justin Against preservation. (English) Zbl 1497.60003 Analysis, Oxf. 79, No. 3, 424-436 (2019). MSC: 60A05 03A05 03A10 PDFBibTeX XMLCite \textit{M. Mandelkern} and \textit{J. Khoo}, Analysis, Oxf. 79, No. 3, 424--436 (2019; Zbl 1497.60003) Full Text: DOI
Francez, Nissim; Kaminski, Michael On poly-logistic natural-deduction for finitely-valued propositional logics. (English) Zbl 1513.03053 J. Appl. Log. - IfCoLog J. Log. Appl. 6, No. 2, 255-288 (2019). MSC: 03B50 03F03 PDFBibTeX XMLCite \textit{N. Francez} and \textit{M. Kaminski}, J. Appl. Log. - IfCoLog J. Log. Appl. 6, No. 2, 255--288 (2019; Zbl 1513.03053)
Cerna, David M.; Kutsia, Temur A generic framework for higher-order generalizations. (English) Zbl 1528.68156 Geuvers, Herman (ed.), 4th international conference on formal structures for computation and deduction, FSCD 2019, Dortmund, Germany, June 24–30, 2019. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 131, Article 10, 19 p. (2019). MSC: 68Q42 03B40 PDFBibTeX XMLCite \textit{D. M. Cerna} and \textit{T. Kutsia}, LIPIcs -- Leibniz Int. Proc. Inform. 131, Article 10, 19 p. (2019; Zbl 1528.68156) Full Text: DOI
Lyakhovets, Daniil; Osipov, Alexander V. Selection principles and games in bitopological function spaces. (English) Zbl 1499.54087 Filomat 33, No. 14, 4535-4540 (2019). MSC: 54C35 54A20 54E55 91A05 91A44 PDFBibTeX XMLCite \textit{D. Lyakhovets} and \textit{A. V. Osipov}, Filomat 33, No. 14, 4535--4540 (2019; Zbl 1499.54087) Full Text: DOI arXiv
Lin, Zhe; Ma, Minghui Gentzen sequent calculi for some intuitionistic modal logics. (English) Zbl 1477.03055 Log. J. IGPL 27, No. 4, 596-623 (2019). MSC: 03B45 03B20 03F05 03B25 03F03 PDFBibTeX XMLCite \textit{Z. Lin} and \textit{M. Ma}, Log. J. IGPL 27, No. 4, 596--623 (2019; Zbl 1477.03055) Full Text: DOI
Nide, Naoyuki; Goto, Yuki; Fujita, Megumi Sequent calculus for 3-valued paraconsistent logic QMPT0. (English) Zbl 1477.03093 Log. J. IGPL 27, No. 4, 507-521 (2019). MSC: 03B53 03B50 03F03 PDFBibTeX XMLCite \textit{N. Nide} et al., Log. J. IGPL 27, No. 4, 507--521 (2019; Zbl 1477.03093) Full Text: DOI
Negri, Sara; Orlandelli, Eugenio Proof theory for quantified monotone modal logics. (English) Zbl 1477.03057 Log. J. IGPL 27, No. 4, 478-506 (2019). MSC: 03B45 03F03 03F05 PDFBibTeX XMLCite \textit{S. Negri} and \textit{E. Orlandelli}, Log. J. IGPL 27, No. 4, 478--506 (2019; Zbl 1477.03057) Full Text: DOI Link
Rossi, Carla The logic of the uncertain following Bruno de Finetti. (La logica dell’incerto seguendo Bruno de Finetti.) (Italian) Zbl 1474.60005 Matematiche Complementari 14. Rome: Aracne Editrice (ISBN 978-88-255-2826-8). 108 p. (2019). MSC: 60A05 01A60 03-03 60-03 PDFBibTeX XMLCite \textit{C. Rossi}, La logica dell'incerto seguendo Bruno de Finetti (Italian). Rome: Aracne Editrice (2019; Zbl 1474.60005)
Liu, Chuang Infinite idealization and contextual realism. (English) Zbl 1474.80007 Synthese 196, No. 5, 1885-1918 (2019). MSC: 80A22 82B05 03A10 PDFBibTeX XMLCite \textit{C. Liu}, Synthese 196, No. 5, 1885--1918 (2019; Zbl 1474.80007) Full Text: DOI
van Wierst, Pauline The paradox of phase transitions in the light of constructive mathematics. (English) Zbl 1474.82009 Synthese 196, No. 5, 1863-1884 (2019). MSC: 82B26 03F65 03A10 PDFBibTeX XMLCite \textit{P. van Wierst}, Synthese 196, No. 5, 1863--1884 (2019; Zbl 1474.82009) Full Text: DOI
Koscholke, Jakob On the Pareto condition on permissible belief. (English) Zbl 1474.03031 Erkenntnis 84, No. 6, 1183-1188 (2019). MSC: 03A05 03B42 03B48 60A05 PDFBibTeX XMLCite \textit{J. Koscholke}, Erkenntnis 84, No. 6, 1183--1188 (2019; Zbl 1474.03031) Full Text: DOI
Oeckl, Robert A local and operational framework for the foundations of physics. (English) Zbl 1486.81009 Adv. Theor. Math. Phys. 23, No. 2, 437-592 (2019). Reviewer: Willi-Hans Steeb (Johannesburg) MSC: 81P10 81P15 16G20 18D15 53D05 83C45 70K55 81V72 PDFBibTeX XMLCite \textit{R. Oeckl}, Adv. Theor. Math. Phys. 23, No. 2, 437--592 (2019; Zbl 1486.81009) Full Text: DOI arXiv
Dinçer, Hasan; Yüksel, Serhat An integrated stochastic fuzzy MCDM approach to the balanced scorecard-based service evaluation. (English) Zbl 07316760 Math. Comput. Simul. 166, 93-112 (2019). MSC: 03Bxx 90Bxx PDFBibTeX XMLCite \textit{H. Dinçer} and \textit{S. Yüksel}, Math. Comput. Simul. 166, 93--112 (2019; Zbl 07316760) Full Text: DOI
Chu, Liang-Ju; Huang, Chien-Hao Maximal elements of \(\mathcal{L}_\theta\)-majorized set-valued mappings. (English) Zbl 1484.47082 Linear Nonlinear Anal. 5, No. 2, 211-219 (2019). MSC: 47H04 52A99 54H25 47N10 91A44 PDFBibTeX XMLCite \textit{L.-J. Chu} and \textit{C.-H. Huang}, Linear Nonlinear Anal. 5, No. 2, 211--219 (2019; Zbl 1484.47082) Full Text: Link
Shimamura, Shuhei A first-order sequent calculus for logical inferentialists and expressivists. (English) Zbl 1505.03123 Sedlár, Igor (ed.) et al., The Logica yearbook 2018. Proceedings of the symposium Logica 2018, Hejnice Monastery, Czech Republic, June 18–22, 2018. London: College Publications. 211-228 (2019). MSC: 03F03 03B10 PDFBibTeX XMLCite \textit{S. Shimamura}, in: The Logica yearbook 2018. Proceedings of the symposium Logica 2018, Hejnice Monastery, Czech Republic, June 18--22, 2018. London: College Publications. 211--228 (2019; Zbl 1505.03123)
Pezlar, Ivo Non-constructive procedural theory of propositional problems and the equivalence of solutions. (English) Zbl 1505.03072 Sedlár, Igor (ed.) et al., The Logica yearbook 2018. Proceedings of the symposium Logica 2018, Hejnice Monastery, Czech Republic, June 18–22, 2018. London: College Publications. 197-210 (2019). MSC: 03B60 03B38 03F03 PDFBibTeX XMLCite \textit{I. Pezlar}, in: The Logica yearbook 2018. Proceedings of the symposium Logica 2018, Hejnice Monastery, Czech Republic, June 18--22, 2018. London: College Publications. 197--210 (2019; Zbl 1505.03072)
Jönsson, Martin L.; Shogenji, Tomoji A unified account of the conjunction fallacy by coherence. (English) Zbl 1452.03023 Synthese 196, No. 1, 221-237 (2019). MSC: 03A10 60A05 PDFBibTeX XMLCite \textit{M. L. Jönsson} and \textit{T. Shogenji}, Synthese 196, No. 1, 221--237 (2019; Zbl 1452.03023) Full Text: DOI
Broersen, Jan Agents necessitating effects in Newtonian time and space: from power and opportunity to effectivity. (English) Zbl 1452.03022 Synthese 196, No. 1, 31-68 (2019). MSC: 03A10 83C99 PDFBibTeX XMLCite \textit{J. Broersen}, Synthese 196, No. 1, 31--68 (2019; Zbl 1452.03022) Full Text: DOI Link
Placek, Tomasz Laplace’s demon tries on Aristotle’s cloak: on two approaches to determinism. (English) Zbl 1452.03025 Synthese 196, No. 1, 11-30 (2019). MSC: 03A10 PDFBibTeX XMLCite \textit{T. Placek}, Synthese 196, No. 1, 11--30 (2019; Zbl 1452.03025) Full Text: DOI
Kulicki, Piotr; Trypuz, Robert Judging actions on the basis of prima facie duties. The case of self-driving cars. (English) Zbl 1458.68154 Log. Log. Philos. 28, No. 4, 767-787 (2019). MSC: 68T01 03B45 03B50 03B70 68T27 PDFBibTeX XMLCite \textit{P. Kulicki} and \textit{R. Trypuz}, Log. Log. Philos. 28, No. 4, 767--787 (2019; Zbl 1458.68154) Full Text: DOI
Wansing, Heinrich; Unterhuber, Matthias Connexive conditional logic. I. (English) Zbl 1458.03017 Log. Log. Philos. 28, No. 3, 567-610 (2019). MSC: 03B45 03B50 03B53 PDFBibTeX XMLCite \textit{H. Wansing} and \textit{M. Unterhuber}, Log. Log. Philos. 28, No. 3, 567--610 (2019; Zbl 1458.03017) Full Text: DOI
Francez, Nissim A proof-theoretic semantics for parametric logical constants. (English) Zbl 1471.03078 Log. Anal., Nouv. Sér. 62, No. 247, 225-244 (2019). Reviewer: Takao Inoue (Tokyo) MSC: 03F03 03B22 PDFBibTeX XMLCite \textit{N. Francez}, Log. Anal., Nouv. Sér. 62, No. 247, 225--244 (2019; Zbl 1471.03078) Full Text: DOI
Pavlović, Edi; Gratzl, Norbert Free logic and the quantified argument calculus. (English) Zbl 1465.03096 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, 105-115 (2019). MSC: 03F03 03B16 03B65 PDFBibTeX XMLCite \textit{E. Pavlović} and \textit{N. Gratzl}, Publ. Austrian Ludwig Wittgenstein Soc. New Ser. 27, 105--115 (2019; Zbl 1465.03096) Full Text: DOI Link
Sedlár, Igor (ed.); Blicha, Martin (ed.) The Logica yearbook 2018. Proceedings of the symposium Logica 2018, Hejnice Monastery, Czech Republic, June 18–22, 2018. (English) Zbl 1446.03007 London: College Publications (ISBN 978-1-84890-307-4/pbk). 244 p. (2019). MSC: 03-06 03A05 03Bxx 00B25 PDFBibTeX XMLCite \textit{I. Sedlár} (ed.) and \textit{M. Blicha} (ed.), The Logica yearbook 2018. Proceedings of the symposium Logica 2018, Hejnice Monastery, Czech Republic, June 18--22, 2018. London: College Publications (2019; Zbl 1446.03007)
Beaney, Michael Translating ‘Bedeutung’ in Frege’s writings: a case study and cautionary tale in the history and philosophy of translation. (English) Zbl 1465.03003 Ebert, Philip A. (ed.) et al., Essays on Frege’s Basic laws of arithmetic. Oxford: Oxford University Press. 588-636 (2019). MSC: 03-03 01A05 01A60 00A30 PDFBibTeX XMLCite \textit{M. Beaney}, in: Essays on Frege's \textit {Basic laws of arithmetic}. Oxford: Oxford University Press. 588--636 (2019; Zbl 1465.03003) Full Text: DOI
Alonso, Enrique (ed.); Huertas, Antonia (ed.); Moldovan, Andrei (ed.) Adventures in the world of logic. Essays in honor of María Manzano. (Aventuras en el mundo de la lógica. Ensayos en honor a María Manzano.) (Spanish) Zbl 1446.03002 Cuadernos de Lógica, Epistemología y Lenguaje 13. London: College Publications (ISBN 978-1-84890-322-7/pbk). xiii, 423 p. (2019). MSC: 03-02 03A05 03Bxx 00B30 00B15 PDFBibTeX XMLCite \textit{E. Alonso} (ed.) et al., Aventuras en el mundo de la lógica. Ensayos en honor a María Manzano (Spanish). London: College Publications (2019; Zbl 1446.03002)
Prawitz, Dag The concepts of proof and ground. (English) Zbl 1469.03159 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, 291-309 (2019). MSC: 03F03 03A05 PDFBibTeX XMLCite \textit{D. Prawitz}, Synth. Libr. 412, 291--309 (2019; Zbl 1469.03159) Full Text: DOI
Kuznets, Roman Through an inference rule, darkly. (English) Zbl 1469.03158 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, 131-158 (2019). MSC: 03F03 03B45 03F05 03F07 PDFBibTeX XMLCite \textit{R. Kuznets}, Synth. Libr. 412, 131--158 (2019; Zbl 1469.03158) Full Text: DOI