Ementa:
Lógicas relevante, paraconsistente, intuicionista, discursiva, quântica e outras não clássicas.
Bibliografia:
Carnielli, W.A., Coniglio, M. E. e Marcos, J. Logics of Formal Inconsistency. Handbook of Philosophical Logic, 2nd edition, volume 14, pages 1-93. Springer-Verlag, 2007.
Carnielli, W. A. e Pizzi, C. Modalities and Multimodalities. Series: Logic, Epistemology, and the Unity of Science, Vol. 12, Springer, 2008.
Priest, G. Introduction to Non-Classical Logic, Cambridge University Press, 2001.
Carnielli, W.A. e Coniglio, M. E. Paraconsistent Logic: Consistency, Contradiction and Negation. Springer, 2016,
Troelstra, A. Constructivism and Proof Theory. 2003.
Ano de Catálogo: 2021
Créditos: 8
Número de alunos matriculados: 6
Idioma de oferecimento: Português
Tipo Oferecimento: Regular
Local Oferecimento:
Horários/Salas:
Docentes:
Reservas:
Não possui reservas.| Hora | Segunda | Terça | Quarta | Quinta | Sexta | Sábado |
|---|---|---|---|---|---|---|
| 07:00 | ||||||
| 08:00 | ||||||
| 09:00 | ||||||
| 10:00 | ||||||
| 11:00 | ||||||
| 12:00 | ||||||
| 13:00 | ||||||
| 14:00 | A - | |||||
| 15:00 | A - | |||||
| 16:00 | A - | |||||
| 17:00 | A - | |||||
| 18:00 | ||||||
| 19:00 | ||||||
| 20:00 | ||||||
| 21:00 | ||||||
| 22:00 | ||||||
| 23:00 |