Uma análise da lógica positiva e da monotonicidade na lógica de primeira ordem e na lógica temporal linear.
― 6 min ler
Ciência de ponta explicada de forma simples
Uma análise da lógica positiva e da monotonicidade na lógica de primeira ordem e na lógica temporal linear.
― 6 min ler