Ir para o conteúdo principal
Moodle UFSC - Presencial
Você acessou como visitante (
Acessar
)
FIL7027-07307 (20241) - Filosofia da Lógica
Página inicial
Cursos
FIL7027-07307 (20241)
Material
[extra] Proof systems for negative modalities
[extra] Proof systems for negative modalities
Clique em
[extra] Proof systems for negative modalities
para abrir o recurso.
◄ [slides] What is a negative modality?
Seguir para...
Seguir para...
[slides] (Problematic) Intro
[slides] From a structural viewpoint
[slides] On frameworks for doing logic
[extra] Multiple-Conclusion Logic (UNILOG 2005)
[extra] Classical Recapture [part A] (UNICAMP 2023)
[slides] Some fundamental logical properties
[extra] Truth-Functionality [Part 1] (UNILOG 2010)
[slides] Deduction-based approaches
[slides] Denotation-based approaches
[slides] The mystery of duality unraveled
[extra] Oppositions within and among Logics
[slides] What is a negative modality?
[slides] Theories, translations, combinations
[slides] Theories, translations, combinations ►