Relational Approach to Order-of-Magnitude Reasoning

DOI10.1007/11964810_6zbMath1177.68178OpenAlexW1552276935MaRDI QIDQ5302023

Ewa S. Orłowska, Alfredo Burrieza, Manuel Ojeda Aciego

Publication date: 20 January 2009

Published in: Theory and Applications of Relational Structures as Knowledge Instruments II (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11964810_6

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Mechanization of proofs and logical operations (03B35)

Related Items (2)

Reasoning about negligibility and proximity in the set of all hyperreals ⋮ Relational dual tableau decision procedures and their applications to modal and intuitionistic logics

This page was built for publication: Relational Approach to Order-of-Magnitude Reasoning