#### Filter Results:

#### Key Phrase

#### Publication Venue

Learn More

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… (More)

- ‹
- 1
- ›