Starting the Dismantling of Classical Mathematics Academic Article uri icon

abstract

  • This paper uses the relevant logic, MCQ, of meaning containment to explore mathematics without various classical theses, in particular, without the law of excluded middle.

publication date

  • 2018