Search

Search Results

Found 11 items.

Inconsistent Models (and Infinite Models) for Arithmetics with Constructible Falsity

Thomas Macaulay Ferguson

389-407

2018-08-08
Vagueness and Formal Fuzzy Logic: Some Criticisms

Giangiacomo Gerla

431-460

2017-11-15
In Defense of Quantifier Generalism: Holism and Infinitary Resources

Tomasz Bigaj

1-18

2025-12-01
Troubles with (the concept of) truth in mathematics

Roman Murawski

285-303

2007-04-15
Analogy and diagonal argument

Zbigniew Tworak

39-66

2006-03-26
Embodied Sensorimotor (Hyper)intensionality

Simon McGregor

1-26

2025-08-27
Classical arithmetic is quite unnatural

Jean Paul Van Bendegem

231-249

2003-11-23
Analysis of Penrose’s Second Argument Formalised in DTK System

Antonella Corradini, Sergio Galvan

471-500

2021-12-16
A Note on Gödel, Priest and Naïve Proof

Massimiliano Carrara, Enrico Martino

79-96

2020-10-15
Librationist closures of the paradoxes

Frode Bjørdal

323–361

2012-12-20
Socrates did it before Gödel

Josef Wolfgang Degen

205-214

2011-11-30

1 - 11 of 11 items