Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Appears in 9th Int'l Workshop on NonMonotonic Reasoning (NMR '2002). Interpolation Theorems for Nonmonotonic Reasoning Systems
 

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