Elsevier Science Publishing Co Inc.,U.S..
1st edition. xii, 319 pages. Text block very slightly sunned. In formal semantics, truth-value semantics is an alternative to Tarskian semantics. It has been primarily championed by Ruth Barcan Marcus, Hugues Leblanc, M. Dunn and N. Belnap. It is also called the substitution interpretation (of the quantifiers) or substitutional quantification. The idea of these semantics is that universal (existential) quantifier may be read as a conjunction (disjunction) of formulas in which constants replace the variables in the scope of the quantifier.