Many-values logics /
Saved in:
Corporate Authors: | |
---|---|
Group Author: | ; |
Published: |
Elsevier Science,
|
Publisher Address: | Dordrecht : |
Publication Dates: | 1951. |
Literature type: | eBook |
Language: | English |
Series: |
Studies in Logic and the Foundations of Mathematics ;
v. 7 |
Subjects: | |
Online Access: |
http://www.sciencedirect.com/science/bookseries/0049237X/7 |
Carrier Form: | 1 online resource (v, 124 pages). |
Bibliography: | Includes bibliographical references and index. |
ISBN: |
9780444533722 0444533729 |
Index Number: | QA9 |
CLC: | O141-53 |
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. |