Finite and Rational Tree Constraints

Logic Journal of the IGPL 2 (2):167-204 (1994)
  Copy   BIBTEX

Abstract

This paper presents an in and lasy decision procedure for the first-order equality theory over a Herbrand universe as well as for that of rational trees. The procedure is based on a conjunctive normal form and consists of two algorithms, one algorithm to decide satisfiability and one for transforming a universally quantified negated constraint into a new constraint in normal form. We will also show that a general formula in either theory can be rewritten into an equivalent normal form, thus providing a general decision procedure. The normal form and the design of the decision procedure have been chosen to meet the requirements of a concurrent constraint programming language.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,616

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Normal Gentzen deductions in the classical case.A. Palmigiano - 2000 - Logic Journal of the IGPL 8 (2):211-219.
Formulas in modal logic s4.Katsumi Sasaki - 2010 - Review of Symbolic Logic 3 (4):600-627.
On the existence of indiscernible trees.Kota Takeuchi & Akito Tsuboi - 2012 - Annals of Pure and Applied Logic 163 (12):1891-1902.
Game Trees For Decision Analysis.Prakash P. Shenoy - 1998 - Theory and Decision 44 (2):149-171.
Twilight graphs.J. C. E. Dekker - 1981 - Journal of Symbolic Logic 46 (3):539-571.
Finite Tree Property for First-Order Logic with Identity and Functions.Merrie Bergmann - 2005 - Notre Dame Journal of Formal Logic 46 (2):173-180.
On normal forms in Łukasiewicz logic.A. Di Nola & A. Lettieri - 2004 - Archive for Mathematical Logic 43 (6):795-823.

Analytics

Added to PP
2015-02-04

Downloads
6 (#1,269,502)

6 months
1 (#1,040,386)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references