Skip to Main content Skip to Navigation
Journal articles

Logical Dual Concepts based on Mathematical Morphology in Stratified Institutions

Abstract : Several logical operators are defined as dual pairs, in different types of logics. Such dual pairs of operators also occur in other algebraic theories, such as mathematical morphology. Based on this observation, this paper proposes to define, at the abstract level of institutions, a pair of abstract dual and logical operators as morphological erosion and dilation. Standard quantifiers and modalities are then derived from these two abstract logical operators. These operators are studied both on sets of states and sets of models. To cope with the lack of explicit set of states in institutions, the proposed abstract logical dual operators are defined in an extension of institutions, the stratified institutions, which take into account the notion of open sentences, whose satisfaction is parametrised by sets of states. A hint on the potential interest of the proposed framework for spatial reasoning is also provided.
Complete list of metadata
Contributor : Telecomparis Hal Connect in order to contact the contributor
Submitted on : Friday, September 13, 2019 - 5:39:16 PM
Last modification on : Monday, December 20, 2021 - 11:51:38 AM



Marc Aiguier, Isabelle Bloch. Logical Dual Concepts based on Mathematical Morphology in Stratified Institutions. Journal of Applied Non-Classifcal Logics, 2019, 29 (4), pp.392-429. ⟨10.1080/11663081.2019.1668678⟩. ⟨hal-02288074⟩



Les métriques sont temporairement indisponibles