An equational axiomatization of associative Newman algebras.
Boleslaw SobocinskiPublished in: Notre Dame J. Formal Log. (1972)
Keyphrases
- theorem proving
- equational theories
- complex networks
- topological spaces
- community structure
- theorem prover
- associative memory
- spatial reasoning
- situation calculus
- distributive lattices
- general theory
- community detection
- spreading activation
- human memory
- clifford algebra
- database
- temporal reasoning
- genetic algorithm
- data mining
- interval algebra
- databases
- data sets