Many-Valued Logics 1 Theoretical Foundations

Many-Valued Logics 1 Theoretical Foundations / by Leonard Bolc, Piotr Borowik.

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...

Full description

Saved in:
Bibliographic Details
Main Authors: Bolc, Leonard (Author), Borowik, Piotr (Author)
Corporate Author: SpringerLink (Online service)
Format: eBook
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1992.
Edition:1st ed. 1992.
Series:Springer eBook Collection.
Subjects:
Mathematical logic.
Computer logic.
Artificial intelligence.
Electronic resources (E-books)
Online Access:Click to view e-book
Holy Cross Note:Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.
Table of Contents:
  • 1 Preliminaries
  • 2 Many-Valued Propositional Calculi
  • 3 Survey of Three-Valued Propositional Calculi
  • 4 Some n-valued Propositional Calculi: A Selection
  • 5 Intuitionistic Propositional Calculus
  • 6 First-Order Predicate Calculus for Many-Valued Logics
  • 7 The Method of Finitely Generated Trees in n-valued Logical Calculi
  • 8 Fuzzy Propositional Calculi
  • 9 Approximation Logics
  • 10 Probability Logics
  • References
  • Index of Symbols
  • Author Index.

Similar Items