Coalgebraic Fuzzy geometric logic
Logic in Computer Science
2022-09-08 v2 Artificial Intelligence
Abstract
The paper aims to develop a framework for coalgebraic fuzzy geometric logic by adding modalities to the language of fuzzy geometric logic. Using the methods of coalgebra, the modal operators are introduced in the language of fuzzy geometric logic. To define the modal operators, we introduce a notion of fuzzy-open predicate lifting. Based on coalgebras for an endofunctor on the category of fuzzy topological spaces and fuzzy continuous maps, we build models for the coalgebraic fuzzy geometric logic. Bisimulations for the defined models are discussed in this work.
Keywords
Cite
@article{arxiv.2205.13387,
title = {Coalgebraic Fuzzy geometric logic},
author = {Litan Kumar Das and Kumar Sankar Ray and Prakash Chandra Mali},
journal= {arXiv preprint arXiv:2205.13387},
year = {2022}
}