A Hilbert Type Deductive System for Sentential Logic, Completeness and Compactness

Gaifman, H. (2002). A Hilbert Type Deductive System for Sentential Logic, Completeness and Compactness.

Type

Unclassified

Intellectual base

Unclassified

Year

2002

Link

no authoritative link yet

Cited by

1 citation across 1 artifact.

Domain-specific

• Hilbert system
  • … observable transfers from A propositional Hilbert proof chains substitution instances of implication axioms using modus ponens until the target formula is reached. to A logician states the exact axiom basis and consequence relation before proving soundness, completeness or equivalence with natural deduction..

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:99a0d3bfb30f · see in the full table