Multi-posets in algebraic logic, group theory, and non-commutative topology.
Wolfgang RumpPublished in: Ann. Pure Appl. Log. (2016)
Keyphrases
- computer algebra
- formal theory
- mathematical theory
- algebraic structure
- proof theory
- logical framework
- linear algebra
- theoretical basis
- boolean algebra
- computational model
- theoretical framework
- multi valued
- topology preserving
- special case
- commonsense reasoning
- causal reasoning
- probability theory
- modal logic
- group members
- truth maintenance systems
- logic programming
- bayesian networks
- logical theories