• Admin
    UC Research Repository
    View Item 
       
    • UC Home
    • Library
    • UC Research Repository
    • College of Engineering
    • Engineering: Journal Articles
    • View Item
       
    • UC Home
    • Library
    • UC Research Repository
    • College of Engineering
    • Engineering: Journal Articles
    • View Item
    JavaScript is disabled for your browser. Some features of this site may not work without it.

    Browse

    All of the RepositoryCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsThis CollectionBy Issue DateAuthorsTitlesSubjects

    Statistics

    View Usage Statistics

    Real Analysis in Paraconsistent Logic

    Thumbnail
    View/Open
    12633603_Real Analysis in Paraconsistent Logic_a.pdf (391.6Kb)
    Author
    McKubre-Jordens, M.
    Weber, Z.
    Date
    2011
    Permanent Link
    http://hdl.handle.net/10092/5626

    This paper begins an analysis of the real line using an inconsistency- tolerant (paraconsistent) logic. We show that basic field and compactness properties hold, by way of novel proofs that make no use of consistency- reliant inferences; some techniques from constructive analysis are used instead. While no inconsistencies are found in the algebraic operations on the real number field, prospects for other non-trivializing contradictions are left open.

    Subjects
    Field of Research::01 - Mathematical Sciences
     
    Field of Research::01 - Mathematical Sciences::0104 - Statistics
    Collections
    • Engineering: Journal Articles [932]
    Rights
    http://library.canterbury.ac.nz/ir/rights.shtml

    UC Research Repository
    University Library
    University of Canterbury
    Private Bag 4800
    Christchurch 8140

    Phone
    364 2987 ext 8718

    Email
    ucresearchrepository@canterbury.ac.nz

    Follow us
    FacebookTwitterYoutube

    © University of Canterbury Library
    Send Feedback | Contact Us