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 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.

[1]  Philippe Dague.  Symbolic Reasoning with Relative Orders of Magnitude , 1993, IJCAI.

[2]  Ullrich Hustadt,et al.  Two Proof Systems for Peirce Algebras , 2003, RelMiCS.

[3]  Joanna Golinska-Pilarek,et al.  Tableaux and Dual Tableaux: Transformation of Proofs , 2007, Stud Logica.

[4]  Tinko Tinchev,et al.  An Essay in Combinatory Dynamic Logic , 1991, Inf. Comput..

[5]  Manuel Ojeda-Aciego,et al.  A Multimodal Logic Approach to Order of Magnitude Qualitative Reasoning with Comparability and Negligibility Relations , 2005, Fundam. Informaticae.

[6]  J. Woleński.  Philosophical logic in Poland , 1994 .

[7]  Alberto Bugarín,et al.  Current Topics in Artificial Intelligence, 11th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2005, Santiago de Compostela, Spain, November 16-18, 2005, Revised Selected Papers , 2006, CAEPIA.

[8]  Ewa Orlowska,et al.  Correspondence Results for Relational Proof Systems with Application to the Lambek Calculus , 2002, Stud Logica.

[9]  David A. Schmidt.  Programming Languages and Systems , 2004 .

[10]  E. Orlowska.  Relational interpretation of modal logics , 1988 .

[11]  Georg Struth,et al.  Relational and Kleene-Algebraic Methods in Computer Science , 2003, Lecture Notes in Computer Science.

[12]  Andrea Formisano,et al.  A Prolog tool for relational translation of modal logics: a front-end for relational proof systems , 2005 .

[13]  R. Sikorski,et al.  The mathematics of metamathematics , 1963 .

[14]  Núria Agell,et al.  Consistent Relative and Absolute Order-of-Magnitude Models , 2002 .

[15]  Valentin Goranko,et al.  Modal logic with names , 1993, J. Philos. Log..

[16]  Alfred Tarski,et al.  Relational selves as self-affirmational resources , 2008 .

[17]  Tinko Tinchev,et al.  PDL with Data Constants , 1985, Inf. Process. Lett..

[18]  Emilio Muñoz-Velasco,et al.  Order of Magnitude Qualitative Reasoning with Bidirectional Negligibility , 2005, CAEPIA.

[19]  Ewa Orlowska,et al.  Relational Semantics for Nonclassical Logics: Formulas are Relations , 1994 .