Relational Approach to Order-of-Magnitude Reasoning

摘要

This work concentrates on the automated deduction of logics of order-of-magnitude reasoning. Specifically, a translation of the mul-timodal logic of qualitative order-of-magnitude reasoning into relational logics is provided; then, a sound and complete Rasiowa-Sikorski proof system is presented for the relational version of the language.