Translations of Carroll's logic works