Coalgebraic Fuzzy geometric logic
Litan Kumar Das, Kumar Sankar Ray, Prakash Chandra Mali
TL;DR
This paper develops a coalgebraic framework for fuzzy geometric logic by integrating modal operators through fuzzy-open predicate liftings, enabling the modeling of fuzzy topological structures with bisimulation analysis.
Contribution
It introduces a novel coalgebraic approach to fuzzy geometric logic with modal operators and fuzzy-open predicate liftings, expanding the theoretical foundation of fuzzy topological models.
Findings
Defined modal operators using fuzzy-open predicate liftings
Constructed models based on coalgebras in fuzzy topological spaces
Analyzed bisimulations for the proposed models
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsAdvanced Algebra and Logic · Logic, Reasoning, and Knowledge · Semantic Web and Ontologies