The universal modality, the center of a Heyting algebra, and the Blok-Esakia theorem.
Guram BezhanishviliPublished in: Ann. Pure Appl. Log. (2009)
Keyphrases
- set theory
- multi modal
- medical images
- first order logic
- algebraic expressions
- boolean algebra
- query language
- mathematical morphology
- relational algebra
- algebraic operations
- kolmogorov complexity
- case study
- reinforcement learning
- data model
- image processing
- information systems
- artificial intelligence
- genetic algorithm
- machine learning
- neural network
- valued logic
- database