Paraconsistentization and many-valued logics.
Edelcio G. de SouzaAlexandre Costa-LeiteDiogo H. B. DiasPublished in: Log. J. IGPL (2024)
Keyphrases
- modal logic
- truth values
- inference rules
- temporal logic
- decision procedures
- expressive power
- nonmonotonic logics
- classical logic
- conditional logic
- situation calculus
- conceptual clustering
- concept lattice
- neural network
- multi valued
- bayesian networks
- default logic
- modal operators
- propositional dynamic logic
- epistemic logic
- knowledge representation
- genetic algorithm