Predicate Logic with Definitions

Details Predicate Logic with Definitions Predicate Logic with Definitions

1999-06-07

arxiv.org/abs/cs/9906010v1

Computer Science

Logic in Computer Science

15 pages

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

Predicate Logic with Definitions does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Predicate Logic with Definitions, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Predicate Logic with Definitions will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-653857