Giuseppe Greco

Uma visão geral da lógica de três valores e suas aplicações.

Um olhar sobre cálculos rotulados para lógica modal não distributiva.