Real analysis in paraconsistent logic

DOI10.1007/s10992-011-9210-6zbMath1270.03046OpenAlexW2155129617MaRDI QIDQ692184

Zach Weber, Maarten McKubre-Jordens

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

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

Related Items

TRANSFINITE CARDINALS IN PARACONSISTENT SET THEORY, On elimination of quantifiers in some non‐classical mathematical theories, A BRIDGE BETWEEN Q-WORLDS, Inconsistent boundaries, THE RELEVANT FRAGMENT OF FIRST ORDER LOGIC

Cites Work

• Chunk and permeate, a paraconsistent inference strategy. I: The infinitesimal calculus
• Anti-intuitionism and paraconsistency
• Models for inconsistent and incomplete differential calculus
• ``Four-valued semantics for the relevant logic R
• TRANSFINITE NUMBERS IN PARACONSISTENT SET THEORY
• The Logic of Contradiction
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item