A Unified Procedure for Provability and Counter-Model Generation in Minimal Implicational Logic.
Jefferson de Barros SantosBruno Lopes VieiraEdward Hermann HaeuslerPublished in: Electron. Notes Theor. Comput. Sci. (2016)
Keyphrases
- proof procedure
- iterative procedure
- logic programming
- classical logic
- multi valued
- predicate logic
- modal logic
- natural deduction
- neural network
- nonmonotonic logics
- automated reasoning
- theorem proving
- description logics
- probabilistic model
- evolutionary algorithm
- expert systems
- feature selection
- information systems
- learning algorithm
- real world