Innocuous substitutions

From MaRDI portal

Publication:3872451

Jump to:navigation, search

DOI10.2307/2273197zbMath0434.03041OpenAlexW4236097144MaRDI QIDQ3872451

Daniel 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 arithmetic intuitionistic predicate logic proof theoretic properties

Mathematics Subject Classification ID

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

Related Items

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3872451&oldid=17496699"