Logical dual concepts based on mathematical morphology in stratified institutions: applications to spatial reasoning

Marc Aiguier, Isabelle Bloch. Logical dual concepts based on mathematical morphology in stratified institutions: applications to spatial reasoning. Journal of Applied Non-Classical Logics, 29(4):392-429, 2019. [doi]

Authors

Marc Aiguier

This author has not been identified. Look up 'Marc Aiguier' in Google

Isabelle Bloch

This author has not been identified. Look up 'Isabelle Bloch' in Google