Revista: | Volumen de homenaje |
Base de datos: | PERIÓDICA |
Número de sistema: | 000170556 |
ISSN: | 0328-2600 |
Autores: | Mundici, Daniele1 |
Instituciones: | 1University of Milan, Department of Computer Science, Milán, Lombardia. Italia |
Año: | 1999 |
Número: | 7 |
Paginación: | 153-162 |
País: | Argentina |
Idioma: | Inglés |
Tipo de documento: | Artículo |
Enfoque: | Analítico |
Disciplinas: | Matemáticas |
Palabras clave: | Matemáticas puras, Lógica multivaluada, Cálculo proposicional, Algebras de Lukasiewicz, MV-álgebras, Teorema de completez |
Keyword: | Mathematics, Pure mathematics, Many valued logic, Propositional calculus, Lukasiewicz algebras, MV algebras, Completeness theorem |
Solicitud del documento | |