no code implementations • 8 Mar 2023 • Marc Aiguier, Isabelle Bloch, Salim Nibouche, Ramon Pino Perez
Then we introduce the notion of structuring neighborhoods, and show that the dilations and erosions based on them lead to a constructive modal logic, for which a sound and complete proof system is proposed.