Implicational complexity in intuitionistic arithmetic

DOI10.2307/2273617zbMath0488.03032OpenAlexW2001546057MaRDI QIDQ3949044

Daniel Leivant

Publication date: 1981

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

Full work available at URL: https://doi.org/10.2307/2273617

zbMATH Keywords

implicationintuitionistic arithmeticintuitionismtruth-definitionimplicational measurePrenex normal form

Mathematics Subject Classification ID

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

Related Items

An intuitionistic formula hierarchy based on high‐school identities ⋮ Some forms of excluded middle for linear orders ⋮ Revisiting the conservativity of fixpoints over intuitionistic arithmetic ⋮ Substitutions of \(\Sigma_1^0\)-sentences: Explorations between intuitionistic propositional logic and intuitionistic arithmetic

Cites Work

• On formulas of one variable in intuitionistic propositional calculus
• Number theoretic concepts and recursive well-orderings

This page was built for publication: Implicational complexity in intuitionistic arithmetic