Summary: Appears in 9th Int'l Workshop on Non­Monotonic Reasoning (NMR '2002).
Interpolation Theorems for Nonmonotonic Reasoning Systems
Eyal Amir
Computer Science Division
University of California at Berkeley
Berkeley, CA 94720­1776, USA
eyal@cs.berkeley.edu
Abstract
Craig's interpolation theorem [Craig, 1957] is
an important theorem known for propositional
logic and first­order logic. It says that if a log­
ical formula  logically follows from a formula
, then there is a formula , including only sym­
bols that appear in both ; , such that  logi­
cally follows from and logically follows from
. Such theorems are important and useful for
understanding those logics in which they hold as
well as for speeding up reasoning with theories
in those logics. In this paper we present interpo­
lation theorems in this spirit for three nonmono­

Source: Amir, Eyal - Department of Computer Science, University of Illinois at Urbana-Champaign

Collections: Computer Technologies and Information Sciences