Extending Classical Logic with Inductive Definitions

Details Extending Classical Logic with Inductive Definitions Extending Classical Logic with Inductive Definitions

2000-03-07

arxiv.org/abs/cs/0003019v1

Computer Science

Logic in Computer Science

9 pages to be presented at NMR2000, Breckenridge, April 2000

Scientific paper

The goal of this paper is to extend classical logic with a generalized notion of inductive definition supporting positive and negative induction, to investigate the properties of this logic, its relationships to other logics in the area of non-monotonic reasoning, logic programming and deductive databases, and to show its application for knowledge representation by giving a typology of definitional knowledge.

Affiliated with

Also associated with

No associations

Rating

Extending Classical Logic with Inductive Definitions does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Extending Classical Logic with Inductive Definitions, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Extending Classical Logic with Inductive Definitions will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-305263