Completeness properties of heyting's predicate calculus with respect to re models
From MaRDI portal
Publication:4093415
DOI10.2307/2272948zbMath0328.02013OpenAlexW4236007790MaRDI QIDQ4093415
Publication date: 1976
Published in: The Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2272948
Intermediate logics (03B55) Categoricity and completeness of theories (03C35) Proof theory and constructive mathematics (03F99)
Related Items