Introduction to Mathematical Logic

Elliott Mendelson, I. (2015). Introduction to Mathematical Logic. CRC Press.

Type

Book

Intellectual base

Textbook

Year

2015

Link

no authoritative link yet

Cited by

3 citations across 3 artifacts.

Domain-specific

• Deductive closure
  • … constitutive identity and a convenient observable transfers from The deductive closure of axioms for a theory contains every theorem provable from those axioms in the chosen calculus. to Reasoning states whether consequence is semantic or syntactic and which logic and rules are in force before comparing closures..
• Formation rule
  • … between constitutive identity and a convenient observable transfers from If phi and psi are formulas, a rule may declare that open-parenthesis phi and psi close-parenthesis is also a formula. to A specification separates lexical, formation and inference rules and resolves precedence or ambiguity in concrete syntax..
• Principle of distributivity
  • … between constitutive identity and a convenient observable transfers from A and (B or C) can be rewritten as (A and B) or (A and C) without changing any truth-table row. to Formula normalization tracks duplication cost and distinguishes classical equivalence from logics in which one or both distributive laws can fail..

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:5b4f6a548f1d · see in the full table