Revista: | Boletim da Sociedade Paranaense de Matematica |
Base de datos: | PERIÓDICA |
Número de sistema: | 000022264 |
ISSN: | 0037-8712 |
Autores: | Qing Yu, Z1 |
Instituciones: | 1Chinese Acad Social Sciences, Institute of Philosophy, Beijing. China |
Año: | 1992 |
Volumen: | 13 |
Número: | 1-2 |
Paginación: | 33-41 |
País: | Brasil |
Idioma: | Inglés |
Tipo de documento: | Artículo |
Enfoque: | Analítico |
Disciplinas: | Filosofía, Matemáticas |
Palabras clave: | Lógica, Matemáticas puras, Lógica modal, Sistemas formales, Lógica matemática, Lógica paraconsistente |
Keyword: | Philosophy, Mathematics, Logic, Pure mathematics, Modal logic, Formal systems, Mathematical logic, Paraconsistent logic |
Solicitud del documento | |