Logical Dual Concepts based on Mathematical Morphology in Stratified Institutions - Archive ouverte HAL
Article Dans Une Revue Journal of Applied Non-Classifcal Logics Année : 2019

Logical Dual Concepts based on Mathematical Morphology in Stratified Institutions

Résumé

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.
Fichier non déposé

Dates et versions

hal-02288074 , version 1 (13-09-2019)

Identifiants

Citer

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⟩
77 Consultations
0 Téléchargements

Altmetric

Partager

More