Keywords:
Many-valued logic
;
Many-valued logic
;
Many-valued logic
;
Electronic books
;
Electronic books
Description / 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
Type of Medium:
Online Resource
Pages:
Online Ressource (v, 124 pages)
Edition:
Online-Ausg.
ISBN:
0444533729
,
9780444533722
Series Statement:
Studies in Logic and the Foundations of Mathematics v. 7
URL:
http://www.sciencedirect.com/science/book/9780444533722
URL:
http://www.sciencedirect.com/science/bookseries/0049237X/7
URL:
https://www.sciencedirect.com/science/bookseries/0049237X/7
DDC:
511.312
Language:
English
Note:
Includes bibliographical references and index. - Print version record
,
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.
Permalink