Explanatory relations in arbitrary logics based on satisfaction systems, cutting and retraction

هدف از این مقاله معرفی یک چارچوب جدید برای تعریف اپراتورهای استدلال اخلاقی مبتنی بر مفهوم عقبگرد در منطق دلخواه تعریف شده به عنوان سیستم های رضایتمندی است. ما نشان می دهیم چطور این چارچوب منجر به طراحی روابط توضیحی می شود که خواص استدلال های رقیب را رعایت می کنند و در مورد کاربرد آن به چند منطق بحث می کنند. این کار قبلی را بر روی منطق گزاری گسترش می دهد که جابجایی آن به عنوان فرسایش مورفولوژیکی تعریف شده است. در اینجا خواص ضعیف برای بازپرداخت لازم است، که منجر به مجموعه وسیعی از اپراتورهای مناسب برای ربودن برای منطق های مختلف می شود.