Approximation Logic and Strong Bunge Algebra.
Michiro KondoPublished in: Notre Dame J. Formal Log. (1995)
Keyphrases
- boolean algebra
- relation algebra
- set theory
- algebraic structure
- logic programming
- modal logic
- approximation algorithms
- automated reasoning
- data model
- query language
- efficient computation
- predicate logic
- approximation methods
- approximation error
- classical logic
- closed form
- genetic algorithm
- data sets
- relational algebra
- partial order
- expressive power
- approximation ratio
- first order logic
- proof theory
- formal logic
- algebraic geometry
- neural network