Search

Search Results

• Five theories of reasoning: Interconnections and applications to mathematics

  Alison Pease, Andrew Aberdein

  7–57

  2011-06-30
• Geometry as an extension of the group theory

  A. Prusińska, L. Szczerba

  131–135

  2004-01-19
• 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
• Mereology and uncertainty

  Lech T. Polkowski

  449-468

  2015-04-01
• Claude P. Bruter (editor), Mathematics in Art: Mathematical Visualization in Art and Education

  Walter Carnielli

  163-166

  2004-12-21
• Richard L. Epstein, “Reasoning in Science and Mathematics: Essays on Logic as The Art of Reasoning Well”

  Penelope A. Rush

  365–371

  2013-06-13
• Logic as applied Mathematics – with Particular Application to the Notion of Logical Form

  Graham Priest

  443-457

  2023-04-25
• On classical behavior of intuitionistic modalities

  Sergey Drobyshevich

  79–104

  2014-08-16
• Antinomicity and the axiom of choice. A chapter in antinomic mathematics

  Florencio G. Asenjo

  53-95

  2003-01-27
• Computability and human symbolic output

  Jason Megill, Tim Melvin

  391-401

  2014-04-30
• Defining Measures in a Mereological Space (an exploratory paper)

  Giuseppina Barbieri, Giangiacomo Gerla

  57-74

  2021-10-01
• Models of possibilism and trivialism

  Luis Estrada-González

  175–205

  2012-06-15
• Derivability of rules from rule complexes

  Anna Gomolińska

  21–44

  2004-01-19
• Three-element non-finitely axiomatizable matrices and term-equivalence

  Katarzyna Pałasińska

  481-497

  2014-04-30
• Mereology then and now

  Rafał Gruszczyński, Achille C. Varzi

  409-427

  2015-12-11
• On Brouwer’s criticism of classical logic and mathematics

  Tomasz Placek

  19-33

  2003-10-27
• Karl Schröter and His Interest in Polish Mathematical Logic. Based on Unpublished Archival Documents

  Gabriela Besler, Marek Porwolik

  449-472

  2025-09-06
• Troubles with (the concept of) truth in mathematics

  Roman Murawski

  285-303

  2007-04-15
• Librationist closures of the paradoxes

  Frode Bjørdal

  323–361

  2012-12-20
• Classical arithmetic is quite unnatural

  Jean Paul Van Bendegem

  231-249

  2003-11-23
• Measures in Euclidean Point-Free Geometry (an exploratory paper)

  Giuseppina Barbieri, Giangiacomo Gerla

  619-638

  2022-11-18