The Theory of Superatomic Boolean Algebras in the Logic With the Binary Ramsey Quantifier.
Burkhard MolzanPublished in: Math. Log. Q. (1982)
Keyphrases
- multi valued
- boolean logic
- proof theory
- formal theory
- set theory
- boolean functions
- computer algebra
- theoretical framework
- logical operations
- commonsense reasoning
- real valued
- boolean algebra
- mathematical theory
- probability theory
- deductive reasoning
- relation algebra
- predicate logic
- classical logic
- logical framework
- spatial reasoning
- topological spaces
- truth table