Cargando…
Many-valued logics
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...
Autores principales: | , |
---|---|
Lenguaje: | eng |
Publicado: |
Springer
1992
|
Materias: | |
Acceso en línea: | https://dx.doi.org/10.1007/978-3-662-08494-6 http://cds.cern.ch/record/2006251 |