By 1896 Dodgson had developed a mechanical test of validity for a large part of the logic of terms, an achievement usually credited to Leopold Löwenheim [in 1915].
Sa pamamagitan ng 1,896 Dodgson ay binuo ng isang de-makina pagsubok ng katotohanan para sa isang malaking bahagi ng lohika ng mga kataga, ng isang tagumpay ay karaniwang kredito sa Leopold Löwenheim [in 1915].