Inconsistent number systems

DOI10.1305/NDJFL/1093637770zbMATH Open0644.03003OpenAlexW1972540229MaRDI QIDQ1102264FDOQ1102264

Authors: 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

Recommendations

• scientific article; zbMATH DE number 6127006
• scientific article; zbMATH DE number 16710
• scientific article; zbMATH DE number 1285979
• Inconsistent nonstandard arithmetic
• scientific article; zbMATH DE number 782632

zbMATH Keywords

inconsistencyfinite structuresrelevant logicinconsistent theoriesarithmeticalinconsistent number- theoretic structures

Mathematics Subject Classification ID

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

Cited In (15)

• Title not available (Why is that?)
• On elimination of quantifiers in some non-classical mathematical theories
• Title not available (Why is that?)
• The scope of Gödel's first incompleteness theorem
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Number systems based on logical calculus
• Inconsistent nonstandard arithmetic
• Title not available (Why is that?)
• Inconsistent models of arithmetic. II: The general case
• Arithmetic starred
• Concerning three classes of non-Diophantine arithmetics
• Inconsistent models for relevant arithmetics
• On LP-models of arithmetic

This page was built for publication: Inconsistent number systems

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