If you do not find what you're looking for, you can use more accurate words.
أدخلت صيغة بركان الشهيرة في المنطق الطوري المكمَّم بوصفها مسلَّمة. نشرت أول أعمالها (أول دراسة مسلَّمِيَّة للمنطق الطوري ذي المكمِّمات) باسم ما قبل الزواج: روث سي بركان، حاويًا هذه المقالات الثلاث: «تفاضل وتكامل عمليان من الرتبة الأولى، بناء على التضمين القطعي» في دورية المنطق الرمزي (1946)، و«نظرية الاستنباط في التفاضل والتكامل العمليان من الرتبة الأولى، بناء على التضمين القطعي» في نفس الدورية والعام، و«هوية الأفراد في التفاضل والتكامل العمليين القطعيين من الرتبة الثانية» في 1947 بنفس الدورية.