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: