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]

Abstract

Abstract is missing.