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 |