On the concept of logical consequence

Tarski, A. (1956). On the concept of logical consequence. Logic, Semantics, Metamathematics.

Type

Book chapter

Intellectual base

Review or monograph

Year

1956

Link

https://philpapers.org/rec/TARLSM

Cited from

computer_science

Cited by

1 citation across 1 artifact.

Primes

• Dependency
  • The relation has been formalized independently in five distinct intellectual traditions: graph-theoretic dependency analysis in compiler design (Aho, Lam, Sethi, and Ullman 2006), task-precedence modeling in operations research (Kelley and Walker 1959, who introduced the Critical Path Method), logical entailment in formal logic (Tarski 1936), semantic presupposition in philosophy of language (Strawson 1950), and obligate dependency in ecology (Janzen 1980).

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:6e35041e5fd8 · see in the full table