An Introduction to Basic Arithmetic

DOI10.1093/JIGPAL/JZM013MaRDI QIDQ5448843zbMATH OpenOpenAlexFDO

Authors Mohammad Ardeshir, Bardyaa Hesaam

Publication date 7 March 2008

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/jigpal/jzm013

zbMATH Keywords

basic arithmeticbasic logiccompletenessHeyting arithmeticKripke models

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Metamathematics of constructive systems (03F50)

Recommendations

• The basics of arithmetic
• Basic knowledge arithmetic and number theory
• Elementary arithmetic
• scientific article; zbMATH DE number 3852288
• Arithmetical operations of basic elements

Cited in

(9)

• A gentle introduction to Numerica
• Proof complexity of substructural logics
• Not all Kripke models of \(\mathsf{HA}\) are locally \(\mathsf{PA}\)
• A counterexample to polynomially bounded realizability of basic arithmetic
• Implication via spacetime
• The de Jongh property for basic arithmetic
• The intuitionistic Robinson arithmetic(s)
• Interpolation Property on Visser's Formal Propositional Logic
• The provably total functions of basic arithmetic and its extensions

This page was built for publication: An Introduction to Basic Arithmetic

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