Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

The inevitability of inconsistent abstract spaces

The inevitability of inconsistent abstract spaces Abstraction has been widely used in automated deduction; a major problem with its use is that the abstract space can be inconsistent even though the ground space is consistent. We show that, under certain very weak conditions true of practically all the abstractions used in the past (but true also of a much wider class of abstractions), this problem cannot be avoided. http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png Journal of Automated Reasoning Springer Journals

The inevitability of inconsistent abstract spaces

Download PDF
19 pages

Loading next page...
 
/lp/springer-journals/the-inevitability-of-inconsistent-abstract-spaces-6M27SdSwvJ

References (22)

Publisher
Springer Journals
Copyright
Copyright
Subject
Computer Science; Mathematical Logic and Formal Languages; Artificial Intelligence; Mathematical Logic and Foundations; Symbolic and Algebraic Manipulation
ISSN
0168-7433
eISSN
1573-0670
DOI
10.1007/BF00881899
Publisher site
See Article on Publisher Site

Abstract

Abstraction has been widely used in automated deduction; a major problem with its use is that the abstract space can be inconsistent even though the ground space is consistent. We show that, under certain very weak conditions true of practically all the abstractions used in the past (but true also of a much wider class of abstractions), this problem cannot be avoided.

Journal

Journal of Automated Reasoning – Springer Journals

Published: Dec 10, 2004

There are no references for this article.