She published Axiomatization of the infinite-valued predicate calculus in the Journal of Symbolic Logic in 1963 in which she gave a set of nine axiom schemes and two rules for the predicate calculus based on the infinite-valued sentential calculus of Lukasiewicz .
Siya nai-publish Axiomatization ng walang hanggan-mahal na totoo calculus sa Journal ng sinasagisag Logic sa 1963 kung saan siya ibinigay ng isang set ng siyam na axiom na pamamaraan at patakaran para sa dalawang ang totoo calculus base sa walang hanggan-mahal sentential calculus ng Lukasiewicz.