On Different Intuitionistic Calculi and Embeddings from Int to S4.

Uwe Egly On Different Intuitionistic Calculi and Embeddings from Int to S4. 249-277 2001 69 Studia Logica 2 db/journals/sLogica/sLogica69.html#Egly01