Conservative Extensions
It is common to include in a Hilbert-style deduction system only axioms for implication and negation. Given these axioms, it is possible to form conservative extensions of the deduction theorem that permit the use of additional connectives. These extensions are called conservative because if a formula φ involving new connectives is rewritten as a logically equivalent formula θ involving only negation, implication, and universal quantification, then φ is derivable in the extended system if and only if θ is derivable in the original system. When fully extended, a Hilbert-style system will resemble more closely a system of natural deduction.
Read more about this topic: Hilbert System
Famous quotes containing the words conservative and/or extensions:
“Typical of Iowa towns, whether they have 200 or 20,000 inhabitants, is the church supper, often utilized to raise money for paying off church debts. The older and more conservative members argue that the “House of the Lord” should not be made into a restaurant; nevertheless, all members contribute time and effort, and the products of their gardens and larders.”
—For the State of Iowa, U.S. public relief program (1935-1943)
“The psychological umbilical cord is more difficult to cut than the real one. We experience our children as extensions of ourselves, and we feel as though their behavior is an expression of something within us...instead of an expression of something in them. We see in our children our own reflection, and when we don’t like what we see, we feel angry at the reflection.”
—Elaine Heffner (20th century)