Initial Algebra Semantics and Continuous Algebras.
Joseph A. GoguenJames W. ThatcherEric G. WagnerJesse B. WrightPublished in: J. ACM (1977)
Keyphrases
- distributive lattices
- algebraic structure
- boolean algebra
- formal semantics
- relation algebra
- algebraic operations
- epistemic logic
- interval algebra
- algebraic expressions
- relational algebra
- temporal reasoning
- query language
- semantic information
- logic programming
- topological spaces
- object identity
- general theory
- relational data model
- model theoretic
- database
- continuous domains
- spatial reasoning
- conceptual graphs
- belief functions
- semantic web
- databases