Nominal (Universal) Algebra: Equational Logic with Names and Binding.
Murdoch James GabbayAad MathijssenPublished in: J. Log. Comput. (2009)
Keyphrases
- boolean algebra
- set theory
- multi valued
- horn clauses
- relation algebra
- algebraic structure
- theorem prover
- theorem proving
- data model
- logic programming
- automated reasoning
- formal logic
- databases
- relational algebra
- modal logic
- keywords
- algebraic operations
- lattice theory
- algebraic expressions
- named entities
- rough sets
- query language
- predicate logic
- linear logic
- proof theory
- database systems
- machine learning
- neural network