Postulates for the substitutive algebra of the 2-place functors in the 2-valued calculus of propositions.
Karl MengerMartin SchultzPublished in: Notre Dame J. Formal Log. (1963)
Keyphrases
- algebraic structure
- relation algebra
- database query languages
- real numbers
- interval algebra
- valued logic
- relational algebra
- desirable properties
- data model
- belief update
- query language
- belief revision
- logical properties
- truth values
- algebraic expressions
- algebraic operations
- belief change
- temporal reasoning
- expressive power
- spatial representation and reasoning
- minimal change
- relational calculus
- computer algebra
- multi valued
- complex objects