Vitor Greati

Uma visão geral das álgebras paradefinitas perfeitas e seu papel na lógica.

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

Criando regras estruturadas pra sistemas lógicos complexos com valores de verdade indeterminados.

Esse artigo fala sobre dedutibilidade no cálculo de Lambek e suas complexidades.