Loading…

Many-values logics /

Bibliographic Details
Call Number:Libro Electrónico
Other Authors: Rosser, J. Barkley (John Barkley), 1907-1989, Turquette, Atwell R. (Atwell Rufus), 1914-
Format: Electronic eBook
Language:Inglés
Published: Dordrecht : Elsevier Science, 1951.
Series:Studies in logic and the foundations of mathematics ; v. 7.
Subjects:
Online Access:Texto completo
Texto completo
Texto completo
Table of Contents:
  • Truth tables
  • Axiomatization of many-valued statement calculi
  • Foundations of the theory of quantification for many-valued logics
  • Axiomatization of many-valued predicate calculi
  • Quantification for particular predicate calculi
  • Some unsolved problems.