Abstract | ||
---|---|---|
Predicate 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. |
Year | Venue | Keywords |
---|---|---|
1999 | Clinical Orthopaedics and Related Research | first order logic,artificial intelligent |
Field | DocType | Volume |
Computational logic,Discrete mathematics,Predicate variable,Algorithm,Predicate functor logic,Philosophy of logic,Predicate logic,Syntax,Mathematics,Higher-order logic,Dynamic logic (modal logic) | Journal | cs.LO/9906 |
Citations | PageRank | References |
0 | 0.34 | 3 |
Authors | ||
1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Victor Makarov | 1 | 0 | 0.68 |