La Trobe
- No file added yet -

Starting the Dismantling of Classical Mathematics

Download (244.05 kB)
journal contribution
posted on 2023-05-04, 02:29 authored by Ross BradyRoss Brady
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.

History

Publication Date

2018-07-04

Journal

The Australasian Journal of Logic

Volume

15

Issue

2

Article Number

3.4

Pagination

21p. (p. 280-300)

Publisher

Australasian Association of Logic and the Centre for Logic, Language and Computation at Victoria University

ISSN

1448-5052

Rights Statement

© 2018 The Author https://creativecommons.org/licenses/by/4.0/

Publisher DOI

Usage metrics

    Journal Articles

    Categories

    Keywords

    LogicMathematics

    Licence

    CC BY 4.0

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC