Revisiting da Costa logic.

Mauricio Javier Osorio Galindo Verónica Borja Macías José R. Arrazola Ramírez

Published in: J. Appl. Log. (2016)

Keyphrases

logic programming
modal logic
multi valued
automated reasoning
predicate logic
real time
proof theory
sound and complete axiomatization
genetic algorithm
search engine
e learning
natural language
multi agent systems
probability theory
classical logic