Many-valued Logics
Bolc, Leonard; Borowik, Piotr
€ 127.93
FREE Delivery in Ireland
Description for Many-valued Logics
Hardback. Deals with finite-valued logics, and especially with three-valued logical calculi. This title discusses matrix constructions, axiomatizations of propositional and predicate calculi, syntax, semantic structures, and methodology. It includes chapters that deal with intuitionistic logic, fuzzy logics, approximation logics, and probability logics. Num Pages: 288 pages, biography. BIC Classification: PBWX; UM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 19. Weight in Grams: 609.
Many-valued logics were developed as an attempt to handle philosophical doubts about the "law of excluded middle" in classical logic. The first many-valued formal systems were developed by J. Lukasiewicz in Poland and E.Post in the U.S.A. in the 1920s, and since then the field has expanded dramatically as the applicability of the systems to other philosophical and semantic problems was recognized. Intuitionisticlogic, ... Read more
Many-valued logics were developed as an attempt to handle philosophical doubts about the "law of excluded middle" in classical logic. The first many-valued formal systems were developed by J. Lukasiewicz in Poland and E.Post in the U.S.A. in the 1920s, and since then the field has expanded dramatically as the applicability of the systems to other philosophical and semantic problems was recognized. Intuitionisticlogic, ... Read more
Product Details
Format
Hardback
Publication date
1992
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
288
Condition
New
Number of Pages
288
Place of Publication
Berlin, Germany
ISBN
9783540559269
SKU
V9783540559269
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Many-valued Logics