A Mathematical Introduction to Logic

Herbert B. Enderton, A. M. I. t. L., & Press, A. (2001). A Mathematical Introduction to Logic. Academic Press.

Type

Book

Intellectual base

Review or monograph

Year

2001

Link

no authoritative link yet

Cited by

6 citations across 6 artifacts.

Domain-specific

• Deductive closure
  • … domain but bounded by the need for the consequence relation is fixed and the result contains Γ, is deductively closed and is contained in every other closed superset of Γ. The entry records a descriptive analytical identity; practical use requires the governing domain's evidence, standards, and safety obligations.
• Formation rule
  • The entry records a descriptive analytical identity; practical use requires the governing domain's evidence, standards, and safety obligations.
• Metatheorem
  • … and language, metatheory and metalanguage, encoding of syntax or proof, quantified class of formulas or models, external proof and any formalizability or strength assumptions are explicit. to An applied instance preserves the same invariant under changed scale, notation, dataset, jurisdiction, or implementation..
• Non-logical symbol
  • … identity and a convenient observable transfers from A canonical example satisfies the full defining rule of Non-logical symbol with all parameters and conventions explicit. to A careful use of Non-logical symbol tests the constitutive rule and nearest confusable rather than relying on topical resemblance..
• Principle of distributivity
  • The entry records a descriptive analytical identity; practical use requires the governing domain's evidence, standards, and safety obligations.
• Symbol (formal)
  • … symbol type, token representation and equivalence, arity or syntactic category, formation rules, interpretation if any and distinction from metavariables and denoted objects are explicit. to An applied instance preserves the same invariant under changed scale, notation, jurisdiction, dataset, or implementation..

Verification

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Registry ID ref:44788bacb120 · see in the full table