Inconsistent number systems

DOI10.1305/NDJFL/1093637770zbMath0644.03003OpenAlexW1972540229MaRDI QIDQ1102264

Chris Mortensen

Publication date: 1988

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093637770

zbMATH Keywords

relevant logicinconsistencyfinite structuresinconsistent theoriesarithmeticalinconsistent number- theoretic structures

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Philosophical and critical aspects of logic and foundations (03A05)

Related Items (3)

On elimination of quantifiers in some non‐classical mathematical theories ⋮ On LP-models of arithmetic ⋮ The scope of Gödel's first incompleteness theorem

This page was built for publication: Inconsistent number systems