Geodesic

Volume 4 (1997) no. 2

Sommaire

Cálculos parametrizados de primo implicante-implicado para lógicas regulares.
Demostrador de teoremas, basado en la reducción, para lógica trivaluada.
Programas de cálculo con lógica multivaluada.
Deducción en lógicas multivaluadas: revisión.