An implementation of a dual tableaux system for order-of-magnitude qualitative reasoning

DOI10.1080/00207160902777906zbMath1191.03008OpenAlexW2008228896MaRDI QIDQ3643171

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

Publication date: 10 November 2009

Published in: International Journal of Computer Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/00207160902777906

zbMATH Keywords

modal logicautomated theorem provingorder-of-magnitude reasoningRasiowa-Sikorski procedurerelational theorem provingtableaux procedure

Mathematics Subject Classification ID

Related Items (3)

On the existence and unicity of stable models in normal residuated logic programs ⋮ Dual tableau for monoidal triangular norm logic MTL ⋮ Implementing a relational theorem prover for modal logic

Cites Work

• Unnamed Item
• Unnamed Item
• Tableaux and dual tableaux: transformation of proofs
• Rasiowa-Sikorski deduction systems in computer science applications.
• Relative and absolute order-of-magnitude models unified
• The computational complexity of hybrid temporal logics

This page was built for publication: An implementation of a dual tableaux system for order-of-magnitude qualitative reasoning