Advanced search
Publication Cover
International Journal of Computer Mathematics Volume 86, 2009 - Issue 10-11: COMPUTATIONAL AND MATHEMATICAL METHODS IN SCIENCE AND ENGINEERING
Submit an article Journal homepage
44
Views
8
CrossRef citations to date
0
Altmetric
Original Articles

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

A. Burrieza Departamento de Filosofía, Universidad de Málaga, Málaga, Spain
,
A. Mora Departamento de Matemática Aplicada, Universidad de Málaga, Málaga, Spain
,
M. Ojeda-Aciego Departamento de Matemática Aplicada, Universidad de Málaga, Málaga, SpainCorrespondence[email protected]
&
E. Orłowska National Institute of Telecommunications, Warsaw, Poland
Pages 1852-1866 | Received 07 Aug 2008, Accepted 23 Jan 2009, Published online: 18 Nov 2010

Citations (8)

Keep up to date with the latest research on this topic with citation updates for this article.

Subscribe to citation updates

Read on this site (2)

Nicolás Madrid & Manuel Ojeda-Aciego. (2012) On the existence and unicity of stable models in normal residuated logic programs. International Journal of Computer Mathematics 89:3, pages 310-324.
Read now
A. Mora, E. Muñoz-Velasco & J. Golińska-Pilarek. (2011) Implementing a relational theorem prover for modal logic . International Journal of Computer Mathematics 88:9, pages 1869-1884.
Read now

Articles from other publishers (6)

Andrea Formisano, Eugenio G. Omodeo & Alberto Policriti. 2018. Ewa Orłowska on Relational Methods in Logic and Computer Science. Ewa Orłowska on Relational Methods in Logic and Computer Science 129 168 .
Joanna Golińska-Pilarek & Michał Zawidzki. 2018. Ewa Orłowska on Relational Methods in Logic and Computer Science. Ewa Orłowska on Relational Methods in Logic and Computer Science 3 24 .
J. Goli ska-Pilarek & E. Munoz-Velasco. (2015) A hybrid qualitative approach for relative movements. Logic Journal of IGPL 23:3, pages 410-420.
Crossref
J. Golińska-Pilarek & E. Muñoz-Velasco. 2012. Hybrid Artificial Intelligent Systems. Hybrid Artificial Intelligent Systems 635 646 .
J. Golinska-Pilarek, E. Munoz-Velasco & A. Mora. (2010) A new deduction system for deciding validity in modal logic K. Logic Journal of IGPL 19:2, pages 425-434.
Crossref
Joanna Golińska-Pilarek & Ewa Orłowska. (2011) Dual tableau for monoidal triangular norm logic MTL. Fuzzy Sets and Systems 162:1, pages 39-52.
Crossref

Reprints and Corporate Permissions

Please note: Selecting permissions does not provide access to the full text of the article, please see our help page How do I view content?

To request a reprint or corporate permissions for this article, please click on the relevant link below:

Order Reprints Request Corporate Permissions

Academic Permissions

Please note: Selecting permissions does not provide access to the full text of the article, please see our help page How do I view content?

Obtain permissions instantly via Rightslink by clicking on the button below:

Request Academic Permissions

If you are unable to obtain permissions via Rightslink, please complete and submit this Permissions form. For more information, please visit our Permissions help page.

Related research

People also read lists articles that other readers of this article have read.

Recommended articles lists articles that we recommend and is powered by our AI driven recommendation engine.

Cited by lists all citing articles based on Crossref citations.
Articles with the Crossref icon will open in a new tab.