Mutually Exclusive Nuances of Truth in Moisil Logic.
Denisa DiaconescuIoana LeusteanPublished in: Sci. Ann. Comput. Sci. (2015)
Keyphrases
- truth values
- multi valued
- classical logic
- data sets
- valued logic
- predicate logic
- neural network
- proof theory
- automated reasoning
- logic programming
- computational properties
- digital circuits
- multiscale
- dynamic logic
- machine learning
- delay insensitive
- inference rules
- modal logic
- data structure
- defeasible logic
- website
- epistemic logic
- genetic algorithm