Localizations and Fractions in Algebra of Logic.
Sergiu RudeanuPublished in: J. Multiple Valued Log. Soft Comput. (2010)
Keyphrases
- boolean algebra
- relation algebra
- set theory
- algebraic structure
- logic programming
- modal logic
- algebraic expressions
- data model
- relational algebra
- classical logic
- deontic logic
- logical framework
- automated reasoning
- artificial intelligence
- databases
- nonmonotonic logics
- epistemic logic
- partial order
- proof theory
- formal logic
- data mining
- algebraic operators
- neural network