Number systems based on logical calculus

DOI10.12988/IMF.2013.39167MaRDI QIDQ3191670zbMATH OpenOpenAlexFDO

Authors Pith Peishu Xie

Publication date 6 October 2014

Published in International Mathematical Forum (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/3d5f7823f703fb6029e8fa2bd94dd3d17cd0aa49

zbMATH Keywords

logical calculusnumber systems

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Other number representations (11A67)

Recommendations

• Some results on numerical systems in -calculus
• Bases and ambiguity of number systems
• Inconsistent number systems
• Numbers as moments of multisets: a new-old formulation of arithmetic
• Zur Axiomatisierung logarithmischer und halblogarithmischer Zahlensysteme. (On the axiomatization of logarithmic and semi-logarithmic number systems)

Cited in

(7)

• An introduction to the perplex number system
• Arithmetic based on the Church numerals in illative combinatory logic
• Numerical computations for Operator axioms
• scientific article; zbMATH DE number 5997400 (Why is no real title available?)
• Leftist Numbers
• scientific article; zbMATH DE number 918326 (Why is no real title available?)
• Zur Axiomatisierung logarithmischer und halblogarithmischer Zahlensysteme. (On the axiomatization of logarithmic and semi-logarithmic number systems)

This page was built for publication: Number systems based on logical calculus

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