Not Every Splitting Heyting or Interior Algebra is Finitely Presentable.
Alex CitkinPublished in: Stud Logica (2012)
Keyphrases
- set theory
- algebraic geometry
- query language
- boolean algebra
- partial order
- fuzzy set theory
- first order logic
- data model
- algebraic expressions
- machine learning
- finite number
- rough set theory
- information systems
- knowledge representation
- relational algebra
- inductive inference
- case study
- image processing
- fuzzy sets
- image analysis
- artificial neural networks
- social networks
- real time