Real analysis in paraconsistent logic

DOI10.1007/S10992-011-9210-6MaRDI QIDQ692184zbMATH OpenOpenAlexFDO

Authors Maarten McKubre-Jordens, Zach Weber

Publication date 4 December 2012

Published in Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10992-011-9210-6

zbMATH Keywords

real analysisparaconsistent logiccompactness theoremsCurry's paradoxHeine-Borel theoremnonclassical mathematics

Mathematics Subject Classification ID

Paraconsistent logics (03B53) Foundations: limits and generalizations, elementary topology of the line (26A03)

Recommendations

• scientific article; zbMATH DE number 1735925
• scientific article; zbMATH DE number 782632
• Realism, Antirealism, and Paraconsistency
• Publication:4205424
• scientific article; zbMATH DE number 4083589

Cites work

• scientific article; zbMATH DE number 4130376 (Why is no real title available?)
• scientific article; zbMATH DE number 3142081 (Why is no real title available?)
• scientific article; zbMATH DE number 4002093 (Why is no real title available?)
• scientific article; zbMATH DE number 43479 (Why is no real title available?)
• scientific article; zbMATH DE number 3637825 (Why is no real title available?)
• scientific article; zbMATH DE number 1735925 (Why is no real title available?)
• scientific article; zbMATH DE number 1735928 (Why is no real title available?)
• scientific article; zbMATH DE number 194679 (Why is no real title available?)
• scientific article; zbMATH DE number 782632 (Why is no real title available?)
• scientific article; zbMATH DE number 6965723 (Why is no real title available?)
• An introduction to non-classical logic. From if to is
• Anti-intuitionism and paraconsistency
• Chunk and permeate, a paraconsistent inference strategy. I: The infinitesimal calculus
• Frontiers of paraconsistent logic. Papers from the 1st world congress on paraconsistency, Ghent, Belgium, July 30--August 2, 1997
• Models for inconsistent and incomplete differential calculus
• Saving truth from paradox
• The Logic of Contradiction
• Transfinite numbers in paraconsistent set theory
• Universal logic
• ``Four-valued semantics for the relevant logic R

Cited in

(13)

• A new technique for proving realisability and consistency theorems using finite paraconsistent models of cut-free logic
• A BRIDGE BETWEEN Q-WORLDS
• scientific article; zbMATH DE number 1735928 (Why is no real title available?)
• scientific article; zbMATH DE number 4083589 (Why is no real title available?)
• Transfinite cardinals in paraconsistent set theory
• The relevant fragment of first order logic
• Paraconsistent measurement of the circle
• scientific article; zbMATH DE number 910437 (Why is no real title available?)
• Chunk and permeate, a paraconsistent inference strategy. I: The infinitesimal calculus
• Inconsistent boundaries
• Through full blooded Platonism, and what paraconsistentists could find there
• On elimination of quantifiers in some non-classical mathematical theories
• A potential generalization of classical mathematics

This page was built for publication: Real analysis in paraconsistent logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q692184)