ZIB

Treffer pro Seite

Treffer 1 - 1 | 1 Treffer

Alles auswählen Exportieren

Digitale Medien

Adding equality to semantic tableaux (1987)

Reeves, S. V.

Springer

Journal of automated reasoning 3 (1987), S. 225-246

zur Merkliste hinzufügen auf der Merkliste

Details

ISSN: 1573-0670

Schlagwort(e): Theorem proving ; semantic tableaux ; first-order logic with equality ; partial unification

Quelle: Springer Online Journal Archives 1860-2000

Thema: Informatik

Notizen: Abstract An extension to the system of semantic tableaux to deal with first-order logic with equality is introduced and proved sound and complete. This involves the use of partial unification, an operation which is based on unification without the presence of variables. We show, further, that semantic tableaux with partial unification provide a sound and complete proof method without needing the functionally reflexive axioms. We also give an example of an ordering rule which allows us to provide less complex proofs in the ground case.

Materialart: Digitale Medien

URL: http://dx.doi.org/10.1007/BF00243790

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

Artikel (Nationallizenzen)

Volltext

Treffer 1 - 1 | 1 Treffer