Szukaj

Wyniki wyszukiwania

• The Nature of Scientific Philosophy

  Yaroslav Shramko

  3-18

  12.07.2019
• Theory of Quantum Computation and Philosophy of Mathematics. Part II

  Krzysztof Wójtowicz

  173-193

  18.04.2018
• What is Diagrammatic Reasoning in Mathematics?

  Michał Sochański

  567-581

  24.01.2018
• On Definability of Connectives and Modal Logics over FDE

  Sergei P. Odintsov, Daniel Skurt, Heinrich Wansing

  631-659

  11.04.2019
• Set-theoretic mereology

  Joel David Hamkins, Makoto Kikuchi

  285-308

  16.05.2016
• The New Logic of William van Orman Quine and Its Significance for the Development of Logic in Brazil

  Julio Michael Stern

  789-793

  24.05.2019
• Computation and Indispensability

  Jeffrey Ketland

  61-78

  28.06.2020
• Category Theory and Set Theory as Theories about Complementary Types of Universals

  David Ellerman

  145-162

  05.08.2016
• Sweet SIXTEEN: Automation via Embedding into Classical Higher-Order Logic

  Alexander Steen, Christoph Benzmüller

  535-554

  26.07.2016
• A Wittgensteinian philosophy of mathematics

  Charles Sayward

  129-144

  23.12.2005
• Geraldine Brady, "From Peirce to Skolem. A Neglected Chapter in the History of Logic", Studies in the History and Philosophy of Mathematics, vol. 4, Elsevier, 2000

  Davide Bondoni

  353-357

  15.03.2009
• Computability and human symbolic output

  Jason Megill, Tim Melvin

  391-401

  30.04.2014
• Logic as applied Mathematics – with Particular Application to the Notion of Logical Form

  Graham Priest

  443-457

  25.04.2023
• Mereology then and now

  Rafał Gruszczyński, Achille C. Varzi

  409-427

  11.12.2015
• The philosophical logic of Stéphane Lupasco (1900–1988)

  Joseph E. Brenner

  243-285

  30.09.2010
• On Brouwer’s criticism of classical logic and mathematics

  Tomasz Placek

  19-33

  27.10.2003
• Theory of quantum computation and philosophy of mathematics. Part I

  Krzysztof Wójtowicz

  313-332

  30.03.2010
• Karl Schröter and His Interest in Polish Mathematical Logic. Based on Unpublished Archival Documents

  Gabriela Besler, Marek Porwolik

  449-472

  06.09.2025
• Librationist closures of the paradoxes

  Frode Bjørdal

  323–361

  20.12.2012
• Modal Hybrid Logic

  Andrzej Indrzejczak

  147-257

  25.08.2007
• A Logic for a Critical Attitude?

  Federico Boem, Stefano Bonzio

  261-288

  19.02.2022