Two remarks concerning Menger's and Schultz' postulates for the substitutive algebra of the 2-place functors in the 2-valued calculus of propositions.
Richard PetersPublished in: Notre Dame J. Formal Log. (1964)
Keyphrases
- algebraic structure
- relation algebra
- database query languages
- interval algebra
- relational algebra
- real numbers
- belief revision
- relational calculus
- data model
- algebraic expressions
- query language
- expressive power
- valued logic
- desirable properties
- logical properties
- belief update
- truth values
- relational model
- temporal constraints
- boolean algebra
- computer algebra
- multi valued
- belief change
- databases
- temporal reasoning
- sequent calculus
- horn logic