Predicate Logic with Definitions

Simple item page
dc.creatorMakarov, Victor
dc.date1999-06-07
dc.date.accessioned2026-07-07T03:24:08Z
dc.date.available2026-07-07T03:24:08Z
dc.descriptionPredicate Logic with Definitions (PLD or D-logic) is a modification of first-order logic intended mostly for practical formalization of mathematics. The main syntactic constructs of D-logic are terms, formulas and definitions. A definition is a definition of variables, a definition of constants, or a composite definition (D-logic has also abbreviation definitions called abbreviations). Definitions can be used inside terms and formulas. This possibility alleviates introducing new quantifier-like names. Composite definitions allow constructing new definitions from existing ones.
dc.description15 pages
dc.identifierhttps://arxiv.org/abs/cs/9906010
dc.identifierhttp://arxiv.org/abs/cs/9906010
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/33212
dc.subjectLogic in Computer Science
dc.subjectArtificial Intelligence
dc.subjectF.4.1; I.2.4
dc.titlePredicate Logic with Definitions
dc.typetext

Files

Collections

arXiv