Da Costa's Paraconsistent Differential Calculus and a Transference Theorem.
Itala M. Loffredo D'OttavianoTadeu Fernandes de CarvalhoPublished in: IICAI (2005)
Keyphrases
- logic programming
- automated deduction
- inference rules
- truth values
- artificial intelligence
- von neumann
- digital topology
- data sets
- computer algebra
- algebraic structure
- natural deduction
- proof procedure
- theorem proving
- programming language
- evolutionary algorithm
- genetic algorithm
- machine learning
- neural network
- databases