An Automated Equational Logic Deduction of Join Elimination in Orthomodular Lattice Theory.
Jack HornerPublished in: IC-AI (2007)
Keyphrases
- lattice theory
- propositional logic
- horn clauses
- morphological operators
- inference rules
- mathematical morphology
- neural computation
- proof procedure
- theorem proving
- join algorithms
- intuitionistic logic
- computer algebra
- computational intelligence
- pattern analysis
- deductive reasoning
- databases
- automated theorem provers
- theorem prover
- semantic information
- logic programs
- higher order
- artificial intelligence
- machine learning