Vitor Greati

Una visión general de las álgebras perfectas paradefinitas y su papel en la lógica.

Una visión general de la lógica de tres valores y sus aplicaciones.

Creando reglas estructuradas para sistemas lógicos complejos con valores de verdad indeterminados.

Este artículo habla sobre la deducibilidad en el cálculo de Lambek y sus complejidades.