H ? « ‹ ← → › »

Language peer sets for Quine:
United States↑
United States/1952↑
Designed 1952 ↑
1950s languages ↑
First generation↑
Immediate Post-War↑
Genus Symbolic ↑
Specialised Languages ↑
Symbolic↑
Logical↑
Expression-oriented ↑
Symbolic/1952↑
Logical/1952↑
Expression-oriented/1952↑
Symbolic/United States↑
Logical/United States↑
Expression-oriented/United States↑
Specialised Languages ↑
Specialised Languages/1952↑
Specialised Languages/us ↑

Quine(ID:6968/qui020)

Quine's logic system 

alternate simple view
Country: United States
Designed 1952
Genus: Symbolic
Sammet category: Specialised Languages

WVO Quine's formalism of logic
Related languages
New Foundations → Quine   Evolution of
Quine → L-hat   Based on
Quine → QUINE   Based on
References:
  • Quine, W. V. O. (1959) Quine, W. V. O. "Methods of Logic" (2nd Ed.). Routledge and Kegan Paul, London, 1959
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder