م مقاله کنفرانسی سال ۱۴۰۲ ۲۷۰ مشاهده بررسی ارتباط بین S - سیستم های راست صادق در شرط (E′P) با سیستم های P - منظم و P - دوری در ۱ کیلپ و کناور شرط E و شرط P را معرفی کردند و در ۲ ،لان تعمیمی از شرط E ، یعنی شرط ′E را معرفی کرد در… S-سیستمشرط(E′P)سیستم P-منظم