A new formalization of Newman algebra.
Boleslaw SobocinskiPublished in: Notre Dame J. Formal Log. (1972)
Keyphrases
- algebraic expressions
- complex networks
- relational algebra
- data model
- algebraic structure
- real numbers
- operational semantics
- algebraic structures
- formal model
- community structure
- knowledge representation
- query language
- learning environment
- information retrieval
- data mining
- distributive lattices
- boolean algebra
- logical language
- temporal reasoning
- interval algebra
- formal analysis
- data sets
- multi agent systems
- real world