An Introduction to Basic Arithmetic

DOI10.1093/jigpal/jzm013zbMath1168.03045OpenAlexW2171341762MaRDI QIDQ5448843

Bardyaa Hesaam, Mohammad Ardeshir

Publication date: 7 March 2008

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

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

zbMATH Keywords

completenessHeyting arithmeticbasic logicKripke modelsbasic arithmetic

Mathematics Subject Classification ID

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

Related Items (6)

Implication via spacetime ⋮ Interpolation Property on Visser's Formal Propositional Logic ⋮ The de Jongh property for basic arithmetic ⋮ 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

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