| Home > Publications > Reports > Informatics (CW) |
CW 410
Marc Denecker and Joost Vennekens
ID-logic in perspective
Abstract
ID-logic is an extension of classical logic with inductive definitions. This report is a brief introduction to the origins, the foundations and the motivations for this logic, and it discusses its very special place in the spectre of mathematical, computational and knowledge representation logics by pointing to its strong relationships to various logics in these fields.
report.pdf ( 83K) / mailto: M. Denecker