Extending Classical Logic with Inductive Definitions
Logic in Computer Science
2009-09-25 v1 Artificial Intelligence
Abstract
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.
Cite
@article{arxiv.cs/0003019,
title = {Extending Classical Logic with Inductive Definitions},
author = {Marc Denecker},
journal= {arXiv preprint arXiv:cs/0003019},
year = {2009}
}
Comments
9 pages to be presented at NMR2000, Breckenridge, April 2000