Search

Search Results

• The Nature of Scientific Philosophy

  Yaroslav Shramko

  3-18

  2019-07-12
• Theory of Quantum Computation and Philosophy of Mathematics. Part II

  Krzysztof Wójtowicz

  173-193

  2018-04-18
• What is Diagrammatic Reasoning in Mathematics?

  Michał Sochański

  567-581

  2018-01-24
• On Definability of Connectives and Modal Logics over FDE

  Sergei P. Odintsov, Daniel Skurt, Heinrich Wansing

  631-659

  2019-04-11
• Set-theoretic mereology

  Joel David Hamkins, Makoto Kikuchi

  285-308

  2016-05-16
• The New Logic of William van Orman Quine and Its Significance for the Development of Logic in Brazil

  Julio Michael Stern

  789-793

  2019-05-24
• Computation and Indispensability

  Jeffrey Ketland

  61-78

  2020-06-28
• Category Theory and Set Theory as Theories about Complementary Types of Universals

  David Ellerman

  145-162

  2016-08-05
• Sweet SIXTEEN: Automation via Embedding into Classical Higher-Order Logic

  Alexander Steen, Christoph Benzmüller

  535-554

  2016-07-26
• A Wittgensteinian philosophy of mathematics

  Charles Sayward

  129-144

  2005-12-23
• 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

  2009-03-15
• Computability and human symbolic output

  Jason Megill, Tim Melvin

  391-401

  2014-04-30
• Logic as applied Mathematics – with Particular Application to the Notion of Logical Form

  Graham Priest

  443-457

  2023-04-25
• Mereology then and now

  Rafał Gruszczyński, Achille C. Varzi

  409-427

  2015-12-11
• The philosophical logic of Stéphane Lupasco (1900–1988)

  Joseph E. Brenner

  243-285

  2010-09-30
• On Brouwer’s criticism of classical logic and mathematics

  Tomasz Placek

  19-33

  2003-10-27
• Theory of quantum computation and philosophy of mathematics. Part I

  Krzysztof Wójtowicz

  313-332

  2010-03-30
• Librationist closures of the paradoxes

  Frode Bjørdal

  323–361

  2012-12-20
• Classical model existence and left resolution

  Jui-Lin Lee

  323-352

  2008-02-26
• Modal Hybrid Logic

  Andrzej Indrzejczak

  147-257

  2007-08-25
• A Non-Standard Kripke Semantics for the Minimal Deontic Logic

  Edson Bezerra, Giorgio Venturi

  97-107

  2020-10-08