Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
Visser, Albert
2002.
Substitutions of Σ10-sentences: explorations between intuitionistic propositional logic and intuitionistic arithmetic.
Annals of Pure and Applied Logic,
Vol. 114,
Issue. 1-3,
p.
227.
Ghilardi, Silvio
and
Gianola, Alessandro
2022.
Interpolation and Uniform Interpolation in Quantifier-Free Fragments of Combined First-Order Theories.
Mathematics,
Vol. 10,
Issue. 3,
p.
461.