From Interior Algebras to Unital ℓ-Groups: A Unifying Treatment of Modal Residuated Lattices.

Published in: Stud Logica (2015)

Keyphrases

distributive lattices
boolean algebra
expert systems
medical treatment
topological spaces
real time
machine learning
case study
artificial neural networks
mr images
concept lattice
spatial reasoning