Innocuous substitutions

DOI10.2307/2273197MaRDI QIDQ3872451zbMATH OpenOpenAlexFDO

Authors Daniel M. Leivant

Publication date 1980

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

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

zbMATH Keywords

Heyting arithmeticintuitionistic predicate logicproof theoretic properties

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Intuitionistic mathematics (03F55)

Cites work

• On formulas of one variable in intuitionistic propositional calculus

Cited in

(1)

• Substitutions of \(\Sigma_1^0\)-sentences: Explorations between intuitionistic propositional logic and intuitionistic arithmetic

This page was built for publication: Innocuous substitutions

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