This work concentrates on the automated deduction of logics of order-of-magnitude reasoning. Specifically, a translation of the multimodal 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.
展开▼