Uwe Egly. On Different Intuitionistic Calculi and Embeddings from Int to S4. Studia Logica, 69(2):249-277, 2001.
@article{Egly01, title = {On Different Intuitionistic Calculi and Embeddings from Int to S4}, author = {Uwe Egly}, year = {2001}, researchr = {https://researchr.org/publication/Egly01}, cites = {0}, citedby = {0}, journal = {Studia Logica}, volume = {69}, number = {2}, pages = {249-277}, }